|
You are here |
kuruczgy.com | ||
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | | | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. | |
| | | | |
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. | |
| | | | |
rachelcarmena.github.io
|
|
| | | | | Some characteristics of functional programming | |
| | | | |
deniskyashif.com
|
|
| | | How to define a recursive function in a language which doesn't support recursion using the Y combinator. | ||