| 1. | | Of Course ML Has Monads (2011) (existentialtype.wordpress.com) |
| 7 points by Bogdanp on June 21, 2025 | past | 3 comments |
|
| 2. | | Boolean Blindness (existentialtype.wordpress.com) |
| 1 point by fanf2 on June 20, 2025 | past |
|
| 3. | | What, If Anything, Is a Declarative Language? (2013) (existentialtype.wordpress.com) |
| 2 points by swatson741 on April 3, 2024 | past | 1 comment |
|
| 4. | | Dynamic Languages Are Static Languages (existentialtype.wordpress.com) |
| 1 point by Scarbutt on March 4, 2024 | past |
|
| 5. | | Modules Matter Most (2011) (existentialtype.wordpress.com) |
| 1 point by nequo on Aug 22, 2023 | past |
|
| 6. | | Some Thoughts on Teaching Functional Programming (existentialtype.wordpress.com) |
| 4 points by ggr2342 on June 13, 2023 | past | 1 comment |
|
| 7. | | It Is What It Is (and Nothing Else) (existentialtype.wordpress.com) |
| 3 points by ggr2342 on June 13, 2023 | past | 1 comment |
|
| 8. | | Persistence of Memory (2017) (existentialtype.wordpress.com) |
| 1 point by Akronymus on July 16, 2022 | past |
|
| 9. | | Dynamic Languages are Static Languages (2011) (existentialtype.wordpress.com) |
| 2 points by jim-jim-jim on May 28, 2021 | past |
|
| 10. | | Dynamic Languages are Static Languages (2011) (existentialtype.wordpress.com) |
| 1 point by shcheklein on Oct 8, 2020 | past |
|
| 11. | | Dynamic Languages Are Static Languages (existentialtype.wordpress.com) |
| 1 point by hamidr on April 27, 2020 | past |
|
| 12. | | Dynamic Languages Are Static Languages (existentialtype.wordpress.com) |
| 3 points by jasim on Dec 11, 2018 | past | 2 comments |
|
| 13. | | Boolean Blindness (existentialtype.wordpress.com) |
| 2 points by hexhex on June 19, 2018 | past |
|
| 14. | | Dynamic Languages Are Static Languages (existentialtype.wordpress.com) |
| 1 point by tosh on May 11, 2018 | past |
|
| 15. | | Recursion: It Is What It Is (And Nothing Else) (2016) (existentialtype.wordpress.com) |
| 4 points by chmaynard on March 20, 2018 | past |
|
| 16. | | Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com) |
| 1 point by vog on Dec 8, 2017 | past |
|
| 17. | | Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com) |
| 1 point by SubiculumCode on Dec 5, 2017 | past |
|
| 18. | | Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com) |
| 2 points by jonnycomputer on Nov 7, 2017 | past |
|
| 19. | | Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com) |
| 1 point by theaeolist on Nov 6, 2017 | past |
|
| 20. | | Dynamic Languages Are Static Languages (2011) (existentialtype.wordpress.com) |
| 1 point by jb1991 on Oct 3, 2017 | past |
|
| 21. | | Modules Matter Most (2011) (existentialtype.wordpress.com) |
| 1 point by k4rtik on June 14, 2017 | past |
|
| 22. | | Exceptions Are Shared Secrets – Existential Type (existentialtype.wordpress.com) |
| 1 point by kiyanwang on April 22, 2017 | past |
|
| 23. | | A “proof by contradiction” is not a proof that ends with a contradiction (existentialtype.wordpress.com) |
| 2 points by subtenante on March 8, 2017 | past |
|
| 24. | | The Real Point of Laziness in Code (existentialtype.wordpress.com) |
| 2 points by je_bailey on Feb 27, 2017 | past |
|
| 25. | | Parallelism is not Concurrency (existentialtype.wordpress.com) |
| 39 points by jez on Dec 5, 2016 | past | 1 comment |
|
| 26. | | The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com) |
| 111 points by rpbertp13 on Nov 27, 2016 | past | 49 comments |
|
| 27. | | Bob Harper – Parallelism Is Not Concurrency (existentialtype.wordpress.com) |
| 3 points by Athas on Nov 20, 2016 | past |
|
| 28. | | It Is What It Is (And Nothing Else) – Why Recursion Still Matters (existentialtype.wordpress.com) |
| 52 points by ingve on Feb 22, 2016 | past | 72 comments |
|
| 29. | | The Power of Negative Thinking (re: exceptions and type theory) (existentialtype.wordpress.com) |
| 2 points by dllthomas on Nov 18, 2015 | past |
|
| 30. | | What, If Anything, Is a Declarative Language? (2013) (existentialtype.wordpress.com) |
| 1 point by sea6ear on Oct 5, 2015 | past |
|
|
| More |
