What was your "ah ha" moment with Haskell?

Re:What was your "ah ha" moment with Haskell? by mahmud on Monday June 25, 2012 @12:10AM (#4155047)

I don't think you understand either ML or Lisp. SML would never make whitespace significant because: 1) that's a brain-dead choice, and 2) ML, much like Lisp, is used as a language, as a notation, and as a "kernel" language.

Clojure without dynamic-typing is bath-water without baby. What is the point of interactivity, homoiconicity and macros if the language is statically typed?

[ Parent | on HN ]

Re:What was your "ah ha" moment with Haskell? by dllthomas on Monday June 25, 2012 @02:16AM (#4155326)

> What is the point of interactivity, homoiconicity and macros if the language is statically typed?

If the type system can handle it? MAGIC!

[ Parent | on HN ]

Re:What was your "ah ha" moment with Haskell? by hencq on Monday June 25, 2012 @08:59AM (#4156256)

Is there any specific reason why macros can't work in a statically typed language? How does Typed Racket handle this. Or does it not have macros?

[ Parent | on HN ]

Re:What was your "ah ha" moment with Haskell? by heretohelp on Monday June 25, 2012 @02:48PM (#4158018)

Typed Racket is more like type annotations with a checking routine than anything, if you're writing a macro you want generality.

You achieve this by omitting the type annotation and reverting to normal Racket.

You can do macros in a statically typed language, but it would (and does) get ugly fast.

[ Parent | on HN ]

Re:What was your "ah ha" moment with Haskell? by swah on Monday June 25, 2012 @11:33AM (#4156948)

Why do you say "whitespace is a brain-dead choice" ?

[ Parent | on HN ]