| | Teaching Compilers (danghica.blogspot.com) |
| 3 points by matt_d on April 22, 2020 | past |
|
| | How to make functional programming more like Excel (danghica.blogspot.com) |
| 2 points by theaeolist on Nov 4, 2019 | past |
|
| | Not a Turing Machine (danghica.blogspot.com) |
| 1 point by theaeolist on July 16, 2019 | past |
|
| | Automatic Application Modernisation (danghica.blogspot.com) |
| 9 points by theaeolist on June 28, 2019 | past |
|
| | The essence of (im)pure computation (danghica.blogspot.com) |
| 1 point by matt_d on May 4, 2019 | past |
|
| | How to make a programming language out of an algebra (danghica.blogspot.com) |
| 14 points by matt_d on May 2, 2019 | past |
|
| | Zippers for non-inductive types (danghica.blogspot.com) |
| 39 points by matt_d on Nov 13, 2018 | past | 6 comments |
|
| | Zippers for non-inductive types (danghica.blogspot.com) |
| 1 point by theaeolist on Nov 12, 2018 | past |
|
| | If monads are the solution, what is the problem? (danghica.blogspot.com) |
| 189 points by theaeolist on July 30, 2018 | past | 175 comments |
|
| | Haskell ain't maths (danghica.blogspot.com) |
| 3 points by theaeolist on July 17, 2018 | past |
|
| | Copying vs. sharing in functional languages (danghica.blogspot.com) |
| 92 points by matt_d on March 7, 2018 | past | 43 comments |
|
| | Debugging and profiling functional languages using diagrams (danghica.blogspot.com) |
| 2 points by theaeolist on March 6, 2018 | past |
|
| | “Abductive” functional programming for machine learning (danghica.blogspot.com) |
| 3 points by theaeolist on Oct 23, 2017 | past |
|
| | Can we machine-learn a programming language semantics? (danghica.blogspot.com) |
| 3 points by theaeolist on Aug 7, 2017 | past |
|
| | Deduction is types. Induction is testing. Abduction is program analysis (danghica.blogspot.com) |
| 2 points by theaeolist on July 25, 2017 | past |
|
| | Reasoning about digital circuits using string diagrams (danghica.blogspot.com) |
| 2 points by theaeolist on May 22, 2017 | past |
|
| | OCaml vs. Java in teaching (danghica.blogspot.com) |
| 6 points by theaeolist on Jan 16, 2017 | past | 1 comment |
|
| | What else are we getting wrong about programming languages? (danghica.blogspot.com) |
| 61 points by theaeolist on Oct 30, 2016 | past | 96 comments |
|
