|
|
|
|
|
|
by skew
5000 days ago
|
|
|
There are some nice examples of re-using the same code at successively more interesting types in Conor McBride's ICFP keynote: http://www.youtube.com/watch?v=XGyJ519RY6Y
(video only, the presentation was liveish coding in emacs and I haven't found the source files) Agda of course pursues the anti-thesis of dynamic typing. |
|
|