| | 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 allenleein 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
|
|
| | Haskell on Heroku (brianmckenna.org) |
|
5 points by pufuwozu on May 20, 2012 | past
|
|
| | Learn Nintendo DS a Haskell (brianmckenna.org) |
|
2 points by ranit8 on Jan 29, 2012 | past
|
|
| | Type Errors as Warnings (in Java and Haskell) (brianmckenna.org) |
|
2 points by pufuwozu on Jan 12, 2012 | past
|
|
|
|
More |
