Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
github.com
|
|
| | | | | Playing around with different Y Combinator implementations - calincru/Y-Combinator | |
| | | | |
hypirion.com
|
|
| | | | | Let's implement Clojure's Transducers in Haskell! | |
| | | | |
hookrace.net
|
|
| | | | | ||
| | | | |
entangledlogs.com
|
|
| | | These are my notes on Generic Programming. Feel free to skim through them. Introduction to Type Type A tool to reason or proving properties of the program Allows understanding and classifying the variables during computation and use Types require compositional calculation i.e. sub-expressions give rise to higher types. Understand dynamically typed as dynamically checked. Motivation of Requiring Types Language Safety/Error Detection Can pinpoint some programming errors rather than in runtime Can guarantee... | ||
