[Showcase] Funxy: A hybrid HM language with Row Polymorphism, MPTC, and Flow-Sensitive Typing (v0.5.0)

https://www.reddit.com/r/ProgrammingLanguages/comments/1q9qzwu/showcase_funxy_a_hybrid_hm_language_with_row/

Will LLMs Help or Hurt New Programming Languages?

https://www.reddit.com/r/ProgrammingLanguages/comments/1q90yej/will_llms_help_or_hurt_new_programming_languages/

ISO: literature on efficient representation of types in a compiler

https://www.reddit.com/r/ProgrammingLanguages/comments/1q8vg2q/iso_literature_on_efficient_representation_of/

What's wrong with subtypes and inheritance?

https://www.reddit.com/r/ProgrammingLanguages/comments/1q3u34h/whats_wrong_with_subtypes_and_inheritance/

Is large-scale mutual recursion useful?

https://www.reddit.com/r/ProgrammingLanguages/comments/1q39zh8/is_largescale_mutual_recursion_useful/

The Compiler Is Your Best Friend, Stop Lying to It

https://www.reddit.com/r/ProgrammingLanguages/comments/1q0v9lm/the_compiler_is_your_best_friend_stop_lying_to_it/

The Second Great Error Model Convergence

https://www.reddit.com/r/ProgrammingLanguages/comments/1q0q9zc/the_second_great_error_model_convergence/

My car has a scanner and an AST

https://www.reddit.com/r/ProgrammingLanguages/comments/1q0pk7l/my_car_has_a_scanner_and_an_ast/

In Smalltalk, why are metaclasses not classes?

https://www.reddit.com/r/ProgrammingLanguages/comments/1pxnzwm/in_smalltalk_why_are_metaclasses_not_classes/

Resolving Names Once and for All

https://www.reddit.com/r/ProgrammingLanguages/comments/1pxbodt/resolving_names_once_and_for_all/

Is realloc-driven model growth a language feature or a terrible idea? (compiler-pass autodiff)

https://www.reddit.com/r/ProgrammingLanguages/comments/1pwgfn8/is_reallocdriven_model_growth_a_language_feature/

Extending RAII to frameworks lifetimes functions; inject calls to any function

https://www.reddit.com/r/ProgrammingLanguages/comments/1pvfkwd/extending_raii_to_frameworks_lifetimes_functions/

A horrifically bad idea

https://www.reddit.com/r/ProgrammingLanguages/comments/1pv487m/a_horrifically_bad_idea/

Wanted to share the language I've been working on: Dragonstone

https://www.reddit.com/r/ProgrammingLanguages/comments/1psnmga/wanted_to_share_the_language_ive_been_working_on/

ACM Transactions on Programming Languages and Systems: New Year, New Paper Tracks

https://www.reddit.com/r/ProgrammingLanguages/comments/1prodou/acm_transactions_on_programming_languages_and/

I need feedback on formalizing the type system used by Infernu (type inference for subset of JavaScript)

https://www.reddit.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/

Building a Brainfuck DSL in Forth using code generation

https://www.reddit.com/r/ProgrammingLanguages/comments/1pntwpw/building_a_brainfuck_dsl_in_forth_using_code/

I’ve got some beginner questions regarding bootstrapping a compiler for a language.

https://www.reddit.com/r/ProgrammingLanguages/comments/1pjkjhr/ive_got_some_beginner_questions_regarding/

What Kind of Type System Would Work Well for a Math-Inclined Language?

https://www.reddit.com/r/ProgrammingLanguages/comments/1phz4dx/what_kind_of_type_system_would_work_well_for_a/

MyCTiger: Use the Ring programming language for generating and building C programs (Prototype of the idea).

https://www.reddit.com/r/ProgrammingLanguages/comments/1pgwzyx/myctiger_use_the_ring_programming_language_for/

Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees

https://www.reddit.com/r/ProgrammingLanguages/comments/1ojra7b/place_capability_graphs_a_generalpurpose_model_of/

Resources to start programming in Assembly

https://www.reddit.com/r/ProgrammingLanguages/comments/1nh2kg1/resources_to_start_programming_in_assembly/

Microsoft Releases Historic 6502 BASIC

https://www.reddit.com/r/ProgrammingLanguages/comments/1n7kwfr/microsoft_releases_historic_6502_basic/

"Which Programming Language Should I Teach First?": the least productive question to ask in computer science

https://www.reddit.com/r/ProgrammingLanguages/comments/1mzgxaj/which_programming_language_should_i_teach_first/

Supernova Programming Language

https://www.reddit.com/r/ProgrammingLanguages/comments/1mz8vvg/supernova_programming_language/

I tried to implement the algorithms from the paper "Tabled Typeclass Resolution"

https://www.reddit.com/r/ProgrammingLanguages/comments/1my99bf/i_tried_to_implement_the_algorithms_from_the/

Lua as a "data description language"?

https://www.reddit.com/r/ProgrammingLanguages/comments/1mwg1rg/lua_as_a_data_description_language/

Tuning random generators

https://www.reddit.com/r/ProgrammingLanguages/comments/1mwbpck/tuning_random_generators/

Tuning random generators

https://www.reddit.com/r/ProgrammingLanguages/comments/1mwbnsm/tuning_random_generators/

The Carbon Language Project has published the first update on Memory Safety

https://www.reddit.com/r/ProgrammingLanguages/comments/1mvv6h9/the_carbon_language_project_has_published_the/

Invertible Syntax without the Tuples (Functional Pearl)

https://www.reddit.com/r/ProgrammingLanguages/comments/1mu7knr/invertible_syntax_without_the_tuples_functional/

2nd language

https://www.reddit.com/r/ProgrammingLanguages/comments/1mmcjpt/2nd_language/

Programming Language Pragmatics Talks - Jonathan Aldrich

https://www.reddit.com/r/ProgrammingLanguages/comments/1mjrn37/programming_language_pragmatics_talks_jonathan/

Type matching vs equality when sum types are involved

https://www.reddit.com/r/ProgrammingLanguages/comments/1mhgswn/type_matching_vs_equality_when_sum_types_are/

Are algebraic effects worth their weight?

https://www.reddit.com/r/ProgrammingLanguages/comments/1mh3ba8/are_algebraic_effects_worth_their_weight/

Engineering a Compiler by Cooper, or Writing a C Compiler by Sandler, for a first book on compilers?

https://www.reddit.com/r/ProgrammingLanguages/comments/1mapdis/engineering_a_compiler_by_cooper_or_writing_a_c/

Forth vs Lisp vs Smalltalk vs Prolog for a highly customizable editor

https://www.reddit.com/r/ProgrammingLanguages/comments/1m56yf9/forth_vs_lisp_vs_smalltalk_vs_prolog_for_a_highly/

Casey Muratori – The Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025

https://www.reddit.com/r/ProgrammingLanguages/comments/1m4yklm/casey_muratori_the_big_oops_anatomy_of_a/

What are some new revolutionary language features?

https://www.reddit.com/r/ProgrammingLanguages/comments/1m4sse2/what_are_some_new_revolutionary_language_features/

How to Determine which Programming Language You Are Using

https://www.reddit.com/r/ProgrammingLanguages/comments/1m28z4v/how_to_determine_which_programming_language_you/

aclass: a mime-like class descriptor for non-file objects

https://www.reddit.com/r/ProgrammingLanguages/comments/1lzydri/aclass_a_mimelike_class_descriptor_for_nonfile/

Comparing error handling in Zig and Go

https://www.reddit.com/r/ProgrammingLanguages/comments/1lzmprn/comparing_error_handling_in_zig_and_go/

Hi, can i ask about these output?

https://www.reddit.com/r/ProgrammingLanguages/comments/1klhjmv/hi_can_i_ask_about_these_output/

Top Programming Languages of 2024!

https://www.reddit.com/r/ProgrammingLanguages/comments/1isvcil/top_programming_languages_of_2024/

Constant folding in the frontend?

https://www.reddit.com/r/ProgrammingLanguages/comments/1ilqn7e/constant_folding_in_the_frontend/

PWCT2: A Self-Hosting Visual Programming Language Based on Ring with Interactive Textual-to-Visual Code Conversion

https://www.reddit.com/r/ProgrammingLanguages/comments/1ijy2dm/pwct2_a_selfhosting_visual_programming_language/

Gleam v1.8.0 released!

https://www.reddit.com/r/ProgrammingLanguages/comments/1ijw8g3/gleam_v180_released/

implementation books and resources

https://www.reddit.com/r/ProgrammingLanguages/comments/1ijgawc/implementation_books_and_resources/

Writing a formatter has never been so easy: a Topiary tutorial

https://www.reddit.com/r/ProgrammingLanguages/comments/1ij9hp0/writing_a_formatter_has_never_been_so_easy_a/

Working on C++ compiler

https://www.reddit.com/r/ProgrammingLanguages/comments/1ij3iiq/working_on_c_compiler/

discussion: spec: reduce error handling boilerplate using ? · golang go · Discussion #71460

https://www.reddit.com/r/ProgrammingLanguages/comments/1iebjd6/discussion_spec_reduce_error_handling_boilerplate/

Coverage Semantics for Dependent Pattern Matching

https://www.reddit.com/r/ProgrammingLanguages/comments/1ieag8z/coverage_semantics_for_dependent_pattern_matching/

A Stitch in Time compiler optimisation pass.

https://www.reddit.com/r/ProgrammingLanguages/comments/1ie9h3u/a_stitch_in_time_compiler_optimisation_pass/

High-level coding isn't always slower - the "what, not how" principle

https://www.reddit.com/r/ProgrammingLanguages/comments/1esba5u/highlevel_coding_isnt_always_slower_the_what_not/