Hacker News new | ask | show | jobs
by swatson741 444 days ago
I did mean sum types, variants, etc. It's not really clear what I meant by representing the data but I'm referring to type inference. SML can't solve the problem, and Lisp doesn't have it.