Explore >> Select a destination
|
You are here 
|
blog.scottnonnenberg.com | ||
| | | | |
michaelscodingspot.com
|
|
| | | | | Michael Shpilt's Blog on .NET software development, C#, performance, debugging, and programming productivity | |
| | | | |
curiosum.com
|
|
| | | | | Learn about Elixir - a productive, scalable, functional programming language that consistently ranks as one of the most loved programming languages in the world | |
| | | | |
blog.risingstack.com
|
|
| | | | | Transition from Node.js to Elixir with our cheatsheet. Quickly look up examples of key concepts and see how they compare to JavaScript. | |
| | | | |
sitr.us
|
|
| | | Dependent types provide an unprecedented level of type safety. A quick example is a type-safe printf implementation. They are also useful for theorem proving. According to the Curry-Howard correspondence, mathematical propositions can be represented in a program as types. An implementation that satisfies a given type serves as a proof of the corresponding proposition. In other words, inhabited types represent true propositions. | ||
