Hacker News
- Idris: A language for type-driven development https://www.idris-lang.org/ 185 comments
- Idris - pure functional programming language with dependent types http://idris-lang.org/ 15 comments
- Idris is a general purpose pure functional programming language with dependent types https://www.idris-lang.org/ 10 comments programming
- Contracts should be written in language similar to Idris. Idris has built in theorem proving. http://www.idris-lang.org/ 5 comments ethereum
- Rust-Graphics, Expression Problem, Idris and Rust http://www.idris-lang.org/ 11 comments rust
- Idris - A language with dependent types http://idris-lang.org/ 30 comments haskell
Linking pages
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/ossu/computer-science 1019 comments
- Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/open-source-society/computer-science-and-engineering 380 comments
- post-rfc/sotu.md at main · Gabriella439/post-rfc · GitHub https://github.com/Gabriel439/post-rfc/blob/master/sotu.md 333 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 227 comments
- Features of a dream programming language - DEV Community 👩💻👨💻 https://dev.to/redbar0n/features-of-a-dream-programming-language-cio 222 comments
- Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments
- GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/open-source-society/computer-science 201 comments
- Elm at Rakuten | Rakuten Engineering Blog https://engineering.rakuten.today/post/elm-at-rakuten/ 172 comments
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/kindelia/kind 155 comments
- 10 Lesser-Known Programming Languages Worth Exploring | Programming Zen http://programmingzen.com/2016/06/07/10-lesser-known-programming-languages-worth-exploring/ 153 comments
- The Future of Programming is Dependent Types — Programming Word of the Day | by Marin Benčević | Background Thread | Medium https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 152 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/uwu-tech/Kind 116 comments
- What is Type-Level Programming? - sulami's blog https://blog.sulami.xyz/posts/type-level-programming/ 93 comments
- Episode 2: Edwin Brady on Idris | The Type Theory Podcast http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/ 87 comments
- Little Languages | Max Hallinan https://maxhallinan.com/posts/2018/12/07/little-languages/ 70 comments
- Evgeny Poberezkin - What I wish somebody told me when I was learning Haskell https://www.poberezkin.com/posts/2021-04-21-what-i-wish-somebody-told-me-when-i-was-learning-Haskell.html 68 comments
- A Brief Introduction to Esoteric Languages • Hillel Wayne https://www.hillelwayne.com/talks/esolangs/ 64 comments
Related searches:
Search whole site: site:www.idris-lang.org
Search title: Idris: A Language for Type-Driven Development
See how to search.