Gleam 1.0 Is Out! (I think I'm in love...)
Вставка
- Опубліковано 6 чер 2024
- I had no idea what I was in for going into Gleam, but I'm so happy I did. Wow.
GIVE THEM A STAR github.com/gleam-lang/gleam
Hope my nerdiness around Elixir, Erlang, BEAM etc helps contextualize things a bit here. Typesafe, ruby-like, FP focused BEAM compatible code is literally a dream come true.
gleam.run/
00:00 - Intro To Gleam
01:10 - Gleam 1.0
16:24 - Playing With Gleam
Check out my Twitch, Twitter, Discord more at t3.gg
S/O Ph4se0n3 for the awesome edit 🙏 - Наука та технологія
Elixir for gen z lets goooooooooooooooooo
Erlang for boomers, Elixir for millennials, and Gleam for Gen Z?
Iunno aboot that. I've never seen those three groups be this friendly to each other. :P
Rust for Beam lol
@@user72974You missed Gen X
@@BinaryReaderthat's the middle child no one cares abt
@@BinaryReader who?
So stoked about Gleam:
- Simple like go (small surface area)
- Can leverage Elixir and Erlang tools
- Scalable and fault tolerant (BEAM)
- Type-safe and functional
- Familiar to rust users (option/result and pattern matching)
- `use` as a solution to callback hell (instead of async/await function coloring)
Why is it scalable and fault tolerant ?
@@GreatTaiwanLook into Erlang/BEAM
@@GreatTaiwanBEAM is built for that, gleam doesnt do much extra for scalability
The one hesitation I have is a 53 stars postgres beam package. Is there a more proven package?
@@GreatTaiwan I runs the Taiwan local elixir meetup, if you are curious, come and join us and find out. :)
functional programming, algebraic data types, and web frameworks using the elm architecture... this will be fun to try
I used elm once in a production app. Absolutely loved it.
Someone came in 3 years later and replaced it because they could not be bothered to learn it.
Iced is a GUI Rust library that uses the elm architecture
I have tried to stop me for quite a while but today is the day i can't anymore.. Please stop making these faces on your thumbnails, they never match how you actually respond to the video.
I can already see job posts: 11 years of experience in this language for junior roles
Lmao
That wouldn’t be too crazy as I assume Erlang experience translates.
Tech leads speed running the making of insane interview questions for Gleam
I literally said "I think this is my dream language" when I first saw gleam! I'm glad it's resonating with other people too!
Functional language with simple C-style syntax, running on BEAM, statically typed, and cool mascot.
Literally cant ask more than that!
louis, the gleam creator, is also extremely awesome and runs a great discord server
awesome human
Lol, i literally started trying gleam today and im loving it, now theo uploads a video about it. Life is good
Same! It's awesome 😍
I've been writing a lot of go lately but this feels like what i was actually looking for
Two counters reset in 24h, jeez
lmfao
Mind saying what the counters are counting, for someone who isn't in on the joke?
@@nmotschidontwannagivemyrea8932 “X days since a new JS framework” and “X days since a new programming language”
@@t3dotgg Lol ty
What's the new JS framework? Tanstack Start? It was a few days ago. There's a new one?
Amazing, takes all the features I love of Rust and simplifies it by trading off the fine grained memory layout / control which is fine for many software use cases. Literally been thinking of creating a language like this, I will definitively try and contribute to this! Nice video!
The language looks very promising! It really shows that there was a lot of thought put into the structure and has learned from what worked best and did not work from the other programming languages such as Elixir, JavaScript, Go, Python, etc.
Really fascinating language, I'm all for ML like languages that place a decent emphasis on static type-safe systems. I wish more languages / tools existed like this for building highly dynamic client-side applications!
That was a nice video, very well meaning and positive. Love it!
No function overloading is most likely a compromise for good type inference
yeah it's this, and as an elixir guy idk if i can manage. i *love* overloading arguments like that, i fucking *love* my left justification, i *hate* nesting
Yeah, compromise between having a simple language and full HM inference. Type classes are a big jump in complexity
Yup that’s it
Good type inference _and_ function captures.
Function overloading makes alot of more valuable features much harder to implement
@@lpil down the road - allow the user to decide - method overloading is super convenient - if they want inference in their callbacks etc, then they won't overload. I do realize that overloading usually a burden to implement, so save it for later, but it's convenient for users
Woohoo! I'm an Erlang programmer and I love seeing new BEAM languages. Been following Gleam since the first announcements and I'm excited for 1.0.0
Ahh thank you Theo!!!
I haven't read a lot of docs, but this is, by far, the most cleverly designed one I've read so far.
I saw your video on the vue having vapor, subscribed to your channel now
Gleam looks pretty awesome! It's honestly really funny to see you go through the playground and be super excited about all these language features like type inference, blocks, and pattern matching. I'm already used to all these features from Rust! Gleam seems very similar to Rust overall but the garbage collection and easy JS transpile are finessed as fuck.
I think "rust but trade a bit of performance for some ease of use" is something a lot of people want. Arguably it's why Go is so popular but go is lacking some niceties from Rust. Rust's type system and error handling are amazing but I don't want to think about lifetimes, and its async situation is tricky. Worth it if you need the Perf, but most of the time I don't
@@SeanLazerI agree that it's desirable to have all these great things in a GC language! I do write in Rust and I usually never have to think about lifetimes. 😄 That mostly comes up if you're writing libraries for others to use, especially if your library is full of generics or is highly concurrent.
Me, I'm just writing application code. I use Rust because its type system makes modeling logical problems so much easier. Sometimes I'm working on a problem that has to iterate over hundreds of thousands of files and pull data out of them, or reformat them, etc. and I can use as much .clone() etc as I want!
@@SeanLazer tricky is an understatement. it's a mess. I use rest but I think people tend to pretend it's performance is worth all it's complexity. you have to remember that to even get that performance really* you have to write some complex rust.
rust compile time is also quite horrendous.
I initially like rust but honestly it's development time is quite stagnating
Discord was also built on the Erlang VM, and last time I checked, they were handling a billion (literally) daily messages.
this is such a great project
Gotta agree, this looks really neat and has me looking over the fence...
You and prime spilling the beans smh. Now I gotta fight with everyone else for the gleam jobs 😂
Theo face when he saw the pipes, I feel ya brother.
Who cares about type safety? The logo is nice, I'M IN
Doesn't Mojo also allow emojis in variables? Or is it just the file extention that is the fire emoji?
Super pumped to get back into Gleam now it’s hit 1.0. Been following it for years. It’s been a long road, and Louis and the team has iterated and tried out a lot of things, threw out a bunch of stuff that didn’t fit quite right, and ended up in a really nice sweet spot. Elixir is Erlang but better. Gleam could well be Elixir but better.
I'm just finding out what it is,
i never knew they've been working on it
It does not seem to be better than Elixir. Its just different.
Fly is a really really awesome project, it needs more love tbh
The thing I am most curious about is what would happen to Gleam once Elixir's static types system is ready for production. The biggest thing about Gleam is its static typing. Other than that, the language is either very similar to Elixir, or worse in some cases (no function overloading). I guess being able to run on Javascript runtimes might be a benefit, but at that point aren't you better off just using typescript instead?
In systems where you have elixir/gleam on the backend being able to compile to TS/JS is useful as you dont have to go through hoops to call your function in a different lang
@@dandogamer My question is, why would you ever want to compile to JS in the first place? If it is server side, you might as well keep it in the BEAM world. If it is frontend based, Elixir (Phoenix actually) already allows you to just write JS/TS directly.
@@VoidstroyerThe same reason everything is JS nowadays: you don't have to learn a different language, you can reuse type definitions, validation between back/frontend
Also, another thing they have is syntax (i'm not sure about semantics), i'd say it's familiar to Rust/Zig/Go/JS devs, and maybe even C/C++/Java, whereas elixir is similar to Ruby, and erlang is similar to itself.
To existing erlang/elixir devs that probably means nothing, but in a world where people don't even want to leave JS for another C-like lang, familiarity is a good way to attract people to the ecosystem.
For one, I'll be trying gleam in some toy projects or AoC. I've tried elixir, but the ruby syntax which i'm not familiar with is a deterrent. And erlang is erlang.
@@araozu I understand the argument of "keeping it in the same language" but that is also one of the biggest problems with web dev nowadays. People using JS for everything. Just because you can, doesn't mean you should. To be honest, if you are already really adept at writing JS, learning a different backend language such as Go (or any OOP language) is so trivial. At this point it is just stuborness of JS devs to not want to use a different language for the backend. I didn't list elixir because I did have some issues getting used to Functional programming. But given some time it is really not an issue. I like Elixir & Phoenix because it allows you to use most of Elixir for your webapp, and if you need heavy client side stuff you can just write JS directly. It enables you to use "the right tool for the job". And since I don't see JS devs leaving it all behind for Gleam, I also don't see Gleam getting that much adoption. But hey, I could be completely wrong. But I do believe that once Elixir gets its static type system ready, it is definitely going to negatively impact Gleam.
listening :) - unicode support allows 🔥in code in js, ruby etc - method chaining of map reduce and filter in js is almost pipes :)
Haskell also supports unicode in variable names, but I think the parser might treat emoji as operators unless you parenthesize them.
that literately looks like the solidjs tutorial
finally got it to work on my intel mac with this version 1. I love the syntax and especially the typing.
Character is too cute to ignore
I too didn't like implicit returns when I first saw then in Ruby many moons ago. Wasn't until Rust that their value really clicked for me, and all the elegant expression block syntax they enable.
Just got to the strings part of the tutorial, and I'm not too stoked at how an actual newline in the code translates to a "
" in the string. Sometimes I add whitespace and newlines to make the code cleaner, but I always expect newlines in the string to be explicit with
or
or something similar.
I’ve gotten curious at some point and wrote a typesafe pipeline library for TS. Turns out, it doesn’t solve much, as unlike Elixir, the whole stdlib isn’t designed in a way that puts first argument first, meaning, even if you go crazy with syntax sugar, it still doesnmt feel right and looks messy. Add async/await to it and its impossible to debug and stack traces are useless 😢
Effect-ts
I am not sure about this one. What is its strength? Seems like there are better languages around for various use cases, that do it better in those situations (eg Rust) The sales pitch sounds nice but overall it still is somewhat in an uncanny valley. Doesn’t even have OTP (and iirc won’t ever fully get there?)
I would rather use Elixir and NIFs.
I'm happy too. My favourite language before I learnt about Erlang/Elixir was Prolog 😂
lol the whole lsp was released as a binary, Theo. It’s been a neovim package since before v1.
Omg you always on hype. When you do your job?
i believe mojo also has emoji support!
I'm such a huge fan of elixir, and gleam feels like elixir 2.0 super excited about it
I think it is reasonable to prefer the implicit returns for the block expressions. So I could understand if explicit return wasn't considered in favor of implicit, so there is only one way to return values.🤔
C/C++ can use Emojis as Variable names if you use the right encoding or punycode with the preprocessor
I sometimes miss the “do { }” syntax for variable assignments in JS…I probably have some code still running it via Babel somewhere.
go still better with a broader use case but this has a cooler type system and js runtime support
What can you build with Gleam?
20:01 Technically, Rust allows using emojis as variable names as well but you'll be getting warnings.
The language mascot sold me lol
Theo, I appreciate your video. I remember I gave Prisma a try because of one of your videos. But you get too excited sometimes, I don't want to make the same Prisma mistake with Gleam, by jumping on it. I'll wait a little, just like I should have done with Prisma.
Prisma is fine, better than anything that came before it, and easy to move off of with tools like Drizzle and Kysely. The mindset it teaches is the value. I'm sorry if you feel burned by adopting it early since we've collectively "moved away".
There's a significant gap between my excitement for Gleam and my production use and endorsement of Prisma. Prisma was a tool I built multiple businesses with, and have had a great experience working with at scale.
Gleam is a brand new language I'm excited about. I'm not endorsing it. I'm not telling people to go rewrite their stuff in it. I'm just excited. If you can't see the difference between my excitement and my endorsements, might be best to avoid my videos for awhile.
@@t3dotgg Thank you for responding to my comment. Based on your response, I wish you hadn't taken it like an attack on what you do. I apologize if my comment came off like a complaint because it wasn't. To be honest with you, thanks to the issues I had with Prisma, I became a drizzle advocate and a huge contributor to the codebase. Before I used prisma I didn't use any "type-safe" library, just mysql2, node-pg and the like. I admire you as a developer and tend to pay attention to your takes because they make me think in a possibly different way. Hopefully next time I comment on one of your videos I'll express myself in a more positive way.
@@AngelEduardoLopezZambranoid just stop watching his videos 😂
readable erlang? nooice
I predict that pretty soon we'll see new programming languages and libraries released alongside LLM AIs to help developers convert their existing code bases and reduce onboarding
What you think of Roc lang?
This is a cool project but honestly I don't think it's at the point where I would want to abandon elixir for it. It might be useful to work with both languages, but I've been doing a lot of rust plus elixir work recently (they pair so well together), and I just don't see where gleam fits into all of that. It's definitely a cool language and it will bring more people into the ecosystem which is nice, I plan to dive into it to see what the 1.0 releases really like. Probably the most contentious issue I have with the language is the fact that OTP is not included automatically, and I have to wonder if that has something to do with the multiple back ends that they provide.
That and I also wish that it had modular level pattern matching/function overloading like erlang or elixir. I knew that they wouldn't have it because they weren't including the argument amount for each function, which is kind of important if you going to do function overloading in that way. It's easily run my favorite features of elixir / erlang.
Edit: I spent some time writing a distributed cache system in gleam. It's the kind of project that is somewhat trivial in elixir if you leverage otp. I found that gleam had a lot of really rough edges especially when it came to interop. The ETS library is deprecated, it's from 0.23 or something of the language and so I had to write my own wrappers. It was relatively easy to do this but I noticed that it was very easy to ignore the static type system by using generics and dynamic types (makes sense given that elixir / erlang are dynamic). One of the reasons why I really like using rust with elixir is because of rust's result and option monads, they make it easy to do error handling on the elixir side by simply passing atoms back to the system which minimizes the downside of using NIFs. On the other hand, when you are wrapping elixir with gleam, because gleam is the language that has results, you kind of have to work around the potential to get a nil or error atom. It definitely works but it's not as intuitive.
I also really don't like the actor abstraction, it's just not as intuitive as genserver. I basically ended up writing my own wrapper around genserver. It's definitely rough to try to implement Genserver without function overloading but I was able to make my own pattern within the genserver behavior by passing calls, cast, and infos off to an elixir function. I was able to build a basic supervision tree and implement most of the stuff that I wanted to create, but it did take me a lot more time than it would have taken in elixir because I had to write all of these wrappers. That being said, if the community starts to build more libraries, I don't think this should be as much of a problem in the future. It just kind of sucks that a lot of the OTP functionality hasn't been exposed yet and so you kind of have to go and get it yourself if you want it. It also really doesn't play well with static typing, which is probably why they are trying to build a set-based type system in elixir.
Ruby also allows emoji variables!
Raku also supports unicode variable names.
BTW, as a brit, £ is not a euro, it's a pound. € is a euro. 👍
semi-colon for returns would be hilarious
will this be friendly to newer programmers? i only know python but am looking to branch out and am definitely interested in this
is your full name Brendan Remmy
Yes, that is one of the goals. The standard library hasn't reached version 1.0 yet, so I would maybe wait until that happens
It's a friendly language and the people are a lovely bunch on the discord :)
It's a functional language, so some things might throw you for a loop at first (like there not being loops or throwing exceptions), but it's probably the most approachable form of the paradigm right now
Once you learn functional programming (FP) through Gleam, you'll be able to transfer that to other functional languages, too
Theo, aka the JS hype guy
@6:33 - I believe that python was the first that pushed for homogeneous code formatting. I mean, indentation is part of the syntax. And there is also PEP 8 since 2001
I think Mojo also allows emojis as variable names
Js can do multithreading when using the event loop
Swift mentioned!
I'm so glad you played with it. Prime failed. You succeeded.
Been watching gleam, got confused sometimes with the slots _ as it's a small thing that changes the behaviour quite a lot
20:00 PHP also allows emoji variables, to add to your list 😛
Hype
Finally a Type Safe Elixir!!! I am 100% on board. Sign me up!
The thing about pipes. It's very awkward to type "|>" on a non ANSI-keyboard layout. Programming languages are definitely made for American and British layouts, but the rest of the world already have to wrangle semicolon, and curly brackets being hidden behind modifier keys.
I feel that way about certain characters too, and I've got a US keyboard. Here we call () parentheses or parens, {} braces and [] brackets. I prefer brackets for most things because I don't have to hit shift to type them, but I still use braces often in writing code because it just makes sense. However, I did toy with the idea of an all bracket version of LISP. It looked weird, but I think people could get used to it.
Also is really repetitive
str
|> String.reverse
|> String.split
Way better just
str.reverse.split 🤷🏻♂️
I bought a keyboard with ansi layout 3 years ago and put the lost keys (ä,ü,ö,ß) on another layer that I trigger with caps (press -> esc, hold -> layer).
Works beautifully.
I use keyd on linux and on windows you can use their ancient keyboard layout creator to use altGr key instead of capslock.
If I were to use Gleam I would just put |> on that layer and it would become perfectly ergonomic.
Still need to look into ZMK/QMK to see if it's possible to have everything on the keyboard itself. I think it pays to invest a bit of time or money into ones tools.
Awesome!!!
I’ll check it out I hated elixir but let’s see 😅
Me too, but just seems like elixir without ruby influence added some rust syntax
i am giving it a try
Interesting!
@t3dotgg its not implicit returns :) you’ve forgotten that elixir functions always have only a single return statement, so you can’t put them anywhere else - meaning thay are always explicit
wait is this like an erlang framework?
Sounds like you'd definitely like Julia. It can use emojis as variables, has block context scoping, implicit _or_ explicit returns, _and_ function overloding is the whole basis of the langauge. Also compiles down to LLVM, so it is as fast at Rust.
High Level rust, lets gooooooooo!!!!!!
this is nothing close to the binary abomination that is rust lol.
so a bad rust!
@@trejohnson7677 what is a "binary abomination" supposed to be?
@@potatomaaan1757 run xxd or some shit guy.
Pipes has made its way to js through EffectTS library.
php allows for emojis variables
no emojis for variable names, thats good.
You can use emojis as variable names in C.
noo my overloads!
Nim supports emojis as variable names as well
Great to know, Your content has been so helpful,
As far as this Glean, I like it, it’s sweet, at the end of the day is this just like another Typescript ?
I’m coming up with something soon :)
I like that its pink
Even though it's still in private beta, Jai is still my dream/favorite language. It was initially made for making video games, so it's made to be performant, both in the code being fast, and the compiler being fast, but it's also useful for a lot of other use cases to, as it's also a replacement for C/C++
Se you haven't tried Kotlin
The main reason to use TS/JS is having the ability to not switch languages if you write frontend / complex web apps.
I do not see this advantage challanged, where are many good backend languages out where -> but they are all not good enough if you want to do frontend.
Kotlin
You can frontend in Rust :P
wow
I thought you just switched back to Elixir?? Prime already did a video on Gleam.
Gleam is a very exciting language for BEAM, but just keep in mind that OTP is the true engine behind what makes coding on BEAM unique, and the Gleam standard library currently wraps very little of OTP. This is not a criticism, I'm sure it will be easier to make progress on this with a stable language, and the language author loves the runtime.
It's really funny to me just how much Theo hates Rust
Julia does support emojis as variable names.
It's so funny how Theo keeps praising features that are also part of Rust, while also hating on Rust 😅
Obligatory nitpick : "75k Euros" while looking at British Pounds (and no it didn't change with brexit)
PHP lets you use emojis everywhere, too
You can do blocks in javascript