lisp, prolog, sml, apl, forth, st (+math)
looking for freelance opportunities in FP, LP, CLP, RO and comp bio
70% emacs / 20% vi / 10% ed
I also enjoy electronics, mechanics, woodworking and any kind of hacking
lastly sociology of group work is a recent passion of mine
This profile is from a federated server and may be incomplete. Browse more on the original instance.
Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
The Haskell Unfolder Episode 22: foldr-build fusion (well-typed.com)
When composing several list-processing functions, GHC employs an optimisation called foldr-build fusion. Fusion combines functions in such a way that any intermediate lists can often be eliminated completely. In this episode, we will look at how this optimisation works, and at how it is implemented in GHC: not as built-in...
The Haskell Unfolder Episode 20: Dijkstra's shortest paths (well-typed.com)
In this (beginner-friendly) episode, we will use Dijkstra's shortest paths algorithm as an example of how one can go about implementing an algorithm given in imperative pseudo-code in idiomatic Haskell. We will focus on readability, not on performance.