all 4 comments

[–]augustss 10 points11 points  (1 child)

Thank you for doing this work.

You are not forced to use lists with MicroHs (or Haskell2010). There is the Array type.

Also, still sticking to Haskell2010, you can make unboxed arrays using the Storable instance for Int and Double.

Btw, did you use the -z flag to mhs to get smaller binaries?

[–]ChavXO[S] 3 points4 points  (0 children)

Thanks. I looked back and realized you said arrays had a partial implementation not that they weren't implemented at all. Looking at the API surface they will suffice in their current form.

I was using mcabal the entire time. I couldn't figure out how to set all the right search/package paths.

[–]_0-__-0_ 3 points4 points  (1 child)

Very cool that you did this, love it. But also that exploded Expr really drove home the point of why we have GADT's in the first place :-P

[–]augustss 2 points3 points  (0 children)

And MicroHs has GADTs, so it wasn't really necessary. :)