|
You are here |
lambdaland.org | ||
| | | | |
ruudvanasseldonk.com
|
|
| | | | | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system. | |
| | | | |
slightknack.dev
|
|
| | | | | A cozy little corner of the web. | |
| | | | |
www.baturin.org
|
|
| | | | | [AI summary] The user has provided a comprehensive guide to OCaml programming, covering basic syntax, expressions, bindings, functions, and arithmetic operations. The guide includes examples of how to structure programs, use let-bindings, handle multiple expressions, and perform conversions between temperature units. It also touches on concepts like variable shadowing and the importance of type consistency in OCaml. The user has included exercises at the end, asking the reader to write programs for squaring integers and converting Celsius to Fahrenheit. | |
| | | | |
www.tedinski.com
|
|
| | | A case study on how compilers decouple components from each other using data. | ||