Jolie, the service-oriented programming language

karmakaze wrote: post #6

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...

Maybe it's just a bad example, it doesn't look much different than what I can do in C#.

Re: Jolie, the service-oriented programming language

#8

Post by all2 » Tue, May 07, 2024, 11:21 PM UTC

naasking wrote: post #7

karmakaze wrote: post #6

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...

Maybe it's just a bad example, it doesn't look much different than what I can do in C#.

Maybe we're just fish in water and don't know any different? GP, is there a better way?

Re: Jolie, the service-oriented programming language

#9

Post by tialaramex » Tue, May 07, 2024, 11:37 PM UTC

dlahoda wrote: post #2

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

Also see WUFFS for a special purpose language which leans really hard on refinement to deliver safety with socks-blown-off performance in a specific niche.

Re: Jolie, the service-oriented programming language

#10

Post by stevenae » Tue, May 07, 2024, 11:56 PM UTC

greenthrow wrote: post #5

phaedryx wrote: post #4

I looked it up because I was curious. Jolie stands for Java Orchestration Language Interpreter Engine.

Seems like a backronym to me.

For those who don't know, jolie means pretty in french, and is a common woman's name.