Hacker News new | past | comments | ask | show | jobs | submit login
Algebraic Structures for Untyped Racket (github.com/dedbox)
77 points by tosh on March 31, 2019 | hide | past | favorite | 2 comments



looks like you can only specify the names of the constructors and not their contents, as in `(data Maybe (Nothing Just))`, so there's nothing stopping a user from doing `(Nothing 1 2 3)` or `(Just)`. interesting choice!

also since people reading this might be interested, i made something similar for Python a while ago: https://github.com/lubieowoce/sumtype





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

Search: