Viewing profile — gcanti

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 "Lightw…

for a functional library that plays nicely with TS check this out: https://github.com/gcanti/fp-ts

For my fellow italians, I wrote a free "Introduction to functional programming" PDF, check out https://github.com/gcanti/functional-programming

Here's a (partial) porting to TypeScript https://github.com/gcanti/money-ts

working on a fp library for TypeScript if you want to take a look https://github.com/gcanti/fp-ts

You could write the runtime definition and extract the static types from that https://github.com/gcanti/io-ts

This is a TypeScript compatible runtime type system for IO validation https://github.com/gcanti/io-ts

what's the state of the JavaScript backend? I do frontend and I'd really love to write some code in idris

Not sure about TypeScript but with Flow you can get HKT through some contortions https://github.com/gcanti/flow-static-land (in Elm too)

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] h…

I'm working on a babel plugin [1] that should make the migration even more gradual. At the end of the process you get both static and runtime type safety. [1] https://github.com/gc…

Yep. However static and runtime type checking are not mutually exclusive. Actually there's a TypeScript definition file included in the repo. Moreover such a runtime type checking …

> I was hooked on the idea of having a type safe data record that was also immutable Me too, thus I wrote https://github.com/gcanti/tcomb

Shameless plug: https://github.com/gcanti/tcomb . Used in development/production in several places, included the new MapBox Studio

Hi, shameless plug: another ( typed ) immutable data structure library, https://github.com/gcanti/tcomb . Main features: - works with regular objects and arrays - runtime type chec…

Hi, author here. Thanks for your kind words :)