social.noyu.me

ok i'm sold

(https://gleam.run)

it's a language for beam (the erlang vm), that's probably where the name comes from. syntax is clearly heavily inspired by rust and, like rust, it has algebraic data types and pattern matching. unlike rust it has… a continuation-passing operator??? wow (it's called use)

IMPORTANT UPDATE this is what happens when you click on the https://gleam.run/ star

what the hell, the gleam “cheatsheets” claim gleam does not have “logical” && or ||, only “boolean” && and ||. what does that mean? no short-circuiting? it seems like it short-circuits to me. also wait does this language not have bitwise operators??? why

i filed an issue for the documentation thing

anyway gleam seems pretty cute, and this word feels fitting? it's trying to be small-ish and “friendly”. in its syntax, static typing and algebraic datatypes, it's like rust, but otherwise it feels like a simplified haskell: immutable data only, linked lists, no typeclasses

being statically-typed and targeting erlang's vm, beam, is an interesting choice. at first glance it seems appealing but i would be worried that this will cause problems once you're dealing with hot reloading and message passing…

that continuation-passing operator thoughhhh 👀👀👀 https://gleam.run/news/v0.25-introducing-use-expressions/

@hikari oh this looks like just, monad do notation? but without all the laws. Cute approach

@hikari I presume the way it’s more powerful is that each `use` can have a different type, so `use a <- f` is like `do a <- f` and not just `a <- f` so you avoid extra nesting? Otherwise it looks like the same thing.