search

hkust-taco / mlscript

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
https://hkust-taco.github.io/mlscript
MIT License
175 stars 27 forks source link

Annotate RegionDSL to simplify types #184

Closed andongfan closed 1 year ago

andongfan commented 1 year ago

Done! Interestingly I found that on my machine the annotated version run slightly faster than the raw version by about 30ms.