From: Mart Lubbers Date: Wed, 1 Jun 2016 19:14:28 +0000 (+0200) Subject: final long revieuw X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=67e4e2ccee3e46f801be8eaa098ba68423d09c18;p=rsss1516.git final long revieuw --- diff --git a/long2/long.tex b/long2/long.tex index 3f94ae0..7d0ce54 100644 --- a/long2/long.tex +++ b/long2/long.tex @@ -23,14 +23,14 @@ \subsection{About functional pearls\ldots} \fps\ were first introduced in 1993 as a column in the \emph{Journal of Functional Programming}. In the natural world a pearl is created by a living -shelled mollusk when an irritating object enters their clam. A pearl is then -formed around the irritation to encapsulate it and prevent it from doing more -harm. \fps\ are elegant, instructive and fun columns of about 6 pages that -present such a beautiful solution for a possible irritation. \fps\ should be -readable by people with a general knowledge of functional programming but it -should not require a lot of very specific domain knowledge. Several important -persons in the functional programming academia have been editors of this -column. +shelled mollusk when an irritating object, a sand corn for example, enters +their clam. A pearl is then formed around the irritation to encapsulate it and +prevent it from doing more harm. \fps\ are elegant, instructive and fun columns +of about 6 pages that present such a beautiful solution for a possible +irritation. \fps\ should be readable by people with a general knowledge of +functional programming but it should not require a lot of very specific domain +knowledge. Several important persons in the functional programming academia +have been editors of this famous column. \subsection{Sand corn} Dependant types in type systems are very expensive and often require the