Higher kinded types for TypeScript

Posted on Wed 26 August 2026 in Tech, TypeScript, Effect • Tagged with typescript, types, higher-kinded types

In the previous post we saw that Result.gen and Option.gen are very similar but looking at the Effect's codebase we can see that the type signature is very different from ours:

import { import ResultResult, import OptionOption, import UtilsUtils } from "effect"

declare const const genResult: Utils …

Continue reading

Rebuilding Effect's Result.gen

Posted on Wed 19 August 2026 in Tech, TypeScript, Effect • Tagged with typescript, types

Since I discovered ZIO I have been in love with effect systems. Effect brings an effect system to TypeScript, making it widely more useful due to the adoption of the language. I spent hours (probably days) digging into ZIO's codebase and learned a ton, it's now time to do the …


Continue reading