<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Duncan Coutts wrote:
<blockquote cite="mid1150374382.17324.322.camel@localhost" type="cite">
<pre wrap="">On Thu, 2006-06-15 at 13:11 +0100, Duncan Coutts wrote:
</pre>
<blockquote type="cite">
<pre wrap="">then you can construct your records using:
foo = default { weight = 3.2 }
</pre>
</blockquote>
<pre wrap=""><!---->
Oops, as David House pointed out to me that should of course be
foo = default { weight = Just 3.2 }
</pre>
</blockquote>
I think the correct response in these cases is: That was left as an
exercise for the type checker.<br>
<br>
On another note, who picked the word `Just' for this type and how did
we end up with Some x | None in O'Caml and Just x | Nothing in Haskell?<br>
<br>
</body>
</html>