4 ms·
I'd say it's "inspired" rather than "translated". The part about using the typescript language server to compute the solution, and the protagonist claiming the
by hnfong 4y ago
I'd say it's "inspired" rather than "translated".
The part about using the typescript language server to compute the solution, and the protagonist claiming the code is "concise" because only 4 lines of javascript were generated, was absolutely brilliant. Cracked me up at least.
Glancing at the actual code, I admit I'm with Criss in my ability to follow the logic, but it doesn't look like a direct translation from Haskel types to Typescript types either.
At any rate, very well done.
- the_gipsy 4y agoI am not well versed in Haskell, but wasn't the original also computing the solution with just the type system?
- tome 4y agoYup
- girvo 4y agoI know my mind is decidedly poisoned when I could follow the type definitions perfectly, and they reminded me of certain types I have written myself… ah, TypeScript, what have you done to me…
- aw9f70gae 4y agoHow does one even come close to such wizardry
- girvo 4y agoGoing deep into conditional types, and trying to contort Typescript into a dependent type system despite the fact it is not one!
- WorldMaker 4y agoDeep diving into lib.d.ts and DefinitelyTyped dealing with the weird boundary space between poorly typed JS and strongly typed TS can teach a lot these days. Also, being able to recognize the Peano S-function on sight (and thus uses of Church-Peano numbers) is a fun part of that wizardry. (Maybe not necessary to remind the usefulness of the Lambda Calculus canon on a site named after one of the most famous combinators.)
- blauditore 4y agoThe final punch line is that types vanish and the compiled code is effectively useless.