News for hackers. Stuff that matters.

A comment on Phantom Types in Gleam. Parent comment

Re:Phantom Types in Gleam by mushishi on Saturday February 27, 2021 @11:49AM (#26286025)
Holy smokes, that would be irritating :D

Btw. is there a difference between these two:

    (s: string): PlainText => <PlainText><any>s;
    (s: string): PlainText => s as any as PlainText;
Syntax-wise I'd rather use the latter for it's more clear in typed JSX-context.
[ Parent | on HN ]
Re:Phantom Types in Gleam by pd-andy on Saturday February 27, 2021 @11:51AM (#26286041)
As far as I know those two are equivalent. Definitely slightly clunkier, but is what it is.
[ Parent | on HN ]