Viewing profile — throwaway009912
throwaway009912
HN member- Joined
- Thu, Dec 15, 2016, 5:33 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About throwaway009912
No profile information was provided.
Recent public activity
-
comment
Comment #13186372
I was also surprised. The syntax they use is basically Standard ML. Also I'd really like to see a paper on their static type checking, because they mix objects and algebraic data t…