Viewing profile — Hirrolot

Thanks for commenting! Yes, automatically predicting whether it's beneficial to specialize a function is not implemented. It's under the section "Further research" to find suitable…

Thanks, I'm glad the explanations were helpful.

Checking for blowup sort of works; for example, this paper [1] suggests exactly this approach. However, I'm not leaning to it due to the following reasons: 1. The approach involves…

The name was inspired by Transcendental Étude No. 4 [1], as correctly suggested by the other comment. [1] https://www.youtube.com/watch?v=MYSFTtYc4P4

I used to define `Maybe` in C as a macro over a tagged union. It really unveiled a number of logic errors at compile-time, but the issue of course is to use this kind of metaprogra…

Is there any reason to use SML instead of OCaml in 2024?

Yes, features that are easy to use will be more often used, while inconvenient features will be less used. I don't quite see any controversy with my comment.

Typing features affect the way we design APIs. Libraries written in languages with type classes and without them can have completely different designs. If nested pattern matching i…

In programming language design, we tend to distinguish between global and local analysis. While type checking and elaboration is an example of global analysis, desugaring is inhere…

I have a star on your repository, so it seems I was looking into it while designing Datatype99 :)

This is more of syntax sugar than power and generality, since nested pattern matching can be mechanically translated into "top-level" matching (e.g., see [1] and [2]). [1] L. Augus…

The technique you describe requires us to predict what data should be partially applied (before actually using it), and what data should be applied and used immediately. In contras…

Currying and partial application are dualities (think of them as function introduction/function elimination), so neither subsumes the other one. However, I agree with the wording o…