Types Are Moving to the Right

Re:Types Are Moving to the Right by rovyko on Saturday March 16, 2019 @05:24PM (#19410380)

Is there a name for side on which the type declaration sits? Left/right typed? If that's the case, I'd argue for back/forward or start/end to account for right-to-left languages.

[ Parent | on HN ]

Re:Types Are Moving to the Right by dentemple on Saturday March 16, 2019 @05:26PM (#19410388)

I propose: "Left-type-ness" and "Right-type-ness"

[ Parent | on HN ]

Re:Types Are Moving to the Right by krapp on Saturday March 16, 2019 @05:35PM (#19410425)

"little-typed" and "big-typed"

[ Parent | on HN ]

Re:Types Are Moving to the Right by navls on Saturday March 16, 2019 @05:38PM (#19410444)

"strange typed" and "charm typed"

[ Parent | on HN ]

Re:Types Are Moving to the Right by kjaer on Saturday March 16, 2019 @07:41PM (#19411149)

The assignment of these could go either way, depending on what you prefer :)

[ Parent | on HN ]

Re:Types Are Moving to the Right by christofosho on Saturday March 16, 2019 @06:02PM (#19410608)

Pre-/post-typing?

[ Parent | on HN ]

Re:Types Are Moving to the Right by wflann on Saturday March 16, 2019 @08:59PM (#19411478)

Sinister/Dexter?

[ Parent | on HN ]

Re:Types Are Moving to the Right by thanatropism on Saturday March 16, 2019 @06:46PM (#19410873)

Small-sidedian versus big-sidedian

[ Parent | on HN ]

Re:Types Are Moving to the Right by VWWHFSfQ on Saturday March 16, 2019 @06:52PM (#19410906)

are there right to left languages

[ Parent | on HN ]