Jon Ross-Perkins

> fn Origin(zero: T) -> Point(T, T) { This is probably missing a check in the type checker that `Point(T, T)` is an argument mismatch. > fn Origin(zero: T) ->...

Note, -pie is fastbuild+opt, nano I think may be fastbuild only (possibly because it's related to sanitizers)

Note, if others have suggestions here, I'm all ears -- I don't intend to spend very long looking at the performance of this, just enough to see if I can...

I would prefer to avoid lazy parsing; I worry about the complexity it can add, and I think it also leaves edge cases where large values are still necessarily parsed:...

I'm going to leave this open because it's still an issue, and we could improve on it (improving LLVM as well), but for now the limit should work well enough.

On #2360 it's suggested that this issue will decide the design of `Type`, in particular "At this time, that issue is still open, but it might conclude that `Type` is...

Sure, please feel free to pick this up -- I've assigned it to you to help track. Note on #1999 there's a question if we should combine this more generally...

If you're working on a small project, you can definitely just put everything in an `api` file. Nothing really requires using an `impl` file. However, `impl` files are useful because...

Imports only inject the package name into the namespace. i.e., `import Math` only adds one name, `Math`. There is no "mass-import" similar to Java's `import package.*`, so I don't think...

> > Imports only inject the package name into the namespace. i.e., import Math only adds one name, > > But the combination of "`import Math` and `use namespace Trigonometry`...