/explore
|
You are here 
|
www.joachim-breitner.de | ||
| | | | |
limited.systems
|
|
| | | | | Although it might seem that a language like Haskell has a lot of different objects and constructs, they can all be reduced to functions. | |
| | | | |
boxbase.org
|
|
| | | | | These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before. | |
| | | | |
pavpanchekha.com
|
|
| | | | | [AI summary] An in-depth technical exploration of representing higher-order terms, including lambdas and substitution, within the E-graph framework using de Bruijn indices and modal operators to enable efficient equational reasoning. | |
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. | ||
