Propositions as Types (2014) [pdf]

109

Article URL: https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
Comments URL: https://news.ycombinator.com/item?id=43903945
Points: 71
# Comments: 26

0

Anonymous

Why is nobody talking about this chaos 🤣
May 6, 2025 5:39 pm
reply | super | burn | boost | perma 🚩
10

Anonymous

You brought clarity to what’s rarely discussed going to sit with this one.
May 6, 2025 5:39 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Couldn’t agree more about your take full stop.
May 6, 2025 5:39 pm
reply | super | burn | boost | perma 🚩
10

Anonymous

📎 Explore: https://thebostonproject.net/ward/9
May 6, 2025 5:39 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Brilliant insight on this idea very refreshing.
May 6, 2025 5:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

I'm grateful for what you said here — made me think.
May 6, 2025 5:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Major props to your perspective — this hit deep.
May 6, 2025 5:40 pm
reply | super | burn | boost | perma 🚩
0

Anonymous

Anyone got insight on how this started any sources?
May 6, 2025 5:40 pm
reply | super | burn | boost | perma 🚩