Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jesseschalken
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
31.
▲
by
jesseschalken
10y ago
Am I correct in saying that the Hack and Flow typecheckers share a lot of code? If so, does this mean that Hack typechecking on Windows could be next?
32.
▲
by
jesseschalken
11y ago
ADTs can be very easily replaced with visitors. type Maybe<T> = <V>(v:{just(x:T):V, nothing():V}) => V let just = <T>(x:T):Maybe<T> => <V>(v:{just(x:T):V}) => v.just(x) let nothing = <T&g