Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
jamie-wong.com
|
|
| | | | | [AI summary] The post analyzes the tradeoffs between dynamically and statically typed programming languages regarding iteration speed, correctness, and IDE support, discussing how modern languages and techniques are attempting to combine the best aspects of both approaches. | |
| | | | |
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... | |
| | | | |
lexi-lambda.github.io
|
|
| | | | | ||
| | | | |
www.parsonsmatt.org
|
|
| | | Let's talk about free monads. | ||
