If you’ve been programming in F# for any length of time then undoubtedly you’ve run into the term “call by value”. Another name for “call by value” is eager evaluation as opposed to lazy evaluation and the corresponding “call by name”. Let’s throw together a fun [...]
|
||||||
|
We left off in a rather unsatisfying predicament, we can simulate OCaml functors with interfaces, but at the expense of passing in two type parameters and guarding all our functions with type constraints. Yuck!
The following page describes in detail the differences between the OCaml and F# languages. It’s a good read for anyone familiar with OCaml and an even better read for those who are not. For the first line of the summary declares
The map function is one of the most useful functions in all of functional programming. Pass a function, a list of arguments, apply the function to each argument, and return a new list of the results.
We used a good old fashioned subtyping and a dash of parametric polymorphism to write an eval function capable of returning different types. But surely we gave up too easily on polymorphic return types in F#? I assure you we gave them the ol’ college try.
So we know how to use a type parameter to statically constrain the length of a list. Let’s continue our exploration of type constraints and see if we can figure out how to constrain the return type of a data constructor.
Last time we created our Phantom type and successfully converted it to a list. Let’s quickly review the goals of our Phantom type before pushing forward.
The primary [...] |
||||||
|
Copyright © 2010 Do Loop Until You Die - All Rights Reserved |
||||||