- [Question-Akka Http] Function returning either Java Route or Scala Route https://milessabin.com/blog/2011/06/09/scala-union-types-curry-howard/ 3 comments scala
Linking pages
- Mechanics of unboxed union types in Scala | by Paweł Batko | VirtusLab | Medium https://virtuslab.com/blog/mechanics-unboxed-union-types-scala/ 15 comments
- Union Types. by James Phillips | by Daniele Turi | AnyJunk | Medium https://medium.com/anyjunk/union-types-ffde15fd335 14 comments
- What I Didn't Know about Functional Programming until 2020 · GitHub https://gist.github.com/melvic-ybanez/04638dfea49bd39b856562a7e393a573 4 comments
Linked pages
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- One Div Zero: Why Eager Languages Don't Have Products and Lazy Languages Don't Have Sums http://james-iry.blogspot.com/2011/05/why-eager-languages-dont-have-products.html 63 comments
- De Morgan's laws - Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 21 comments
- Double-negation translation - Wikipedia http://en.wikipedia.org/wiki/Double-negation_translation 3 comments
- 404 - Page Not Found http://www.tikalk.com/java/blog/avoiding-nothing 0 comments
Would you like to stay up to date with Java? Checkout Java
Weekly.
Related searches:
Search whole site: site:milessabin.com
Search title: Unboxed union types in Scala via the Curry-Howard isomorphism - Miles Sabin
See how to search.