I found an interesting connection between the Nice language I mentioned Friday and Microsoft. It seems that MS is developing a new language called F#. The limited information available indicates this language borrows from both imperative languages and functional languages. Just like Nice. According to this article F# is a derivative of Objective Caml (OCaml). OCaml in turn owes its existance to Caml. And, finally, Caml is a dialect of ML.

This is where the connection becomes more interesting. (at least to me) The Nice language can trace its to existence to research by Francois Bourdoncle and Stephan Mertz into what they call the ML-Sub type system. Nice's author Daniel Bonnoit later did academic research on the ML-Sub type system and used that research as the basis for Nice. So it seems that both F# and Nice have similar lineage and if interest in piqued for F# perhaps Nice will gain some notice.

Comments

Popular posts from this blog

Shark Crackers

Running roughshod or ripshod

Axis, Axes, Axii?