3 ms·

And now I know why record-like types are so awkward in many functional languages. A classical type inference just cannot type them requiring heavy type annotati

by fpoling 10y ago

And now I know why record-like types are so awkward in many functional languages. A classical type inference just cannot type them requiring heavy type annotations.