Use Your Type System

Re:Use Your Type System by worldsayshi on Thursday July 24, 2025 @04:58PM (#44676038)

Don't you mean "isosemantic"? Since the same concept is represented with different syntax.

[ Parent | on HN ]

Re:Use Your Type System by alex_smart on Friday July 25, 2025 @06:59AM (#44681800)

Sure

[ Parent | on HN ]

Re:Use Your Type System by worldsayshi on Friday July 25, 2025 @05:22PM (#44688640)

I point it out because I think the distinction is interesting.

Can we build tools that helps us work with the boundary between isosemantic and isomorphic? Like any two things that are isosemantic should be translatable between each other. And so it represents an opportunity to make the things isomorphic.

[ Parent | on HN ]