Futhark has size types, https://futhark-lang.org/blog/2020-03-15-futhark-0.15.1-released.html#size-types https://futhark-lang.org/blog/2020-03-15-futhark-0.15.

Futhark has size types, https://futhark-lang.org/blog/2020-03-15-futhark-0.15.1-released.html#size-types https://futhark-lang.org/blog/2020-03-15-futhark-0.15.1-rele... and it seems to be ok for DL https://elsman.com/pdf/fhpnc19.pdf https://elsman.com/pdf/fhpnc19.pdf