gcanti
Joined 12 years ago
Karma
111
Submissions
72
Member since
Aug 4
[email protected]
View on Hacker NewsRecent submissions
Comment · 7 years ago
fp-ts [1] contains an implementation of Higher Kinded Types, which TypeScript doesn’t support natively (the idea for emulating higher kinded types in TypeScript is based on "Lightweight higher-kinded polymorphism" [2])
[1] https://github.com/gcanti/fp-ts [2] https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-ki...
Comment · 8 years ago
for a functional library that plays nicely with TS check this out: https://github.com/gcanti/fp-ts
Comment · 8 years ago
For my fellow italians, I wrote a free "Introduction to functional programming" PDF, check out https://github.com/gcanti/functional-programming
Comment · 8 years ago
Here's a (partial) porting to TypeScript https://github.com/gcanti/money-ts
Comment · 9 years ago
working on a fp library for TypeScript if you want to take a look https://github.com/gcanti/fp-ts
Comment · 9 years ago
You could write the runtime definition and extract the static types from that https://github.com/gcanti/io-ts
Comment · 9 years ago
This is a TypeScript compatible runtime type system for IO validation https://github.com/gcanti/io-ts
Comment · 10 years ago
what's the state of the JavaScript backend? I do frontend and I'd really love to write some code in idris
Comment · 10 years ago
Not sure about TypeScript but with Flow you can get HKT through some contortions https://github.com/gcanti/flow-static-land (in Elm too)
Comment · 10 years ago
I wrote a library [1] and a babel plugin [2] (bonus point: is Flow compatible) in order to deal with those cumbersome runtime type checks.
[1] https://github.com/gcanti/tcomb [2] https://github.com/gcanti/babel-plugin-tcomb