elliotlai
Re:Ask HN: Which languages have the most compile-time checks?
on Thursday August 13, 2015 @10:37PM (#10058344)
Agda.
It halts.
Re:Only 4% of languages are used online
on Wednesday December 11, 2013 @09:49AM (#6887855)
The first language I learned is Min Nan, though my Min Nan is not as fluent as my Mandarin now, I still consider it my mother tongue.
Re:What I Wish I Knew When Learning Haskell
on Tuesday December 10, 2013 @01:33PM (#6882599)
Because a monad is also a functor, but a set failed to be a functor.
Re:The Existential Risk of Mathematical Error
on Saturday October 05, 2013 @11:53AM (#6501031)
Agda!
Re:What Makes Rain Smell So Good?
on Sunday April 21, 2013 @06:01AM (#5584446)
Yes I think this is it!
Re:What Makes Rain Smell So Good?
on Sunday April 21, 2013 @01:57AM (#5584027)
and also, i often wonder, what makes that grassy smell before raining?
Re:Go 1.1beta1 now on the benchmarks game
on Thursday April 18, 2013 @11:15AM (#5571070)
The Glorious Glasgow Haskell Compilation System is truly glorious
Re:Why Concatenative Programming Matters (2012)
on Saturday April 13, 2013 @04:05AM (#5542891)
You meant Arrows
http://www.haskell.org/arrows/
Functor is now a superclass of Monad in GHC HEAD
Wanna build a Marina? $14.99. Sim City In-App Purchase
Flat UI DMCA Takedown
Re:The Algebra of Algebraic Data Types
on Sunday February 10, 2013 @02:10PM (#5197411)
mind blowing, this is just beautiful :)
Re:Laconic History of the World
on Sunday December 30, 2012 @02:52PM (#4986867)
i'm a taiwanese and i take offense with that
Re:The Anatomy of an Entrepreneur (2009)
on Monday November 26, 2012 @07:06AM (#4831628)
adopt me please :D
Re:The Anatomy of an Entrepreneur (2009)
on Monday November 26, 2012 @04:46AM (#4831312)
40% of Successful Entrepreneurs are NOT Married with Children
Introduction to Category Theory 1: Course Overview
Re:Ruby Under a Microscope: Learning Ruby Internals through Experiment
on Monday October 29, 2012 @12:06PM (#4712905)
"Ruby Under a Microscope"
I was expecting some beautiful images ... nevermind, my bad
Data Parallelism in Haskell
Manuel Chakravarty - Data Parallelism in Haskell
Re:Mona Lisa in pure CSS
on Wednesday October 03, 2012 @09:18PM (#4610481)
I want a Ecce Homo version of this please ><
Re:Antivirus software deletes itself
on Thursday September 20, 2012 @09:21AM (#4548349)
it should delete Windows first
Re:Show HN: Matches.js -- Powerful Pattern Matching for Javascript
on Thursday September 13, 2012 @12:59PM (#4517259)
i want this in js for a long time
Re:Vanilla JS, fast, lightweight, cross-platform framework
on Sunday August 26, 2012 @01:34PM (#4435604)
I prefer semicolon.js, more secure and reliable :)
https://github.com/madrobby/semicolon.js
Vanilla JS, fast, lightweight, cross-platform framework
Vanilla JS is a fast, lightweight, cross-platform framework for building incredible, powerful JavaScript applications.
The repo your repo could be like
https://gist.github.com/3434516
this is what github had just sent ... to everybody i guesshttp://www.youtube.com/watch?v=owGykVbfgUE damn good commercial
Re:Node.js v0.9.0 (Unstable) is out
on Friday July 20, 2012 @04:27PM (#4272751)
Streams are everywhere, as an abstraction of async I/O model.
Hope the Stream API will have a cleanup by 1.0.
Re:Node.js v0.9.0 (Unstable) is out
on Friday July 20, 2012 @04:13PM (#4272680)
you are right
Node.js v0.9.0 (Unstable) is out
Just Do It: A Tale of Modern-day Outlaws
Re:Node.js stream behaviour illustrated.
on Saturday July 07, 2012 @12:23AM (#4210709)
streams are everywhere!
hope all of the streams will be unified by v1.0