I’d almost forgotten about the Alf language and extremely pleased to discover from this post that it has a production-capable successor. Kudos to the author for landing a job with it!
Thanks! I thought at first maybe you meant the Algebraic Logic Functional programming language, a predecessor of the Curry language of which I’m also a fan. But then I saw that you linked to the actual Alf in point. Happy to hear you know about it! I’m planning to write more about my experience with bmg and how to use in in production systems, in due time.