Repl

[heades]

Implement repl. See grady implementation for inspiration.

[tattymennis]

Should I program a top-level let expression for the Repl? It would be very useful in testing (and using) the language, but might conflict with the let term parsers. If so, I could change the reserved "let" to be "letu" and "lett" respectively.

[heades]

On Jul 22, 2016, at 9:41 AM, Matthew Tennis [email protected] wrote:

Should I program a top-level let expression for the Repl? It would be very useful in testing (and using) the language, but might conflict with the let term parsers. If so, I could change the reserved "let" to be "letu" and "lett" respectively.

Yes, we defiantly want the top-level let expression for the repl. However, we should be able to keep them all
named let, because their different parsers. Try and make it work.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub #17 (comment), or mute the thread https://github.com/notifications/unsubscribe-auth/ABZ7mGPujJCvaHg6BLVA0HAM68JBJxRqks5qYMibgaJpZM4JP9tU.

[tattymennis]

Gotcha, I know how I'll do it.

[tattymennis]

I've implemented the ability for the Repl to take in a top-level let variable and print it from the internal queue. However, I need to handle the error if that variable isn't in the queue. My intuition is to return with an Either String Term and case split on the output of the function, but I'm having conceptual difficulties of using Either within a REPLExpr or REPLStateIO(). I'm familiar with Either and simple monads, but I don't fully understand the intricacies of working in the environment.

Can we go over some more advanced monad topics on Tuesday?

[heades]

Yes, we can go over this on Tuesday. Unfortunately, I do not have time to meet
until then. Sorry. Talk to you more on Tuesday.

On Jul 31, 2016, at 1:21 PM, Matthew Tennis [email protected] wrote:

I've implemented the ability for the Repl to take in a top-level let variable and print it from the internal queue. However, I need to handle the error if that variable isn't in the queue. My intuition is to return with an Either String Term and case split on the output of the function, but I'm having conceptual difficulties of using Either within a REPLExpr or REPLStateIO(). I'm familiar with Either and simple monads, but I don't fully understand the intricacies of working in the environment.

Can we go over some more advanced monad topics on Tuesday?

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub #17 (comment), or mute the thread https://github.com/notifications/unsubscribe-auth/ABZ7mB4PHKyN5cuOBCGw_e1FkUZ_xYvNks5qbNmSgaJpZM4JP9tU.

[tattymennis]

No problem, sounds great. Thanks!