You can generalize this with TS's fancy mapped types: type Sum<K> = <T> (cases: Pattern<K, T>) => T type Pattern<K, T> = { [V in keyof K]: K[V] extends any[] ? (...args: K[V]) => T : never } which takes TS very close to…
Faster startup, mouse works as you'd expect in a regular desktop app. Switch panes, tabs, open new tab, scroll panes, resize panes, select ranges, all in the terminal. I know not using the mouse is one of the reasons…
For this reason, I think of objects as not equivalent to closures, but rather ML-style functors. I think implementing objects as records with closures as fields is really just a poor man's parameterized module.
Is this guy really a former Google employee? Those posts sound like they were written by an elementary school kid.
This is so cool. I only wish the screen were a little bigger and could show all the colors.
Looking forward to this. Registration doesn't seem to work yet. Please add 'monospace' to the font-family declaration. The site looks terrible in Ubuntu.
Here's how to make shift-pgup/pgdn work in screen: echo "termcapinfo xterm ti@:te@" >> ~/.screenrc
You can generalize this with TS's fancy mapped types: type Sum<K> = <T> (cases: Pattern<K, T>) => T type Pattern<K, T> = { [V in keyof K]: K[V] extends any[] ? (...args: K[V]) => T : never } which takes TS very close to…
Faster startup, mouse works as you'd expect in a regular desktop app. Switch panes, tabs, open new tab, scroll panes, resize panes, select ranges, all in the terminal. I know not using the mouse is one of the reasons…
For this reason, I think of objects as not equivalent to closures, but rather ML-style functors. I think implementing objects as records with closures as fields is really just a poor man's parameterized module.
Is this guy really a former Google employee? Those posts sound like they were written by an elementary school kid.
This is so cool. I only wish the screen were a little bigger and could show all the colors.
Looking forward to this. Registration doesn't seem to work yet. Please add 'monospace' to the font-family declaration. The site looks terrible in Ubuntu.
Here's how to make shift-pgup/pgdn work in screen: echo "termcapinfo xterm ti@:te@" >> ~/.screenrc