Tootfinder

Opt-in global Mastodon full text search. Join the index!

@fanf@mendeddrum.org
2025-06-10 17:42:03

from my link log —
How to take the inverse of a type.
2022.ecoop.org/details/ecoop-2
saved 2025-06-03

How to Take the Inverse of a Type (ECOOP 2022 - Research Papers) - ECOOP 2022
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

@fanf@mendeddrum.org
2025-06-09 20:42:03

from my link log —
Alan Kay did not invent object-oriented programming.
hillelwayne.com/post/alan-kay/
saved 2025-05-11

Alan Kay Did Not Invent Objects
People keep claiming that modern OOP languages aren’t “really OOP” because they don’t follow Alan Kay’s definition of “OOP”. I can see the logic here, even if I disagree the conclusion. More recently I’ve seen people start claiming that Kay invented objects entirely. This is factually incorrect. Alan Kay did not invent objects. They come from Simula, which the Smalltalk-72 manual cites as a major inspiration (pg 117). The famous 1981 Byte magazine issue that popularized Smalltal…

@fanf@mendeddrum.org
2025-06-06 20:42:03

from my link log —
Wasm SpecTec has been adopted.
webassembly.org/news/2025-03-2
saved 2025-03-28

SpecTec has been adopted - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

@fanf@mendeddrum.org
2025-05-28 20:42:03

from my link log —
Parametric subtyping for structural parametric polymorphism.
blog.sigplan.org/2025/01/29/pa
saved 2025-02-02

Parametric Subtyping for Structural Parametric Polymorphism
Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyp…

@rperezrosario@mastodon.social
2025-04-26 01:32:00

Startup CTO, writer and coach Dr. Milan Milanović shares a love letter to C# in 2025, and why its adherents believe it's such a good choice. He discusses, amongst other topics:
1. Language Features
2. The .NET Ecosystem
3. Tooling
4. Libraries and NuGet
5. Documentation
6. Community
7. Popularity
8. C# vs Other Languages, and
9. The Future of C#
He also shares a brief history of the language.
"Why C#?"

Why C#?
I might have been skeptical if someone had told me years ago that C# would become my programming language of choice for most projects.