Linking pages
- Why Java's Records Are Better* Than Lombok's @Data and Kotlin's Data Classes // nipafx https://nipafx.dev/java-record-semantics/ 388 comments
- A Book from Alan Turing… and a Mysterious Piece of Paper—Stephen Wolfram Writings https://blog.stephenwolfram.com/2019/08/a-book-from-alan-turing-and-a-mysterious-piece-of-paper/ 90 comments
- The Benefits of Learning Haskell – Alistair Burrowes – My blog https://alistairb.dev/benefits-of-learning-haskell/ 25 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- A quick tour of Rust’s Type System Part 1: Sum Types (a.k.a. Tagged Unions) https://tonyarcieri.com/a-quick-tour-of-rusts-type-system-part-1-sum-types-a-k-a-tagged-unions 11 comments
- GitHub - sumeetdas/fuml: Functional Minimal Language https://github.com/sumeetdas/fuml 10 comments
- A Lazy Sequence: Static types are great, but I don't use them in practise http://brehaut.net/blog/2013/static_types 8 comments
- Playing Jenga with Swift’s Type Checker | by Vincent Esche | DefiniteLoops https://blog.definiteloops.com/playing-jenga-with-swifts-type-checker-7c4f13f6d2a4#.hjkqdnvzr 6 comments
- An introduction to TypeScript and ES Modules - DEV Community https://dev.to/david_whitney/an-introduction-to-typescript-and-es-modules-1m6o 4 comments
- GitHub - hyperc-ai/hypercdb: HyperC Planning Database: all-in-one production rules and logistics engine for automatic planning https://github.com/hyperc-ai/hypercdb 1 comment
- Console #27 - by Jackson Kelley - Console https://console.substack.com/p/console-27 0 comments
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- GitHub - opencog/atomspace: The OpenCog (hyper-)graph database and graph rewriting system https://github.com/opencog/atomspace 0 comments
- The Curry-Howard Correspondence | Grant Jurgensen https://grant.jurgensen.dev/2022/01/08/CurryHoward.html 0 comments
- Earning a PhD by studying a theory that we know is wrong | Ars Technica http://arstechnica.com/science/2013/05/earning-a-phd-by-studying-a-theory-that-we-know-is-wrong/ 0 comments
- Mastering sum types. This article describes the concept of a… | by Axon | Axon Insights | Medium https://medium.com/axon-insights/mastering-sum-types-b588a3bc165b 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Type theory - Wikipedia
See how to search.