Programming Languages

programming_languages

PostsComments

jeffhykin@lemm.ee · 2 days ago

Scallop: A Neurosymbolic Language

www.scallop-lang.org

0

7

Scallop: A Neurosymbolic Language

www.scallop-lang.org

jeffhykin@lemm.ee · 2 days ago

0

sunmark · 2 days ago

Big Updates to Marksafe! A New Syntax for Rich Content with Enhanced Flexibility

5

0

Big Updates to Marksafe! A New Syntax for Rich Content with Enhanced Flexibility

sunmark · 2 days ago

5

SuperFolaEnglish · 7 days ago

I don't think error handling is a solved problem in language design

utcc.utoronto.ca

2

4

I don't think error handling is a solved problem in language design

utcc.utoronto.ca

SuperFolaEnglish · 7 days ago

2

SuperFolaEnglish · 8 days ago

Optimizing scopes data in ArkScript VM

0

4

Optimizing scopes data in ArkScript VM

SuperFolaEnglish · 8 days ago

0

TypicalHog@lemm.eeEnglish · 13 days ago

Rust is the New C

4

3

Rust is the New C

TypicalHog@lemm.eeEnglish · 13 days ago

4

armchair_progamerM · 16 days ago

An epic treatise on error models for systems programming languages

typesanitizer.com

2

16

An epic treatise on error models for systems programming languages

typesanitizer.com

armchair_progamerM · 16 days ago

2

cli345 · 27 days ago

FuncSug: a new programming language

0

8

FuncSug: a new programming language

cli345 · 27 days ago

0

armchair_progamerM · 29 days ago

Neut Programming Language

vekatze.github.io

0

11

Neut Programming Language

vekatze.github.io

armchair_progamerM · 29 days ago

0

armchair_progamerM · 1 month ago

So you're writing a programming language [Reddit longpost]

0

7

So you're writing a programming language [Reddit longpost]

armchair_progamerM · 1 month ago

0

armchair_progamerM · 1 month ago

The Vine Programming Language

1

10

The Vine Programming Language

armchair_progamerM · 1 month ago

1

armchair_progamerM · 2 months ago

So you're writing a programming language [Reddit]

0

4

So you're writing a programming language [Reddit]

armchair_progamerM · 2 months ago

0

armchair_progamerM · 2 months ago

Flattening ASTs (and Other Compiler Data Structures) [May 2023]

www.cs.cornell.edu

0

8

Flattening ASTs (and Other Compiler Data Structures) [May 2023]

www.cs.cornell.edu

armchair_progamerM · 2 months ago

0

hedy@lemmy.sdf.orgEnglish · 5 months ago

Paper: Feminism in Programming Language Design

www.felienne.com

3

3

Paper: Feminism in Programming Language Design

www.felienne.com

hedy@lemmy.sdf.orgEnglish · 5 months ago

3

SuperFolaEnglish · 5 months ago

Implementing an Intermediate Representation for ArkScript

0

1

Implementing an Intermediate Representation for ArkScript

SuperFolaEnglish · 5 months ago

0

armchair_progamerM · 6 months ago

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)

0

12

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)

armchair_progamerM · 6 months ago

0

armchair_progamerM · 6 months ago

Notes on the Crystal programming language

0

19

Notes on the Crystal programming language

armchair_progamerM · 6 months ago

0

armchair_progamerM · 6 months ago

Control structures (free online course, slides)

xavierleroy.org

0

3

Control structures (free online course, slides)

xavierleroy.org

armchair_progamerM · 6 months ago

0

armchair_progamerM · 6 months ago

Total Denotational Semantics (blog)

7

9

Total Denotational Semantics (blog)

armchair_progamerM · 6 months ago

7

SuperFolaEnglish · 6 months ago

Arkscript September update - macros and tooling

0

3

Arkscript September update - macros and tooling

SuperFolaEnglish · 6 months ago

0

armchair_progamerM · 6 months ago

Lightweight region memory management in a two-stage language

gist.github.com

0

3

Lightweight region memory management in a two-stage language

gist.github.com

armchair_progamerM · 6 months ago

0

Programming Languages

programming_languages

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

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/<other tricky feature>?”
“How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?”
“What are the pros/cons of <language feature>?”
“Compare and contrast <language feature> vs. <other feature>”
“Confused about the semantics of this language”
“Proceedings from PLDI / OOPSLA / ICFP / <other large programming conference>”

See /r/ProgrammingLanguages for specific examples

Related online communities

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
30 users / week
66 users / month
129 users / 6 months
533 local subscribers
1.27K subscribers
275 Posts
453 Comments
Modlog

mods:
armchair_progamer