|
You are here |
www.twanvl.nl | ||
| | | | |
chrispenner.ca
|
|
| | | | | The Personal blog and musings of Chris Penner, a designer, developer and future opsimath. | |
| | | | |
diogocastro.com
|
|
| | | | | ||
| | | | |
aaronlevin.ca
|
|
| | | | | Data Families Make Types and Free Monads More Librarious At the end of my post Type Families Make Life and Free Monads Simpler I conjectured whether it would be possible to write a "CRUD" library... | |
| | | | |
sookocheff.com
|
|
| | | In a purely functional language - like lambda calculus - programs are expressed as nested function calls. Repetition in such an environment requires that nesting of function calls continues until some condition is met. During the repetition, each function passes its result to the next function in the nested chain and this repetition is completed when a test for some condition passes. The repetitive behaviour I've just described is recursion: | ||