Gleam doesn't compile to Erlang source anymore

(gleam.run)

112 points | by ingve 5 hours ago

12 comments

  • MichaelNolan 1 minute ago
    Gleam is such a beautiful language. I wish I had the opportunity to use it more. If it could compile (transpile) to a native target like rust or go, it would be truly perfect.
  • zachrip 2 hours 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.
  • 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

  • impoppy 17 minutes ago
    This raises an obvious question. Why Gleam team weren't doing that in the first place? Obviously they didn't have direct Gleam AST -> Erlang source pipeline, they must have had to build some their own custom Erlang AST representation that they then translated into the source code.
  • __jonas 36 minutes ago
    Pretty exciting change that I didn’t see coming —- I wonder if someone will end up implementing an integration with the Whatsapp Erlang debugger
  • jazzypants 20 minutes ago
    Let me guess: still no string interpolation in a language ostensibly intended for building user interfaces?
    • dematz 12 minutes ago
      gleam is very much a language of "no" which if you like that, cool, if not, also cool :)
  • lexx 1 hour ago
    Amazing news! Thank you!
  • vortegne 2 hours ago
    Congratulations to the team! I love Gleam and am genuinely having fun every time I write Gleam code.
  • quietFalcon 2 hours ago
    [flagged]
  • phcreery 1 hour ago
    The misuse of commas is distracting; at least it’s better than reading ai blogs.
    • gamache 1 hour ago
      Your semicolon would be more effective as a comma followed by "but". HTH
    • dominikh 1 hour ago
      Which commas are misplaced?
      • Joker_vD 52 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".
        • shakna 18 minutes ago
          Apart from in Australian [0] and Canadian [1] English, where it is generally optional, but used where it can increase clarity or meter.

          [0] Australian Government Publishing Service's Style Manual for Authors, Editors and Printers, ISBN: 978 0 7016 3648 7

          [1] The Canadian style: a guide to writing and editing https://archive.org/details/canadianstylegui0000unse

        • pipe01 32 minutes ago
          As a non-native English speaker I'm always so self conscious when using commas, it feels like I'm always using either too many or too few
          • steele 8 minutes ago
            You're doing fine. English grammar pedants speak infrequently. Mostly due to the disinterest of the listener.
          • tenuousemphasis 13 minutes ago
            As a native English speaker, same.
        • sarchertech 6 minutes ago
          You do need a comma before a conjunction if it connects two independent clauses.
  • nwalkr 1 hour 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.