Alice T'Poteat comments

Results 15 comments of


                                            Alice T'Poteat

Idea: Experiment / document generic lambda types further with HKTs. (e.g. `<X>(x: X) => X`)

This is indeed trivial as implemented here: https://tsplay.dev/wOXL7N Posting the actual block as well to avoid bit rot. ```ts import * as H from "hkt-toolbelt"; type _$promisify = T extends...

Programmatic generation of curried interfaces for custom kinds

I love this! This is a really good idea for ensuring the codebase is consistent. I wonder if there isn't a TS Hygienic Macro framework or extension that we could...

Investigate feasability of replacing Type._$cast<T, U> with T & U

I investigated this a little bit and the equivalence seems definitely false - still may be opportunities to improve performance though, so I'll leave this open.

Investigate feasability of replacing Type._$cast<T, U> with T & U

| @poteat Does this sound like something you might be open to? I'm down; any improvements to readability are well worth it. On the other hand, I think visual distinguishment...

latexjs.org running costs

Two ideas: 1. How does TeX Live and its siblings handle hosting? Volunteers? Donations from institutions? 2. Peer-to-peer cryptographic hosting a la BitTorrent or variants.