Adrian Sampson

Huh, yeah, that is weird. Seems like this case should reduce the RHS instead of applying, if I'm not mistaken: https://github.com/cucapra/lambdalab/blob/742a730e73bfbc6f207859031310ec53d5d5c068/lib/reduce.ts#L249-L250 As the comment would imply: https://github.com/cucapra/lambdalab/blob/742a730e73bfbc6f207859031310ec53d5d5c068/lib/reduce.ts#L236-L237 Or perhaps I'm...

Happy PLDying, @wilbowma! Here is my feeling on this: one first has to make a judgment call about whether the verb is *type-check* or *typecheck*. I don't know the answer...

Null is famously the [billion-dollar mistake](https://en.wikipedia.org/wiki/Tony_Hoare#Apologies_and_retractions), so I think it's worth being careful about whether/how to add it. In particular, I don't think it's necessarily the case that something that...

This issue seems relevant: https://github.com/parcel-bundler/parcel/issues/729

There's another quality-of-life problem with differential testing setups currently: if you really *only* want to do differential testing (checking that two commands have the same output) and *not* expect testing...

Looks good! We can use this thread to keep track of how well we think we're doing with respect to diversity & coverage especially.

Sorry to be the PL pedant, but if there's a translator from the AST to a different language (like Python), that's not an interpreter—it's a compiler. :smiley: And if there...

Nice! Here's one small tip: I had to sort out the "modern way" to do line/column number reporting for ocamllex/ocamlyacc for the latest 4110 assignment. Perhaps this will be relevant...

Hey, @liuhenry4428—I was just having a few thoughts while reading over these new issues about language features to promote parity with TypeScript. It occurs to me that, while some of...

Hello! I don't believe this library is intended to work on NumPy arrays, so converting with `.tolist()` first is the right thing to do.