For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Of Course ML Has Monads (2011) (existentialtype.wordpress.com)
7 points by Bogdanp 11 months ago | past | 3 comments
Boolean Blindness (existentialtype.wordpress.com)
1 point by fanf2 11 months ago | past
What, If Anything, Is a Declarative Language? (2013) (existentialtype.wordpress.com)
2 points by swatson741 on April 3, 2024 | past | 1 comment
Dynamic Languages Are Static Languages (existentialtype.wordpress.com)
1 point by Scarbutt on March 4, 2024 | past
Modules Matter Most (2011) (existentialtype.wordpress.com)
1 point by nequo on Aug 22, 2023 | past
Some Thoughts on Teaching Functional Programming (existentialtype.wordpress.com)
4 points by ggr2342 on June 13, 2023 | past | 1 comment
It Is What It Is (and Nothing Else) (existentialtype.wordpress.com)
3 points by ggr2342 on June 13, 2023 | past | 1 comment
Persistence of Memory (2017) (existentialtype.wordpress.com)
1 point by Akronymus on July 16, 2022 | past
Dynamic Languages are Static Languages (2011) (existentialtype.wordpress.com)
2 points by jim-jim-jim on May 28, 2021 | past
Dynamic Languages are Static Languages (2011) (existentialtype.wordpress.com)
1 point by shcheklein on Oct 8, 2020 | past
Dynamic Languages Are Static Languages (existentialtype.wordpress.com)
1 point by hamidr on April 27, 2020 | past
Dynamic Languages Are Static Languages (existentialtype.wordpress.com)
3 points by jasim on Dec 11, 2018 | past | 2 comments
Boolean Blindness (existentialtype.wordpress.com)
2 points by hexhex on June 19, 2018 | past
Dynamic Languages Are Static Languages (existentialtype.wordpress.com)
1 point by tosh on May 11, 2018 | past
Recursion: It Is What It Is (And Nothing Else) (2016) (existentialtype.wordpress.com)
4 points by chmaynard on March 20, 2018 | past
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by vog on Dec 8, 2017 | past
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by SubiculumCode on Dec 5, 2017 | past
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
2 points by jonnycomputer on Nov 7, 2017 | past
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by theaeolist on Nov 6, 2017 | past
Dynamic Languages Are Static Languages (2011) (existentialtype.wordpress.com)
1 point by jb1991 on Oct 3, 2017 | past
Modules Matter Most (2011) (existentialtype.wordpress.com)
1 point by k4rtik on June 14, 2017 | past
Exceptions Are Shared Secrets – Existential Type (existentialtype.wordpress.com)
1 point by kiyanwang on April 22, 2017 | past
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
The Real Point of Laziness in Code (existentialtype.wordpress.com)
2 points by je_bailey on Feb 27, 2017 | past
Parallelism is not Concurrency (existentialtype.wordpress.com)
39 points by jez on Dec 5, 2016 | past | 1 comment
The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com)
111 points by rpbertp13 on Nov 27, 2016 | past | 49 comments
Bob Harper – Parallelism Is Not Concurrency (existentialtype.wordpress.com)
3 points by Athas on Nov 20, 2016 | past
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
The Power of Negative Thinking (re: exceptions and type theory) (existentialtype.wordpress.com)
2 points by dllthomas on Nov 18, 2015 | past
What, If Anything, Is a Declarative Language? (2013) (existentialtype.wordpress.com)
1 point by sea6ear on Oct 5, 2015 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You