Michael Ballantyne

Sure, happy to attend. On Wed, Aug 11, 2021 at 3:48 PM Nada Amin ***@***.***> wrote: > Hi @chansey97 , @michaelballantyne > , @webyrd > and everyone, > > We...

Hi! Glad you find this interesting. :) Let me start with the things I was thinking about when we left off work, and then I'll get to your specific questions....

Hmm. Maybe it would be useful to work through how you would add arithmetic operations to a [relational interpreter](https://github.com/michaelballantyne/faster-miniKanren/blob/master/full-interp.scm) without constraint promotion, but while ensuring refutation? I think you'd at...

(I'm also not sure on the best terminology; "constraint promotion" is a good shorthand for our communication, but I think I would avoid it in formal writing.)

Re: the duplication @blerner mentions, it looks like the [`check-visitor`](https://github.com/brownplt/pyret-lang/blob/4656a79fa4aeb3f9fa4aecef17dc8c9c3b72a030/src/arr/compiler/desugar-check.arr#L243) gathers checks and inserts their desugaring at the end of the block, but doesn't remove the original checks. Right now...

I forgot I also had tracing enabled. It seems to only happen with Beginning Student + Tracing; ISL and ASL seem ok.

The demo file reads much better for me with `~`, `'`, and `$`.

@mflatt could you elaborate on this bit from the proposal? > But having def also makes it easier to have let. A let modifier that could be applied to any...

I haven't read every discussion point, so perhaps already answered: Have you considered an alternative design in which operator declarations specify the contexts of the subexpressions? It seems like it...

> What if you switched the roles of () and [], so that parentheses are used in most places and [] is for grouping? Or what if {} was used...