Hacker News
- An Introduction to Type Level Programming in Haskell https://rebeccaskinner.net/posts/2021-08-25-introduction-to-type-level-programming.html 79 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
- Typo: A programming language that runs in Haskell's type system https://github.com/seliopou/typo 21 comments
Lobsters
- typo: A programming language that runs in Haskell's type system. http://github.com/seliopou/typo 2 comments haskell , programming
- Applying Type-Level and Generic Programming in Haskell [PDF] https://www.cs.ox.ac.uk/projects/utgp/school/andres.pdf 5 comments haskell
- The Book of Types: Type-Level Programming in Haskell [pdf] http://reasonablypolymorphic.com/types.pdf 6 comments programming
- Intro to type-level programming in Haskell https://www.reddit.com/r/haskell/comments/j9epvn/intro_to_typelevel_programming_in_haskell/ 10 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
- 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
- [ANN]: The book "Thinking with Types: Type-Level Programming in Haskell" is finished! https://leanpub.com/thinking-with-types 34 comments haskell
- What are some novel, interesting ways to use type-level programming in Haskell? https://wiki.haskell.org/Type_arithmetic 24 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
- Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 https://abhinavsarkar.net/posts/twt-notes-1/ 3 comments haskell
- Approximate Dependent-Type Programming in Haskell http://okmij.org/ftp/haskell/dependent-types.html 7 comments haskell
- Type Level Programming in Haskell https://rebeccaskinner.net/posts/2021-08-25-introduction-to-type-level-programming.html 6 comments programming
- Finally, dynamically typed programming in Haskell made easy! https://github.com/chrisdone/dynamic 39 comments programming
- Type Driven Program Synthesis with Haskell https://youtu.be/HnOix9TFy1A 7 comments haskell
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 27 comments haskell
- The Universe of Discourse : How do I keep type constructors from overrunning my Haskell program? https://blog.plover.com/prog/haskell/type-markers.html 9 comments haskell
- Alms: a Programming Language with Practical Affine Types (written in Haskell) http://www.ccs.neu.edu/home/tov/pubs/alms/ 3 comments haskell
- Sexy types for embedded and systems programming (or, device drivers in Haskell) [PDF] http://pobox.com/~oleg/ftp/computation/resource-aware-prog/tfp.pdf 4 comments programming
- 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
- Haskell's Type System Standing Alone: an unusual programming language https://vitez.me/hts-language 10 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
- A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) https://blog.jle.im/entry/purely-functional-typed-models-1.html 5 comments programming
- A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) https://blog.jle.im/entry/purely-functional-typed-models-1.html 26 comments haskell
- [London Haskell] Idris: General Purpose Programming with Dependent Types http://www.youtube.com/watch?v=vkIlW797JN8 11 comments haskell
- Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 0 comments programming
- Wanna waste 3 hours of your life, watching me poorly explain Type Programming in Haskell? :V https://www.youtube.com/watch?v=iwj3Bni4uYE 8 comments haskell
- Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming [pdf] https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 8 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
- From Strangeloop: Program Synthesis via Refinement Types in a Haskell-Like Language http://comcom.csail.mit.edu/comcom/#synquid 3 comments haskell
- Viskell: Visual programming meets Haskell. Visual programming environment for a typed (Haskell-like) functional programming language. https://github.com/wandernauta/viskell 41 comments programming
- Viskell: Visual programming meets Haskell. Visual programming environment for a typed (Haskell-like) functional programming language. https://github.com/wandernauta/viskell 27 comments haskell
- Safe: Robust programming practices in Haskell via types, testing, debugging and documentation http://liamoc.net/articles/safe.html 84 comments programming
- Typing Haskell in Haskell: "... we present a Haskell program that implements a Haskell typechecker... " http://web.cecs.pdx.edu/~mpj/thih/ 2 comments haskell
- Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming https://pragprog.com/titles/rshaskell/effective-haskell/ 6 comments haskell
- PureScript -- strongly, statically typed programming language, written in and inspired by Haskell. Compiles to readable JS! http://purescript.readthedocs.org/en/latest/intro.html 11 comments javascript
- Conor's Rule? - Any sufficiently complicated Haskell or ML program contains an ad hoc, informally-specified, bug-ridden, half-completed simulation of dependent types. http://blog.jbapple.com/2007/02/conors-rule.html 8 comments programming