The Dream Programming Language? Lobster

A concise walkthrough of Lobster, a programming language that has a Python-like syntax but is statically typed with next-level inference and does not rely on a garbage collector.

—

[toyin]

"Languages faster than python are more common like hydrogen atoms" 😆 🤣

[nitsanbh]

This language is like my high school essays. I had zero unique ideas to say so I copied sentences from articles on the web and called it a new article

[Noxx]

I love everything about this. That's why I use Nim. It has almost all of these features, except for the hardcore inference, but is much more mature. Yes, including the memory system.

[daviidon]

Parameter type inference is standard in the ml family(eg:F#). The dev ex is a little better as the ide will show the inferred types so you get all the benefits of specifying the type without having to write it out.

[doktoracula]

A lot of stuff in Lobster reminds me of Koka, especially all the syntax sugar. It also has indentation based scopes but those are defined as implicit brackets (and code is desugared to those brackets).

[mr.m]

Wish you covered memory management more in depth.

[headder]

Strange... It looks like Rust, Nim, Crystal and Python had a baby... ;P

[irlshrek]

my initial thought is that I think that its possible to be so concise so as to be harder to reason about and in my opinion this, at least, treads that line. Its like, you COULD make a Venn Diagram without the circles but does it actually make it better?

[GreatWalker]

@8:56, it kinda looks a little more concise than Python 2/3 because there is no constructor in the class definition or dataclass decorator (pls ignore the `let` keyword)

[driden]

Hmmm, not really a fan of having so many syntactical subtleties. I am a fan of having one way to do things

[jekyllorhyde]

Something that I have grown to accept about coding as I've gone further along, is that, in the words of Tim Peters: "Explicit is better than implicit"

[EliteTester]

This is exactly the mix of simlicity and terseness that I would expect from a good game dev, it kinda looks like a python+lua with types :D

[lekretka]

The type inference looks very powerful. I tried F#, but this thing is on another level. Curious how it works under the hood, but it seems like Go duck typing or C++ templates, but you don't need to declare interface or specify parameter type. Never seen something like that in a statically typed language.

[JoelJosephReji]

Thanks for the great video! I found a little audio issues like some "pops" in between and maybe this info would help you sort that issue out (I initially thought that it had something to do with my headphone but then I confirmed it by listening from the laptop speaker)! (keep the good work going btw!)

[angeldude]

Not for me. For one, most of this video was focused on syntax, which is the _one_ thing I would change about Rust (I'd rather it looked more like Haskell, but oh well), but mainly I like Rust because it gives explicit control and tight restrictions that let me use that control without worrying. The language will automatically allocates if it can't solve the ownership? That's a deal breaker for me. What if I don't _have_ an allocator to begin with?

[freedom_aint_free]

It kinda put itself in the toy language category the moment it stated in "What lobster is not" that it is not suitable for big projects.

[mrmagnetic]

Haha, Another crustacean library ( i see what they did there ). Lets call it the Seafood stack😂

[oglothenerd]

I am making my own language. It aims to merge Zig and Rust together, and aims to solve flaws like relying on an Internet connection just to compile.

[soanvig]

The problem I can see here is variable mutation. Albeit you have let/var, if the let contains class you are able to modify the class instance itself assigned to that name.

[wojtek]

I see something about "this new programming language" i click . What can I say I'm simple man