this post was submitted on 24 Oct 2025
214 points (98.6% liked)

Programmer Humor

27489 readers
1585 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
214
Computer Science Courses that Don't Exist, But Should (prog21.dadgum.com)
submitted 1 month ago by SmartmanApps@programming.dev to c/programmer_humor@programming.dev
72 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] drosophila@lemmy.blahaj.zone 1 points 1 month ago* (last edited 1 month ago)

I, too, have wished to be able to easily embed prolog, or at least its reduced non-turing-complete version, datalog, into a less declarative language.

Also, I think integration with answer set programming for static code analysis could be useful. This is sort of a mid-way point between test driven development and something like the type level programming in languages such as Haskell or semi-automated theorem proving in languages like Coq.