undefined | Better HN

0 pointsbarmic121mo ago0 comments

one issue is it’s not a type alias but a type encapsulation. This have a cost at runtime, it’s not like in some functionnals languages a non cost abstraction.

0 comments

vips7L1mo ago

Correctness is more important than runtime costs.

LelouBil1mo ago

In languages like kotlin and rust you can have a type encapsulation like this that does not exist at runtime

j / k navigate · click thread line to collapse

0 pointsbarmic121mo ago0 comments

one issue is it’s not a type alias but a type encapsulation. This have a cost at runtime, it’s not like in some functionnals languages a non cost abstraction.

0 comments

vips7L1mo ago

Correctness is more important than runtime costs.

LelouBil1mo ago

In languages like kotlin and rust you can have a type encapsulation like this that does not exist at runtime

j / k navigate · click thread line to collapse