elliotlai

Agda. It halts.

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.

Because a monad is also a functor, but a set failed to be a functor.

Agda!

Yes I think this is it!

and also, i often wonder, what makes that grassy smell before raining?

The Glorious Glasgow Haskell Compilation System is truly glorious

You meant Arrows http://www.haskell.org/arrows/

mind blowing, this is just beautiful :)

i'm a taiwanese and i take offense with that

adopt me please :D

40% of Successful Entrepreneurs are NOT Married with Children

"Ruby Under a Microscope" I was expecting some beautiful images ... nevermind, my bad

I want a Ecce Homo version of this please ><

it should delete Windows first

i want this in js for a long time

I prefer semicolon.js, more secure and reliable :) https://github.com/madrobby/semicolon.js

Streams are everywhere, as an abstraction of async I/O model. Hope the Stream API will have a cleanup by 1.0.

you are right

streams are everywhere! hope all of the streams will be unified by v1.0

"JavaScript is the browser’s assembly language."

This reminds me of a blog post by @izs

http://blog.izs.me/post/10213512387/javascript-is-not-web-as...

Yes, I love Haskell and I do some CoffeeScript but JS is a fairly decent language to me : )

yo dawg i heard you like js so we implement a js vm in js so you can run js while u run js http://i.imgur.com/ZRM6J.jpg

Good Work!

I thought you meant HN headlines :D

luvit, love it!

In my point of view, as a native Traditional Chinese user (I'm from Taiwan)

THIS ARTICLE IS SO WRONG!

学 is actually the simplified version of the character 學. And the character 子 in both of these characters doesn't really have much connections

The character 子 (literally means children) in 學 stands for "student", but in 字 it is just a rebus (phonetic loan) character.

now i see! thank you for your great works :)

@antirez said: sorry, NO THANKS!!

a good call

great!