Hacker News
- What Is Type-Level Programming? https://blog.sulami.xyz/posts/type-level-programming/ 93 comments
- Basic Type-Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 20 comments
- Higher-Order Type-Level Programming in Haskell [pdf] https://www.microsoft.com/en-us/research/uploads/prod/2019/03/ho-haskell-5c8bb4918a4de.pdf 17 comments
- Type-Level Programming in Rust https://willcrichton.net/notes/type-level-programming/ 27 comments
- Introduction to Type-Level Programming in Scala http://rudairandamacha.blogspot.com/2012/02/type-level-programming.html 2 comments
- Rust's Type System Is Turing-Complete: Type-Level Programming in Rust https://sdleffler.github.io/RustTypeSystemTuringComplete/ 117 comments
Lobsters
- Type-level Programming in Rust (2020) https://willcrichton.net/notes/type-level-programming/ 2 comments rust
- Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 https://abhinavsarkar.net/posts/twt-notes-1/ 2 comments book , haskell , plt
- Intro to type-level programming in Haskell https://www.reddit.com/r/haskell/comments/j9epvn/intro_to_typelevel_programming_in_haskell/ 10 comments haskell
- Crashing the typechecker with UndecidableInstances, and understanding type-level programming better https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/glasgow_exts.html#undecidable-instances 3 comments haskell
- Applying Type-Level and Generic Programming in Haskell [PDF] https://www.cs.ox.ac.uk/projects/utgp/school/andres.pdf 5 comments haskell
- An entry about type-level programming on Wikipedia https://en.wikipedia.org/wiki/Template:Programming_paradigms 10 comments haskell
- Type-Level Programming Example http://cdsmith.wordpress.com/2010/03/15/type-level-programming-example/ 3 comments haskell
- The Book of Types: Type-Level Programming in Haskell [pdf] http://reasonablypolymorphic.com/types.pdf 6 comments programming
- Typed type-level functional programming in GHC : Brent Yorgey : Video http://www.vimeo.com/15480577 23 comments haskell
- Type-Level Programming: a POC https://github.com/mtomassoli/Type-Level-Programming-in-Python 21 comments python
- Practical examples of type-level programs https://www.reddit.com/r/haskell/comments/hcuhy8/practical_examples_of_typelevel_programs/ 20 comments haskell
- Higher-order type-level programming in Haskell https://www.microsoft.com/en-us/research/publication/higher-order-type-level-programming-in-haskell/ 22 comments haskell
- What are some novel, interesting ways to use type-level programming in Haskell? https://wiki.haskell.org/Type_arithmetic 24 comments haskell
- [ANN]: The 'type-combinators' library: A collection of useful datatypes for type-level programming! http://hackage.haskell.org/package/type-combinators 4 comments haskell
- Applying Type-Level and Generic Programming in Haskell (pdf) https://github.com/kosmikus/ssgep/blob/master/lecturenotes.pdf?raw=true 12 comments haskell
- 8-hours remote interactive course on "Type-level programming with GHC" https://www.well-typed.com/blog/2018/06/remote-interactive-type-level-programming-course/ 4 comments haskell
- Typed type-level programming in Haskell, part III http://byorgey.wordpress.com/2010/07/19/typed-type-level-programming-in-haskell-part-iii-i-can-haz-typs-plz/ 7 comments haskell
- Typed type-level programming in Haskell, part II http://byorgey.wordpress.com/2010/07/06/typed-type-level-programming-in-haskell-part-ii-type-families/ 9 comments haskell
- Typed type-level programming in Haskell, part I: functional dependencies http://byorgey.wordpress.com/2010/06/29/typed-type-level-programming-in-haskell-part-i-functional-dependencies/ 32 comments haskell
- A type-level programming question all of you http://gist.github.com/332295 14 comments haskell
- [ANN]: The book "Thinking with Types: Type-Level Programming in Haskell" is finished! https://leanpub.com/thinking-with-types 34 comments haskell
- Type-Level Programming in Scala, Part 1 https://www.youtube.com/watch?v=qwUYqv6lKtQ 7 comments scala
- Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 https://abhinavsarkar.net/posts/twt-notes-1/ 3 comments haskell
- Doubt in Chapter-2 [Section 2.2 Data Kinds] of "Thinking With Types: Type-Level Programming in Haskell" book https://thinkingwithtypes.com/#about 15 comments haskell
- Don Syme talks about downsides of Type Classes and Type-level Programming https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 38 comments fsharp
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions https://blog.auxon.io/2019/10/25/type-level-registers/ 9 comments rust
- Dependently typed programming and theorem proving with GHC type-level features http://jeltsch.wordpress.com/2012/04/30/dependently-typed-programming-and-theorem-proving-in-haskell/ 15 comments haskell
- Type-level programming in Haskell: a quick tour of required language extensions. https://nauths.fr/en/2020/12/27/haskell-type-level-shenanigans.html 4 comments haskell
- A Totally Non-Terrifying, Practical Introduction to Type-Level Programming https://www.youtube.com/watch?v=6FRJfEhlqyg 13 comments haskell
- Mononym: Type-level named values in Rust supporting limited form of dependently typed programming https://maybevoid.com/blog/mononym-part-1/ 3 comments rust
- Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe https://youtu.be/sqTtZ3BQnRQ 4 comments scala
- Rust's Type System is Turing-Complete: An exploration of type-level programming in Rust https://sdleffler.github.io/rusttypesystemturingcomplete/ 38 comments rust
- Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 3 comments compsci
- Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust) https://sdleffler.github.io/rusttypesystemturingcomplete/ 48 comments programming