5 ms·

Matching of patterns, with only a single occurrence allowed for each variable, is fairly popular in languages designed in the last two decades, isn’t it? A lot

Matching of patterns, with only a single occurrence allowed for each variable, is fairly popular in languages designed in the last two decades, isn’t it? A lot of those have or at least borrow from ML heritage, and that of course places a big emphasis on algebraic types and pattern matching. Full-blown unification remains niche, that’s true, but it’s just a fairly heavyweight feature, and I don’t really know how you’d integrate it without turning your language into (a superset of) Prolog.

iamwil 2y ago
Simon Peyton Jones (of Haskell) is working on Verse, a functional relational programming language, that merges the ideas of both functional and logical programming into one. It’s being done to facilitate Fortnite metaverse, as he’s doing this work at Epic. https://youtu.be/OJv8rFap0Nw?si=OmBT9CBJIxdJE1Jv https://youtu.be/OJv8rFap0Nw?si=OmBT9CBJIxdJE1Jv
- rscho 2y ago
  Functional logic programming much before Verse https://mercurylang.org/ https://mercurylang.org/
  - SigmundA 2y ago
    Which interestingly enough is used to make PrinceXML [1] one of the only "browsers" to fully support CSS print media. 1. https://www.princexml.com https://www.princexml.com