| | How to stop functional programming (2016) (brianmckenna.org) |
| 107 points by thunderbong 4 months ago | past | 120 comments |
|
| | Read-only Guest tmux Sessions (brianmckenna.org) |
| 1 point by PaulHoule 4 months ago | past |
|
| | Read-only Guest tmux Sessions (brianmckenna.org) |
| 3 points by Bogdanp 4 months ago | past |
|
| | Type system of Fortnite's Verse language (brianmckenna.org) |
| 225 points by ghuntley on March 29, 2023 | past | 152 comments |
|
| | Type system of Fortnite's Verse language (brianmckenna.org) |
| 4 points by todsacerdoti on March 29, 2023 | past |
|
| | Architecture diagrams should be code (brianmckenna.org) |
| 1 point by signa11 on Jan 11, 2023 | past |
|
| | Architecture diagrams should be code (brianmckenna.org) |
| 317 points by todsacerdoti on Jan 10, 2023 | past | 184 comments |
|
| | Category Theory for Promises/A+ (brianmckenna.org) |
| 3 points by ghuntley on Sept 1, 2022 | past |
|
| | How to Stop Functional Programming (brianmckenna.org) |
| 7 points by l5870uoo9y on Sept 12, 2021 | past |
|
| | 10x Engineers Were the Silver Bullet (brianmckenna.org) |
| 2 points by allenleee on Jan 27, 2019 | past |
|
| | Row polymorphism isn't subtyping (brianmckenna.org) |
| 1 point by enkiv2 on May 23, 2018 | past |
|
| | Constraints are for methods, not data (brianmckenna.org) |
| 2 points by setra on March 17, 2018 | past |
|
| | Row Polymorphism Isn't Subtyping (brianmckenna.org) |
| 3 points by setra on March 17, 2018 | past |
|
| | Brian McKenna on Polymorphic Programming (brianmckenna.org) |
| 1 point by aaron_kent on Jan 10, 2018 | past |
|
| | Polymorphic Programming (brianmckenna.org) |
| 1 point by setra on Jan 7, 2018 | past |
|
| | Constraints are for methods, not data (brianmckenna.org) |
| 1 point by setra on Nov 22, 2017 | past |
|
| | Tool Subsumption and Silver Bullets (brianmckenna.org) |
| 3 points by indy on Oct 9, 2017 | past |
|
| | Odd Odd Even Agda Proof, Take (suc (suc Zero)) (brianmckenna.org) |
| 1 point by setra on March 14, 2017 | past |
|
| | EvenOdd in Agda, Idris, Haskell, Scala (brianmckenna.org) |
| 1 point by harveywi on Aug 24, 2016 | past |
|
| | How to stop functional programming (brianmckenna.org) |
| 225 points by zeckalpha on Feb 23, 2016 | past | 122 comments |
|
| | Bilby.js functional with category theory (brianmckenna.org) |
| 1 point by based2 on Dec 20, 2014 | past |
|
| | Haskell Library for Dependent Typing Languages compiles to Javascript (brianmckenna.org) |
| 2 points by juliangamble on Dec 25, 2013 | past |
|
| | Odd Odd Even Proof in Agda (brianmckenna.org) |
| 41 points by rwosync on Aug 4, 2013 | past | 2 comments |
|
| | Row Polymorphism Isn't Subtyping (brianmckenna.org) |
| 1 point by fabriceleal on May 7, 2013 | past |
|
| | Category Theory for Promises/A+ (brianmckenna.org) |
| 4 points by noelwelsh on April 12, 2013 | past | 1 comment |
|
| | Applicative Validation in JavaScript (brianmckenna.org) |
| 2 points by DanielRibeiro on March 28, 2013 | past |
|
| | bilby.js - Serious functional programming library for JavaScript (brianmckenna.org) |
| 3 points by jhck on Sept 9, 2012 | past | 1 comment |
|
| | Introductory talk about monad transformers in scala (with slides) (brianmckenna.org) |
| 1 point by ibotty on Aug 12, 2012 | past |
|
| | Roy: A statically typed pure functional language that compiles to clean js [PDF] (brianmckenna.org) |
| 1 point by paulkoer on June 28, 2012 | past |
|
| | Types in JavaScript (brianmckenna.org) |
| 2 points by route66 on June 20, 2012 | past |
|
|
| More |
