search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

? Example #15

Closed michaelto20 closed 7 years ago

michaelto20 commented 8 years ago

I've been messing with the REPL for a while now but I realize I keep trying to evaluate expressions! I have come up with other non-evaluate commands but I haven't come up with a command that uses the ? type. Could you give me a basic example so that I could mess with it and get a feel for working with it?

heades commented 8 years ago

Run this one:

(\(x:?->?).xx)(\x:?->?.xx)

Also, there is this one:

\(n:?).\(m:?).\(s:? -> ?).\(z:?).n s (m s z)

michaelto20 commented 8 years ago

I wonder if I have a bug in my version of the code. For the first example you gave, I get the error:

unexpected "("
expecting "let" or ":"

And for the second example, I get the error:

unexpected "\\"
expecting "let" or ":"

I've looked all through the code to figure out why. It seems like it should be an error from the parser but I haven't been able to figure the root cause. I've just pushed up my copy of the code to the branch. I'll keep working on it to see if I can figure this out.