Matthew Lutze
Matthew Lutze
This is fixed by the new rules preventing unification across region boundaries.
> Is it possible to add this constraint to the enum def itself? I wouldn't think so... like > > ``` > enum BufReaderRef[a](a) with BufReader[a] > ``` This is...
The associated type to Read sounds pretty nice. What would it look like in practice? How much needs to be duplicated?
Could it be a keyword? ```scala def foo(named x: Int32, y: Int32): String = ... ```
Matt's suggestion: introduce some type that represents a "generic schema row" and use that instead of Types.Datalog
The stringify function should return a `DebugString` type and have the `Debug` effect. This means it can pretend to be pure when needed and cannot easily be abused.
Specifically, I don't think debugging a mutable list should have a region effect. It would be too unwieldy.
Adding ToString to everything is not sufficient because we'd have to declare a ToString constraint to use debug on anything polymorphic
Should we be able to catch generic effects? :O
> You ask by doing the lookup? What am I missing? You cannot write a generic function to do this.