Explore >> Select a destination
|
You are here 
|
lexi-lambda.github.io | ||
| | | | |
existentialtype.wordpress.com
|
|
| | | | | While reviewing some of the comments on my post about parallelism and concurrency, I noticed that the great fallacy about dynamic and static languages continues to hold people in its thrall. So, in the same "everything you know is wrong" spirit, let me try to set this straight: a dynamic language is a straightjacketed static | |
| | | | |
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... | |
| | | | |
kowainik.github.io
|
|
| | | | | Kowainik - Collection of small Haskell patterns with detailed description, examples and exercises | |
| | | | |
winterbe.com
|
|
| | | Learn functional programming with Kotlin Sequences (filter, map, reduce, ...) in this example-driven tutorial. | ||
