/explore
|
You are here 
|
theartofmachinery.com | ||
| | | | |
fsharpforfunandprofit.com
[AI summary] An opinion piece arguing that F# is the best programming language for enterprise development due to its balance of safety, maintainability, and functional programming features. |
|
| | | | | ||
| | | | |
www.sevangelatos.com
So, this is an mirror of a post from John Carmack. Recently I learned that his articles on #AltDevBlog are no longer acessible. So, in order to archive them, I am re-posting them here. These articles are definitely good reads and worth to be preserved. Probably everyone reading this has |
|
| | | | | ||
| | | | |
henko.net
A selection of functional programming concepts that I feel are helpful to all developers. |
|
| | | | | ||
| | | | |
adam.chlipala.net
[AI summary] This text provides an in-depth exploration of advanced Coq proof techniques, focusing on manual proofs, recursion, and induction principles for complex data structures. It covers topics like nested inductive types, custom induction principles, and the design philosophy behind Coq's approach to proof automation. The text includes detailed examples of proof scripts, such as manual proofs for discrimination and injectivity of constructors, and discusses the use of tactics like discriminate and injection. It also touches on the implementation of functions like pred and the role of hints in improving proof readability and automation. |
|
| | | |||
