News for hackers. Stuff that matters.

A comment on What the heck are reverse mapped types?. Parent comment

Re:What the heck are reverse mapped types? by Kinrany on Monday August 19, 2024 @06:38AM (#41289733)
Since there's no previous stage where compile-time expressions could be type checked, the best they can have is strong dynamic typing, no?
[ Parent | on HN ]
Re:What the heck are reverse mapped types? by lifthrasiir on Monday August 19, 2024 @10:32AM (#41291388)
Not quite, because the previous stage can be dynamically generated as needed.
[ Parent | on HN ]