4 ms·

There's Austral https://austral-lang.org/ https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial

by renox 1y ago

There's Austral https://austral-lang.org/ https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial about linear types.

Twey 1y ago
This is great, really accessible! I feel like for me the par operation ⅋ is the thing I struggled with getting intuition for the most, and I think that I am (and everyone else is!) still kind of figuring out the consequences of it, and a lot of language designers neglect it.
- marvinborner 1y ago
  Do you know about the Par language? They try to integrate Par into a usable syntax https://github.com/faiface/par-lang https://github.com/faiface/par-lang
  - Twey 1y ago
    I didn't know about this! That's brilliant, thank you for the pointer! Since the death of LtU I don't really know where to learn about interesting new PL work. I try to occasionally read the POPL submissions but there's nothing like HN for PL.
    - marvinborner 1y ago
      Reddit's r/programminglanguages is still quite active. Otherwise most of the community switched to Discord, it seems. (I found Par by hopping the Discord servers of "Programming Language Development"->HOC->Vine->Par)
      - Twey 1y ago
        I've been recommended /r/pl a lot but it's not quite the same vibe as LtU. I think LtU was very carefully curated professional research with commentary, while /r/pl has a lot more amateurs asking questions about their hobby languages — which is great, I'm happy that people are experimenting with programming languages, but it does make it hard to use as a way to keep up with the latest big results for someone who doesn't necessarily have the time to follow everything that's going on on the subreddit. Maybe the Discord is the way to go. The user interface confuses the heck out of me, though. Appreciate the recommendation!
explodes 1y ago
Wow, this really hits the nail on the head for me. I've been pondering about how to make systems that can only be in well-defined states, modified by well-defined state transitions. This looks like one giant step forward in that direction. I'll be enthusiastically playing around with Austral, all while hoping these concepts can become standardised, and maybe retrofitted to popular tech by way of design patterns or language features, in the future.

by renox 1y ago

There's Austral https://austral-lang.org/ https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial about linear types.

Twey 1y ago

This is great, really accessible! I feel like for me the par operation ⅋ is the thing I struggled with getting intuition for the most, and I think that I am (and everyone else is!) still kind of figuring out the consequences of it, and a lot of language designers neglect it.

marvinborner 1y ago
Do you know about the Par language? They try to integrate Par into a usable syntax https://github.com/faiface/par-lang https://github.com/faiface/par-lang
- Twey 1y ago
  I didn't know about this! That's brilliant, thank you for the pointer! Since the death of LtU I don't really know where to learn about interesting new PL work. I try to occasionally read the POPL submissions but there's nothing like HN for PL.
  - marvinborner 1y ago
    Reddit's r/programminglanguages is still quite active. Otherwise most of the community switched to Discord, it seems. (I found Par by hopping the Discord servers of "Programming Language Development"->HOC->Vine->Par)
    - Twey 1y ago
      I've been recommended /r/pl a lot but it's not quite the same vibe as LtU. I think LtU was very carefully curated professional research with commentary, while /r/pl has a lot more amateurs asking questions about their hobby languages — which is great, I'm happy that people are experimenting with programming languages, but it does make it hard to use as a way to keep up with the latest big results for someone who doesn't necessarily have the time to follow everything that's going on on the subreddit. Maybe the Discord is the way to go. The user interface confuses the heck out of me, though. Appreciate the recommendation!

explodes 1y ago

Wow, this really hits the nail on the head for me. I've been pondering about how to make systems that can only be in well-defined states, modified by well-defined state transitions. This looks like one giant step forward in that direction. I'll be enthusiastically playing around with Austral, all while hoping these concepts can become standardised, and maybe retrofitted to popular tech by way of design patterns or language features, in the future.