Alexey Radul

Can't scan with a body that has an effect

2

I thought I could write an expression that computes the first few squares like this: ``` run_state 0 \ref. scan 0 \i:(Fin 100) s. val = s * get ref...

The `

Harmonize syntax of functions, arrays, and function types

1

[This grew out of thinking about #925.] Right now, there is a disharmony in Dex syntax. From Haskell, we write function types separating every argument's type with an arrow: ```...

Do unsigned remainder on unsigned types

1

Manifestation: ``` big = 2147483647 rem (big + 1) big > 4294967295 ``` Expected the answer to be 1. (Note that `big + 1` doesn't overflow the underlying Word32 --...

at least to test the compiler's behavior on unknown entities. Suggested name `unknown`.

- [ ] Find or implement `erfinv` (apparently CUDA has one but LLVM and libm do not) and plug it in for `NormalDist` quantile - [ ] Implement the derivatives...

I can make an array of lists: ``` ans1 = for i:(Fin 3). "hello" ``` I can time how long it takes to make an array of lists: ``` %time...

Handling of Nat at the Jax-Dex boundary

3

Suppose we wish to export a Dex function that takes a `Nat` argument to Jax: ``` dex_iota = primitive(dex.eval(r"\(size:Nat). for i:(Fin size). ordinal i")) ``` If we just call it,...

``` pow (MkComplex 0. 0.) (MkComplex 2. 0.) ``` produces `NaN`s, even though the answer is 0. Should we - Special-case zero base to return 0? In this case, we...

Subset design

1

From reviewing PR #963, a couple possible changes to the design of `Subset`. ## 1. Coercion What if we change `Subset a b` to `SafelyCoercible a b`, i.e., where membership...