RPN at type level

RPN at type level

(1) By Jorge (jacereda) on 2021-01-05 14:44:06 [link] [source]


I've noticed you use things like (List a) at the type level. Why not a List?

Thanks, Jorge

(2) By robin.hansen on 2021-01-07 09:21:16 in reply to 1 [link] [source]

Interesting idea. I haven't really considered it much. What do you think are the pros and cons?

(3) By Jorge (jacereda) on 2021-01-07 10:33:52 in reply to 2 [link] [source]

At some point you might want to perform computations at the type level, and for that a RPN style might be beneficial.

deftype: Endo dup Map

def: access
type: Int Endo   Int -- Int

That's a silly example, but there're lots of interesting things you can do at the type level.

(4) By robin.hansen on 2021-01-07 11:35:27 in reply to 3 [source]

I'll keep this in mind as I work on the language. Thanks for bringing it to my attention!