Programming Languages

1167 readers

11 users here now

Hello!

This is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.

The content and rules are the same here as they are over there. Taken directly from the /r/ProgrammingLanguages overview:

This community is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.

This isn't the right place to ask questions such as "What language should I use for X", "what language should I learn", and "what's your favorite language". Such questions should be posted in /c/learn_programming or /c/programming.

This is the right place for posts like the following:

"Check out this new language I've been working on!"
"Here's a blog post on how I implemented static type checking into this compiler"
"I want to write a compiler, where do I start?"
"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?"
"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?"
"What are the pros/cons of ?"
"Compare and contrast vs. "
"Confused about the semantics of this language"
"Proceedings from PLDI / OOPSLA / ICFP / "

See /r/ProgrammingLanguages for specific examples

Related online communities

founded 1 year ago

MODERATORS

armchair_progamer@programming.dev

buzz, A small statically typed scripting language 👨‍🚀 (buzz-lang.dev)

submitted 6 months ago by armchair_progamer@programming.dev to c/programming_languages@programming.dev

3 comments fedilink hide all child comments

From the README on GitHub:

Small in size and complexity (just a bit more than Lua though)

Statically typed

Unambiguous

No nonsense coercion

Fibers

JIT compilation with MIR

Tooling

Generate doc from docblocks (in progress)

VS Code extension

Syntax highlighting

LSP (in progress)

Debugger and DAP (planned)

The compiler is written in Zig.

v4.0 Release Notes

you are viewing a single comment's thread
view the rest of the comments

[–] FizzyOrange@programming.dev 3 points 6 months ago (1 children)

Very neat! Is it embeddable? There are plenty of statically typed languages but there are hardly any statically typed embeddable languages.

Quite a lot to like here. I only skimmed it but some things that seem like slightly odd choices:

> instead of -> for return types. The latter is pretty clearly nicer IMO and less confusing.
Old C-style type name instead of name: type. The latter is less confusing and plays better with type inference and inlay hints. Easier to parse too.
For a small language I think arbitrary sized integers make way more sense than fixed size. This is one of the few things Python got completely right IMO. If you care about performance you can add a range type, like range(0..256) and unsigned like range(0..) and then use flow typing to convert between them.

[–] armchair_progamer@programming.dev 3 points 6 months ago

Author's comment on lobste.rs:

Yes it’s embeddable. There’s a C ABI compatible API similar to what lua provides.