There are many things I like here. I'd like more information on how they intend to integrate sizes into a Hindley-Milner type system (particularly the dynamic

There are many things I like here. I'd like more information on how they intend to integrate sizes into a Hindley-Milner type system (particularly the dynamic sizes), since that is something I am struggling with myself[0]. [0]: https://futhark-lang.org/blog/2019-08-03-towards-size-types.html https://futhark-lang.org/blog/2019-08-03-towards-size-types....