/explore
|
You are here 
|
leshow.github.io | ||
| | | | |
dehora.net
Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere. |
|
| | | | | ||
| | | | |
www.baturin.org
[AI summary] This blog post tutorial explains advanced OCaml programming concepts including parametric polymorphism, higher-order functions like combinators and composition, and algebraic data types with pattern matching. |
|
| | | | | ||
| | | | |
www.scattered-thoughts.net
|
|
| | | | | ||
| | | | |
daniellefong.com
The following occurred to me on a run about two years ago: It's not given much press, but the the Halting Problem is intimately related to Gödel's First Incompleteness Theorem. Indeed it produces it as a correllary. Historically, Gödel's incompleteness results were proved by hacking arithmetic into a Turing complete system, and this is still... |
|
| | | |||
