/explore
|
You are here 
|
kuruczgy.com | ||
| | | | |
bartoszmilewski.com
This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... |
|
| | | | | ||
| | | | |
rachelcarmena.github.io
Some characteristics of functional programming |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
www.jeremymorgan.com
Today I'm going to talk about Object Oriented Programming (OOP). This is the first in a series of articles that will aim to teach you more about OOP and how you can use it to develop better software. |
|
| | | |||
