[HN Gopher] Morloc: Foreign languages unified under common funct...
       ___________________________________________________________________
        
       Morloc: Foreign languages unified under common functional type
       system
        
       Author : agentofuser
       Score  : 87 points
       Date   : 2021-07-29 10:34 UTC (12 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | skybrian wrote:
       | From the README it seems that Python, C++, and R are supported.
       | Which others? It seems like the documentation should have the
       | definitive list, and explain what's supported in each language.
        
       | rkangel wrote:
       | 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!
        
         | remexre wrote:
         | 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...
        
       | butterisgood wrote:
       | I'm not sure how this works with functions that have side
       | effects. Perhaps they're banned?
        
       | Y_Y wrote:
       | This idea is amazing, and amazingly ambitious.
       | 
       | I wonder if the morloc language (as distinct from the tool)
       | really has to be a new language, or if it could be represented in
       | Haskell or a more flexible variant like Agda or Idris.
        
       | scythmic_waves wrote:
       | Slightly off topic but the docs are really well formatted.
       | 
       | [0] Link: https://morloc-project.github.io/docs/
       | 
       | [1] Code: https://github.com/morloc-project/docs/
        
         | djoldman wrote:
         | Asciidoc is great.
         | 
         | <meta name="generator" content="Asciidoctor 2.0.12">
        
       | dlahoda wrote:
       | rust and haskell will love each other
        
       | otabdeveloper4 wrote:
       | Please make a Nix derivation so we don't have to think about
       | those horrible installation instructions.
        
         | bradrn wrote:
         | They look pretty simple: unless I'm missing something, it's
         | just 'stack install', plus a couple more commands for each
         | language you want to use with morloc.
        
           | otabdeveloper4 wrote:
           | Devops, in general, is never complicated. Still, it's not
           | something I want to do unless I'm paid for it, and especially
           | not for trying out hobby projects.
        
       | soco wrote:
       | Morloc as in "more lines of code"?
        
         | catern wrote:
         | From the git repo history it looks like the original name was
         | "Loc", for "Language of Composition".
        
       | wydfre wrote:
       | Sounds like someone was finally smart enough to tackle "The Next
       | 700 Libraries"[0] problem.
       | 
       | [0]: https://dl.acm.org/doi/10.1145/1622123.1622147
        
       ___________________________________________________________________
       (page generated 2021-07-29 23:01 UTC)