Linking pages
- 10 things Idris improved over Haskell – Deque https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 381 comments
- A game in a pure language (part 1): introduction and problems with Idris | flowing → systems https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html 98 comments
- Formally Verifying Rust's Opaque Types | dylanj.xyz https://dylanj.xyz/posts/rust-coq-opaque-types/ 66 comments
- GitHub - graninas/The-Voids-Of-Haskell https://github.com/graninas/The-Voids-Of-Haskell 59 comments
- Infrequent, Pragmatic, Lambda Blog - Let's agree to be different. On empirical and deductive nature of coding. https://rpeszek.github.io/posts/2022-11-07-empirical-programming.html 28 comments
- Types are the basic tool of software design https://www.tedinski.com/2018/12/05/types-as-design-tool.html 21 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - chrrasmussen/Idris2-Erlang: Erlang code generator for Idris 2 https://github.com/chrrasmussen/Idris2-Erlang 14 comments
- Big Datatype: why code tools like to be written with fancy types - Richard Marmorstein https://twitchard.github.io/posts/2024-09-10-big-datatype.html 14 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 6. Reasoning using Types https://rpeszek.github.io/posts/2022-03-13-ts-types-part6.html 12 comments
- Deprecating API endpoints with Servant | by Ben Weitzman | Co–Star | Medium https://medium.com/co-star-engineering/deprecating-api-endpoints-with-servant-1c00f8a211ca 10 comments
- Thoughts on a Software Craftsmanship training that could have gone better. – Deque https://deque.blog/2017/08/08/thoughts-on-a-software-craftsmanship-training-that-could-have-gone-better/ 9 comments
- Seven Levels of Type Safety in Haskell: Lists · in Code https://blog.jle.im/entry/levels-of-type-safety-haskell-lists.html 8 comments
- The Power of Types in Idris | Azavea https://www.azavea.com/blog/2019/03/11/the-power-of-types-in-idris/ 6 comments
- Making the World Right with Types | by Anthony Shull | The Garage | Medium https://medium.com/hello-thirteen23/making-the-world-right-with-types-9ecf312958c7 6 comments
- Total programming in Swift. Edit: I was interviewed for the… | by André Videla | Medium https://medium.com/@andre_videla/total-programming-in-swift-526508c12a74 5 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 2. Typing Honestly https://rpeszek.github.io/posts/2021-12-24-ts-types-part2.html 5 comments
- 5 Lessons from Functional Programming in Scala, By Paul Chiusano and Runar Bjarnason | Sandro Maglione https://www.sandromaglione.com/functional-programming-5-key-lessons-functional-programming-in-scala/ 0 comments
- GitHub - graninas/The-Voids-Of-Haskell at 9b401e33af37f991dcb3ab2eedc023661237d845 https://github.com/graninas/The-Voids-Of-Haskell/tree/9b401e33af37f991dcb3ab2eedc023661237d845 0 comments
- What are the important problems in UI engineering? | by Adam Solove | Medium https://medium.com/@asolove/what-are-the-important-problems-in-ui-engineering-8b7f8b305611 0 comments
Related searches:
Search whole site: site:manning.com
Search title: Type-Driven Development with Idris
See how to search.