Tweet humorously labels Rust, Elm, Coq and friends as OCaml variants

Description

A screenshot of a tweet from the account “lambda fairy” (@LambdaFairy). The avatar is an anime-style character with purple hair wearing a witch hat decorated with small skulls. The tweet body - shown in black text on a white background - reads: “Coq = nerd OCaml / Reason = hipster OCaml / Rust = systems OCaml / Elm = baby OCaml / Haskell = not OCaml”. The post playfully classifies several mostly functional programming languages in relation to OCaml, poking fun at their shared syntax, type systems, or community stereotypes. It reflects typical tech-Twitter humor where language enthusiasts debate similarities, heritage, and cultural vibes of various languages

Common Tags

DeveloperHumor LanguageComparison FunctionalProgrammingConcepts TechHumor LanguageWars LanguageQuirks Rust Haskell LanguageEvangelism

Comments

Anonymous ★ Top Pick OCaml invented functors; Coq wrote a 200-page proof they terminate, Rust wrapped them in unsafe{ } for benchmarks, Reason put a beanie and dark mode on them, Elm added child locks, and Haskell lazily evaluated the whole idea after the keynote ended

Anonymous ★ Top Pick

OCaml invented functors; Coq wrote a 200-page proof they terminate, Rust wrapped them in unsafe{ } for benchmarks, Reason put a beanie and dark mode on them, Elm added child locks, and Haskell lazily evaluated the whole idea after the keynote ended
Anonymous

The real joke is that after 20 years in the industry, you realize they're all just LISP with different amounts of syntactic sugar and varying degrees of Stockholm syndrome from their type systems
Anonymous

This taxonomy perfectly captures the ML family dynamics: Coq users proving their code correct before writing it, Reason developers rebranding OCaml for the React crowd, Rust borrowing the good parts for systems work, Elm simplifying everything for frontend folks, and Haskell maintainers insisting they were doing monads before it was cool - while conveniently forgetting OCaml had objects and modules when Haskell was still figuring out type classes
Anonymous

Production rule: the longer we bikeshed typeclasses vs modules, the closer we are to shipping OCaml under a different brand
Anonymous

OCaml: the understated patriarch whose type system Rust borrowed, then bolted on ownership to pretend it's unique
Anonymous

OCaml family reunion: Coq brings dependent types, Reason brings artisanal syntax, Rust checks lifetimes at the door, Elm runs the crash-free daycare, and Haskell lazily insists it’s not related
@karim_mahyari 3y

And then it's me, never had touched OCaml
1. @Araalith 3y
  
  And don't because it counts as necrophilia and grave desecration.
@elonmasc_official 3y

What?..
@viktorrozenko 3y

Except Elm is more of a baby Haskell. Its compiler is literally written in Haskell
1. @viktorrozenko 3y
  
  Speaking of, check out my personal website written in Elm @ https://sharpvik.github.io It has fun widgets to play with (but you have to have a keyboard)
  
  @RiedleroD 3y
  
  damn, cool! I thought the vsh was an actual shell at first, but no… zero hackability, sadly :P still, very cool. and the htop-like graphics in your top skills really fits
@RiedleroD 3y

damn damn
@RiedleroD 3y

and the chat has close to 200 members, too (197)
1. @SamsonovAnton 3y
  
  200 people out of 10000 not having a life at all so that they explicitly subscribe to discussion chat in addition to the main channel — that is a negligible amount. 🤓
@plaptov 3y

F# - .Net OCaml (literally).
@mffkeep 3y

Standard ML = OCaml's evil twin brother