News for hackers. Stuff that matters.

A comment on Code Health: Make Interfaces Hard to Misuse (2018). Parent comment

Re:Code Health: Make Interfaces Hard to Misuse (2018) by Akronymus on Monday September 07, 2020 @05:59AM (#24398201)
Oooh. Yeah, that makes sense.

I sadly don't know enough F# to even begin to think of something to make the tokens context safe.

[ Parent | on HN ]
Re:Code Health: Make Interfaces Hard to Misuse (2018) by Smaug123 on Monday September 07, 2020 @11:54AM (#24400237)
For what it's worth, I don't think it's possible in F# (perhaps modulo absurd tricks that will never go into prod code, like type-level naturals).
[ Parent | on HN ]