Yesterday, I uploaded a paper to Scridb.

It is a Haskell 98 tutorial, written in 1999 by Mr. John Peterson, Joseph Fasel and Paul Hudak. A paper than you can read here.

Today, there is an article written by Mr. Matt Might on Haskell and other advanced languages.
"Haskell excels as a language for writing a compiler, an interpreter or a static analyzer. I don't do a lot of artificial intelligence, natural-language processing or machine-learning research, but if I did, Haskell would be my first pick there too. (Scheme would be a strong second.) Haskell is the only widely used pure, lazy functional programming language.

Like Standard ML and OCaml, Haskell uses an extension of Hindley-Milner-style type inference, which means that the programmer doesn't have to write down (most) types, because the compiler can infer them. It has been my experience that it is difficult to get a bug through the Hindley-Milner type system. In fact, experienced programmers become adept at encoding correctness constraints directly into the Haskell type system. A common remark after programming in Haskell (or ML) for the first time is that once the program compiles, it's almost certainly correct."
How casual. How nice.
Newer Post Older Post Home