Joe Eli McIlvain

Now let's try to translate those "Kinds" into traits that fit into the type system: ```savi // `->` (Kind A) // (cannot be objectified, so does not need to have...

So now, knowing those type relationships, we can start to develop some best practices which will help people navigate which types of blocks/lambdas to use in their program architectures: In...

@jasoncarr0 requested that I convert my proposal notes here into a pull request of documents for easier review and threading of review comments. Jason and anyone else are welcome to...

Updated my comments here based on the review in #131, so I'm going to close #131 and we can finish the discussion here.

This document explaining how constraint solving works in the Swift compiler is likely to be helpful: https://github.com/apple/swift/blob/main/docs/TypeChecker.md

(Assigned myself because I'll definitely be the one to work on this, and it needs to be done fairly soon, though I may not start putting pen to paper immediately...

Watched this short video over lunch today, which includes some useful information on approaches to optimize general constraint-solving problems: https://youtu.be/lCrHYT_EhDs?t=1205

It should be possible to override a string constant, a boolean constant, or a numeric constant. - if the constant is a string type, the CLI arg will be used...

String literals of other types should support having different escape sequences. For example, a Regex literal (defined by the `Regex` package, outside the core language) should be able to have...

Yeah, so as a general statement I am looking at three main areas of work here: --- :one: Firstly, try to make the compiler smart enough to avoid the need...