remexre

[Counterexamples of Type Classes](https://blog.functorial.com/posts/2015-12-06-Counterexamples.html) gives the following examples: > ## An Apply which is not an Applicative > > The constant functor `data Const k a = Const k` can...

well, my answer to that one is deriving strategies: you should only have to write the applicative and monad instances, and the others can be derived with the helpers in...

sure; I'd like to go as far as ApplicativeDo, because Validated would be kinda nice... though, maybe equation-level case statements would serve the same purpose (of not having `case`s in...

Ah, yeah, right, had a "phase violation" in my head. Perils of having been writing Lisp for the last week :)

Oh, wow; just tried this on ableC; (after using the native-image agent) it "just works" with no code changes! (this is an unextended compiler) ``` $ time java -Xss6M -jar...

> And this is without removing the autocopy attributes in ableC? Yep; looks like the agent is good enough to resolve all that reflection. > I would be interested to...

ableC-prolog didn't work with a few test cases; a proper solution there might be a late-in-compile phase to create [a `reflect-config.json` file](https://www.graalvm.org/reference-manual/native-image/Reflection/) ([example](https://p.remexre.xyz/Xk4Icm8PoAg=)). I think this would have to be...

Okay, looks like problem last time I tried this on `silver` was that I screwed up the scripts; I fixed them now. Below results are on `silo`, which has approximately...

The plot thickens; I rebuilt it with `--initialize-at-build-time` and got ``` 00:00:00 Congrats, you're using Silver Native! 00:00:00 Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: Index 34 out of bounds for length...

Increased thickening continues, Chris Seaton pointed out on the GraalVM Slack that SubstrateVM has a worse GC than the standard JVM; passing `-H:InitialCollectionPolicy='com.oracle.svm.core.genscavenge.CollectionPolicy$NeverCollect'` to disable garbage collection sped up the...