Linking pages
- GitHub - HigherOrderCO/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 300 comments
- How Class based Programming Sucks http://loup-vaillant.fr/articles/classes-suck 149 comments
- LambdaLisp - A Lisp Interpreter That Runs on Lambda Calculus | Woodrush’s Blog https://woodrush.github.io/blog/lambdalisp.html 116 comments
- GitHub - VictorTaelin/unknown_halting_status: Small programs with unknown halting status. https://github.com/maiavictor/unknown_halting_status 102 comments
- Codata in action, or how to connect Functional Programming and Object Oriented Programming https://www.javiercasas.com/articles/codata-in-action/ 74 comments
- GitHub - dzautner/Sel: A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus. https://github.com/dzautner/sel 67 comments
- Programming with Nothing http://experthuman.com/programming-with-nothing 58 comments
- Programming with Nothing http://codon.com/programming-with-nothing 47 comments
- GitHub - prakhar1989/type-inference: The Hindley Milner Type Inference Algorithm https://github.com/prakhar1989/type-inference#hindley-milner-type-inference 28 comments
- Programming with Nothing https://tomstu.art/programming-with-nothing 28 comments
- GitHub - mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages https://github.com/mazeppa-dev/mazeppa 27 comments
- GitHub - rampion/constraint-unions: A syntax for unions of constraints in Haskell https://github.com/rampion/constraint-unions#readme 26 comments
- Teaching Functional Programming: Two Big Picture Approaches - DEV Community https://dev.to/eddroid/teaching-functional-programming-two-big-picture-approaches-3nli 21 comments
- GitHub - gtramontina/lambda: Fun with λ calculus! https://github.com/gtramontina/lambda 16 comments
- Higher Order Functions: Map, Filter, Reduce and more - We ❤ Swift http://www.weheartswift.com/higher-order-functions-map-filter-reduce-and-more/ 14 comments
- statusfailed - Church Booleans in Haskell (and Morte!) http://statusfailed.com/blog/2014/09/23/church-booleans-in-haskell-and-morte.html 12 comments
- Lambdasort - Lucas Seiki Oshiro https://lucasoshiro.github.io/software-en/2020-06-06-lambdasort/ 9 comments
- GitHub - jtolio/sheepda: A lambda calculus interpreter. GET IT? https://github.com/jtolds/sheepda 8 comments
- You Can Explain Functional Programming Using Emojis https://ycombinator.chibicode.com/functional-programming-emojis 7 comments
- Simplifying division of church-numbers with church-fractions. · GitHub https://gist.github.com/viclib/cd96edb1a8517480b5d7 7 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Church encoding - Wikipedia
See how to search.