RetroFed Forum
Your home away from modern life.
Search Categories Forum list Register Log in
About RetroFed
About this forum

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

1 members · 61 topics · 19 posts

RetroFed

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

  • Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
  • Communities need to be Retro or Retro-adjacent.
  • Please don't upload pornographic content. (use an external image host for that)
74 registered users
Administrators: DosDude, Die4Ever
Visit retrofed.com
Programming Languages !programming_languages@programming.dev
Moderators: armchair_progamer
New Topic RetroFed Forum Forum Index » Programming Languages
Page 2 of 3   Goto page « First 1, 2, 3 Last »
 Topics  Replies  Author  Score  Last Post 
which languages have a REPL and Type Annotation? 0 jh29a 1 »
A Lean Syntax Primer (overreacted.io) 0 codeinabox 1 »
Raku: The Programming Language You Didn't Know You Needed (www.youtube.com) 0 david_ 1 »
losing language features: some stories about disjoint unions (graydon2.dreamwidth.org) 0 soc 1 »
X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com) 0 soc 1 »
I released ArkScript v4 (github.com) 0 SuperFola 1 »
The Core of Rust (jyn.dev) 0 soc 1 »
Left to Right Programming (graic.net) 0 shape_warrior_t 1 »
Beyond Booleans - “bool expressions” in Lean, proposition, proof (overreacted.io) 0 Kissaki 1 »
Pike Programming Language (pike.lysator.liu.se) 0 Kissaki 1 »
Golang blog; Goodbye core types - Hello Go as we know and love it! (go.dev) 0 Kissaki 1 »
Zig's Lovely Syntax (matklad.github.io) 0 soc 1 »
Seed7 - A General Purpose Programming Language (seed7.net) 0 Kissaki 1 »
Lean Programming Language - with formally verified code (lean-lang.org) 1 Kissaki 2 »
Library Design: Naming Conventions – Option & Result (soc.me) 0 soc 1 »
The Hare programming language (harelang.org) 0 Kissaki 1 »
Creating a programming language 0 ZeroOne 1 »
(Quite) A Few Words About Async (yoric.github.io) 0 soc 1 »
JPL: The JSON Programming Language (github.com) 0 Kissaki 1 »
The Jank programming language (jank-lang.org) 0 Kissaki 1 »
(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates (plf.inf.ethz.ch) 0 jeff_hykin 1 »
Library Design: Naming Conventions – Creation (soc.me) 0 soc 1 »
Berry: An Embedded-Optimized Scripting Lang (berry.readthedocs.io) 0 jeff_hykin 1 »
Nerd snipping myself into optimizing ArkScript bytecode (lexp.lt) 0 SuperFola 1 »
Stop Using `<>` for Generics (soc.me) 0 soc 1 »
New Topic Page 2 of 3   Goto page « First 1, 2, 3 Last »

About this forum

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

1 members · 61 topics · 19 posts
Powered by PieFed · PieBB frontend · All times are Europe/Amsterdam