Hacker News new | ask | show | jobs
by rwmj 1116 days ago
Can you expand a bit on why / which bits of Scala compilation this is used for?
1 comments
hackandthink 1115 days ago
It is used for pattern matching.

I don't know anything about the Scala compiler. A few years ago I needed a CNF Converter and I ripped their Logic Module.

(performant CNF Converter are harder to find than SAT Solver)

link
rwmj 1114 days ago
Nice idea! The pattern matching compiler/optimizer in OCaml doesn't do this. It's implemented using this algorithm which I've attempted to understand a few times but is a bit beyond me:

Fabrice Le Fessant, Luc Maranget, Optimizing Pattern-Matching ICFP'2001 http://pauillac.inria.fr/~maranget/papers/opat/

link