alan
alan copied to clipboard
alantech
Autoscalable Programming Language
As discovered during #227 an improper opcode definition can cause the output type to be defined as an interface type. Depending on which opcodes are then used to consume that...
One large issue with the current types is that functions are simply typed `function`, without their argument and return types declared. The compiler will error out usage of higher-order functions...
The function type task should eliminate the need for most of the custom logic in `compiler/src/lntoamm/opcodes.ts` to override the type inference behavior. It probably makes sense to do that in...
`@std/datastore`, our system for shared mutable state to persist in the language, is accidentally able to unsafe cast any type to any other type through its current `set` and `get`...
Global memory doesn't have a good way of representing variable memory types adding a lot of corner case handling for strings, which are currently "blessed" as the only variable-sized type...
There are many ways to fan out parallel array operations across cores. Testing how to run https://github.com/ledwards/advent-2020/blob/main/day01b.ln as fast as possible via https://github.com/alantech/alan/pull/383 siloed me into writing parallel configurations that...
AVM to avoid spinning up more than `n` (cpu core count) instances. `map`, `each`, `find` and all parallel array opcodes should generate `n` tasks for each cpu core instead of...
Detect when the closure method for `condfn` and linear array methods (`mapl`, `findl`, etc.) are handed cpu bound operations