Phoebe Goldman

it would be nice to offer an interactive restart to remove the older offending instance, or to choose an instance to keep.

Can `typeRep`, `toProxy` and `typeOf` be `type-rep`, `to-proxy` and `type-of`, please?

> Isn't Haskell renowned for people getting confused which arguments do what? This has been my experience; for functions with more than two arguments, especially of the same type, I...

I do not think this is the right way to do this. As I understand your goals, they are: - compile and evaluate top-level forms as Coalton forms in two...

> Also can you M-q the comment? What line length do you prefer? > can we just move this whole rewiring section to be defined after token is? My gut...

Putting a "global" `muffle-conditions` (I mistakenly wrote `muffle-warnings` in my prev comment, but that's the declaration I meant) around ASDF compiling feels unfortunate, and putting `locally muffle-conditions` around callsites feels...

In response to @stylewarning 's questions on Discord, which I'd like to preserve here: > Also comments on why streams are a type and not a class? My goal here...

> I would prefer to have Show split into another pr. I think it has merits, but it's worth discussing them seperately. Sure, no arguments from me on that. >...

I'll divide this comment into two sections. ## The juicy issue: bidirectional streams and types for them > Sockets are bidirectional streams. I would argue that it's better to model...

> Also FileOptions should include an ADT for the mode to open a file. Opening a file without reading or writing doesn't make sense. SBCL [just opens it in read...