Morloc: Foreign languages unified under common functional type system

Re:Morloc: Foreign languages unified under common functional... by rkangel on Thursday July 29, 2021 @10:07AM (#27996711)

This is fine if all you care about is functions. Very little in Python is just functions though, and the same is true in C++. The issue with FFI is always adapting the different concepts from one language to another. I can't see how (or if they try) to unify other language's OOP with a functional language over the top.

I like the idea though - one functional language to rule them all is a great dream!

[ Parent | on HN ]

Re:Morloc: Foreign languages unified under common functional... by remexre on Thursday July 29, 2021 @11:10AM (#27997458)

Yeah, I've thought a bunch about polyglot environments and the design I keep coming back to is a very generic object representation (almost definitely with a metaobject protocol), of which functions are just one kind of object. GraalVM does this with https://www.graalvm.org/truffle/javadoc/org/graalvm/polyglot...

[ Parent | on HN ]

Re:Morloc: Foreign languages unified under common functional... by arendsee on Friday July 30, 2021 @04:11AM (#28005656)

As the morloc developer, I can tell you OOP support is in the pipeline (and there is some support now).

A proper reply to this comment would fill a very long blog post, and I'm currently on vacation, so I'll have to get back to you later.

[ Parent | on HN ]

Re:Morloc: Foreign languages unified under common functional... by rkangel on Friday July 30, 2021 @05:49AM (#28006248)

It's cool to know that there are plans for it. I look forward to hearing about them when you get there.

Enjoy your vacation!

[ Parent | on HN ]