phischu
phischu
The following program: ``` def f(x: Int) : Int = { 1 } def use { g: (Int) => Int } : Int = { 2 } def main() :...
- [ ] Prevent `iterate_increment` from being constant-folded - [ ] Prevent `factorial_accumulator` from being constant-folded - [ ] Change input sizes to more evenly distribute time - [ ]...
We should consider warning users when an effect is not used. I can think of the following two situations where we might want additional warnings: ``` def foo(): Int /...
To fix #474 we should add a core to core pass that looks for all calls to `inspect[Foo](...)` and (recursively) generates code `inspect_Foo(...)`. This should serve many use cases. It...
_Extracted from [a discussion](https://github.com/effekt-lang/effekt/pull/830/files/2186b0de6bda9589aa2fc072fcc0416b3c28031c..27642ac6623b7e13dca85b13655126f2ec584abe#diff-964dff611f6e694c69447acd3d4c732c4f950266ad48f01adcf5e633a0f71921) in #830_ The implementation of `append` in the `list` module reverses stuff twice instead of doing the naive thing: ``` def append[A](l: List[A], other: List[A]): List[A]...
- [x] Review resizable array (what is the intended semantics even) - [x] Change names of vm primitives. - [x] Check allocateZeros and allocateNones on JS - [x] Measure performance...
In the current standard library there are number of definitions that take one type and return another one. Step 1 is to survey all these definitions and to categorize them....
As far as I can see, we are not using `extern resource` anywhere, nor is it documented. Remove the feature.
Time and time again I and others have observed that capture annotations on externs defaulting to io is more confusing than always requiring it to be explicitly annotated. The following...