Isaac Clayton

Hey @sirinath, I appreciate the work you put into describing a list of typing rules and ideas! I note that you introduce some additional syntax, like `def` and `@`, without...

> `@` is used to denote of the name is significant hence used for type checking. Say we have `type A; def a: @A` `a` type checks as nominative. Alright....

> In structural types one need some labeling to refer and reuse type > definitions. I think I need to clarify as to how structural typing works in Passerine, and...

That is a good point. In Passerine, `%` is the euclidean remainder operator. I guess see [this post](https://cronokirby.com/posts/2020/12/chinese-remainder-theorem#the-modulo-operation) as to the mathematical justification why. If we look at a set...

Thanks @complyue, I'm glad you brought up the `quot` / `rem` and `div` / `mod` relationship! Passerine does not have a standard `//` integer division operator implemented. I think that...

(I have a bad habit of writing complete answers yet forgetting to hit send. Here goes again) I think having core support for decimal floating points is a great idea...

Thanks for getting back to me quickly, safe travels! Yes, I've read the article and am fairly familiar with how numbers are represented under floating point, including the fact that...

I think the difference between "scripting" and "interactive scripting" could be a useful distinction. I guess we could map this to two categories: 1. "Interactive scripting" is largely while creating/refactoring...

It's not a final decision, but naming Real to Float shows that decimal floating point numbers are, as you mentioned, a subset of real numbers. At this point in development,...

To clarify, what I'm currently thinking is that, during lexing, number literal tokens will be represented using a string / some other format that is lossless irrespective of base. When...