submitted 1 week ago by popcar2 to c/programming
top 7 comments
sorted by: hot top controversial new old
[-] [email protected] 25 points 1 week ago* (last edited 1 week ago)

I mean that's pretty neat, but I'm reminded of that time a MongoDB user found an SQL-based database and wrote a lengthy article about all of the revolutionary features. Feels the same every time a Javascript dev discovers a programming language with actual typing.

Seems cool, but also.. normal? That's how languages should all work?

[-] [email protected] 6 points 1 week ago* (last edited 1 week ago)

That's how languages should all work?

While I agree, should be is not is. Also, Javascript is still a widely used and favored language, despite it's flaws.

Sometimes people need to be convinced that there's something better, hence all the articles of "Javascript devs discovering actual typing", as you mentioned. Although it seems like the author already knew there's better (I see Typescript and Rust on their Github), that they were just sharing Gleam.

As for specifically Gleam, I will say it's a very nice language. Very simple to understand (with one minor exception: I personally find the use keyword is a bit odd), strong typing, no collections of mysterious symbols (cough, Haskell), no metaprogramming, no lifetimes, no borrowing, no unclear polymorphism, no pointers, no nonsense. I like it, and am excited to see it grow

[-] [email protected] 1 points 1 week ago

I didn't check this out but I thought BEAM was Erlang?

[-] [email protected] 5 points 1 week ago

BEAM is the VM that Erlang runs on. It also supports Elixir and some other lesser known languages

[-] tatterdemalion 5 points 1 week ago* (last edited 1 week ago)

Gleam is cool. I wrote some services with it to see if I wanted to use it for more projects. It seemed like a good option because it would be easy to teach.

Things I like:

  • fast build times (I only tested small apps though, under 2000 LOC)
  • strong static types
  • runs on the BEAM
  • easy to learn
  • pattern matching
  • immutable + structural sharing
  • currying (with parameter holes)

Things I don't like:

  • no re-exports
  • it's possible to have name collisions between packages; authors have a gentleman's agreement to always create a top-level module with the same name as the package
  • some standard library APIs seem missing or immature (it's still pre-1.0)
  • it can be hard to get good performance out of idiomatic code for specific tasks (see immutability)
  • no format strings; best you can do is "Hello, " <> name. It starts to get cumbersome
  • parsing/serialization is all quite manual boilerplate; there's nothing quite like serde
  • no field/argument punning
  • no method syntax; you just have to scan the docs to figure out what functions can be used with a given type
  • you can't define the same variant name twice in the same module; I believe this is a limitation in how the types are translated to Erlang records
  • you can't call functions in pattern matching if guards
  • you can't have dependency cycles between modules in the same package
  • hard to write FFI correctly; you lose all the comfort of types
[-] [email protected] 5 points 1 week ago

Sounds cool. The types like Haskell's data types or Rust's enums compared with proper pattern matching are pretty much a requirement for a good language imo. And the process/message passing is interesting.

[-] [email protected] 1 points 1 week ago

NGL, this looks kinda terrible

this post was submitted on 11 Jun 2024
50 points (98.1% liked)


16122 readers
330 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!



  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos


Follow the wormhole through a path of communities [email protected]

founded 1 year ago