How to explain Scala\'s type system to a Haskell expert? What examples show Scala\'s advantages? How to exp开发者_如何学Clain Haskell\'s type system to an advanced Scala practitioner?
In Andrew Koenig’s An anecdote about ML type inference, the author uses implementation of merge sort as a learning exercise for ML and is pleased to find an “incorrect” type inferenc
I\'ve been doing some OCaml programming lately to learn the language and to get more acquainted with functional programming.Recently, I\'ve started to think 开发者_C百科that I\'d like to be able to ex
Given this snippet of OCaml code: let rec ra开发者_如何学编程nge a b = if a > b then [] else a :: range (a+1) b