
20 Feb
2013
20 Feb
'13
4:18 p.m.
Hi, I'm watching Philip Wadler "Faith, Evolution, and Programming Languages" (very cool by the way): http://www.youtube.com/watch?v=8frGknO8rIg At 00:24:14 there is strange thing on the slide: data Ord a = { less :: a -> a -> Bool } It's first time I see function type (and where is definition?) in record syntax. Can somebody explain this? Emanuel