Gleam doesn't compile to Erlang source anymore

(gleam.run)

86 points | by ingve 4 hours ago

8 comments

  • zachrip 1 hour ago
    Shout out to Giacomo's twitch streams. He has taught me about some features of Gleam, Rust, and on top of that he's just a very chill person. He takes time away from his focus to answer questions politely and without judgement. There are dozens of programming streams where the streamer forgets to leave their ego at the door and he is not one of them. I highly recommend following it.
    • cod1r 33 minutes ago
      yea he is super nice.
    • speerer 1 hour ago
      ...And he animates his presentations by hand-drawing each frame transition, which speaks volumes.
  • 0x69420 1 hour ago
    to those curious, erlang abstract form[1] is the AST representation used by the erlang compiler/etc. per [1], you can see that it's canonically made of erlang terms, and you have easy access to routines for manipulating this representation from the standard library; it's really comfy when you need it! it's also the target elixir compiles down to, and the representation manipulated by parse transforms, which in base erlang are the way syntactic sugar (notably qlc[2] and some of the more cutesy pattern matches in merl[3] (which, in turn, manipulates the very same representation to do its job. very meta!)) is done.

    most BEAM languages actually settle on erlang abstract format. you'd think core erlang would be more common since it feels more like a traditional functional IR, but basically only LFE does this, because it's a moving target without any particular stability guarantees from release to release.

    1: https://www.erlang.org/doc/apps/stdlib/erl_parse.html#t:abst...

    2: https://www.erlang.org/doc/apps/stdlib/qlc.html#q/2

    3: https://www.erlang.org/doc/apps/syntax_tools/merl.html

  • lexx 37 minutes ago
    Amazing news! Thank you!
  • vortegne 1 hour ago
    Congratulations to the team! I love Gleam and am genuinely having fun every time I write Gleam code.
  • quietFalcon 1 hour ago
    [flagged]
  • phcreery 1 hour ago
    The misuse of commas is distracting; at least it’s better than reading ai blogs.
    • gamache 17 minutes ago
      Your semicolon would be more effective as a comma followed by "but". HTH
    • dominikh 33 minutes ago
      Which commas are misplaced?
      • Joker_vD 10 minutes ago
        Before the "and", "but", "so", "while", etc. — while most European languages, indeed, (usually) require commas before conjunctions, English is following a somewhat reversed convention. Well, at least the author remembered that they need to omit a comma before "that".
  • nwalkr 34 minutes ago
    idk, i'm not sure about wording. erlang abstract form still is erlang source, it's ast of erlang source text. one call to erl_prettypr:format and text source is back. word 'transpiler' is still there and there is nothing "pejorative" in it, it's transpilers all the way down everywhere.

    but talking pejorative, i was surprised. my opinion of gleam was already pretty low, but i did not expect to see post-1.0 compiler emitting text erlang source. maybe it's not that good of idea to implement compiler in language completely foreign to target ecosystem.