Render Evaluation Comments in the Documentation

[Hyalunar]

Evaluation Comments pave the way for easily embeddable example usages of exported symbols.

Haddock already does this. I think it's neat and really valuable for learners.

[athas]

This is a good idea. That said, there are some Futhark-specific wrinkles to consider, namely that many Futhark libraries are often provided as un-instantiated parameterised modules, rather than as immediately applicable functions.

[Hyalunar]

This is a good idea. That said, there are some Futhark-specific wrinkles to consider, namely that many Futhark libraries are often provided as un-instantiated parameterised modules, rather than as immediately applicable functions.

I don't know what we could do about this/to support this, the authors of base had to choose example instances for Applicative. It will be very much the same, won't it?

[athas]

I don't know what we could do about this/to support this, the authors of base had to choose example instances for Applicative. It will be very much the same, won't it?

It is perhaps not a deep conceptual issue, but whereas in Haskell the typeclass instantiation is implicit, Futhark's module instantiation is explicit. It would be tedious for every example to begin with a bunch of module instantiations - it should be shown once, somewhere, and made explicit that the examples are in relation to those instantiations.