[HN Gopher] Jolie, the service-oriented programming language
       ___________________________________________________________________
        
       Jolie, the service-oriented programming language
        
       Author : todsacerdoti
       Score  : 31 points
       Date   : 2024-05-07 21:07 UTC (1 hours ago)
        
 (HTM) web link (www.jolie-lang.org)
 (TXT) w3m dump (www.jolie-lang.org)
        
       | dlahoda wrote:
       | has refinement types. these exist in fstar lang and
       | liquidhaskell.
       | 
       | dependant types are not refinement [0]
       | 
       | ts and rust have ideas to have them[1], but not so officially
       | 
       | [0]https://www.reddit.com/r/dependent_types/comments/ay7d86/wha..
       | .
       | 
       | [1]https://en.m.wikipedia.org/wiki/Refinement_type
        
       | ChicagoDave wrote:
       | Definitely worth a look.
        
       | phaedryx wrote:
       | I looked it up because I was curious. Jolie stands for Java
       | Orchestration Language Interpreter Engine.
        
         | greenthrow wrote:
         | Seems like a backronym to me.
        
       | karmakaze wrote:
       | Looking at a Database example[0] doesn't make me want to write
       | this more than using any other framework.
       | 
       | [0] https://docs.jolie-lang.org/v1.11.x/language-tools-and-
       | stand...
        
       ___________________________________________________________________
       (page generated 2024-05-07 23:00 UTC)