The F# Journal just published an article about metaprogramming:
"This article walks through the design and implementation of the Damas-Milner type inference algorithm written in F#. This algorithm is the foundation of type inference most modern functional programming languages including SML, OCaml and F#. The algorithm acts upon expressions and types using type schemes, substitutions and type environments to infer the type of a given expression..."
To read this article and more, subscribe to The F# Journal today!
Does reference counting really use less memory than tracing garbage collection? Mathematica vs Swift vs OCaml vs F# on .NET and Mono - Our previous post caused some controversy by questioning the validity of some commonly-held beliefs. Specifically, the beliefs that reference counting (RC)...
3 weeks ago