Richard Casetta

Okay - I promise this isn't a cheap gotcha or me being obtuse: What does "up-front design" mean when all programming is design?🧵

To put this another way: I feel like the primary feature of type systems is not to make sense of silly code, but rather to stop people from writing silly code in the first place. Grafting on a type system after the fact only really works if you're willing to rewrite silly code

@tikhonjelvis @shwestrick @JAldrichPL My key point here is that functional programming (and functional objects) are nice for modelling business logic and immutable component running on a single host, while object-oriented programming is good for describing the components and connectors of a distributed system.

@tikhonjelvis @shwestrick @JAldrichPL Which is why objects (with mutable state encapsulation) seem a bad idea for business logic: we create a distributed system in memory on a single host, and we know distributed systems are hard, which makes it difficult to understand and predict behaviour.

As @JAldrichPL points out in cs.cmu.edu/~aldrich/paper…, you can simulate OOP with FP by encoding objects as tuples of functions. IMO this captures the essence of OOP really well. It makes it clear that all other baggage (state encapsulation, class inheritance, etc.) is optional.

Rather than expressing your ideas through a relatively well defined and structured PL, you will have to express your ideas through an opaque and unpredictable AI. You'll think you are using a natural language, but really, you'll be learning an artificial language of the machine.

NEW § @BrandonByars: we should prefer general purpose languages for integration: they manage the complexity of evolving interfaces and prevent implementation leaking into those interfaces #UseAGeneralPurposeLanguageToManageTheInterfaceEvolution" target="_blank" rel="nofollow noopener">martinfowler.com/articles/cant-…

Giant Kubernetes configuration files would still be a pain for a human to edit and audit even if you wrote them in JSON instead of YAML In my view, the real issue is the lack of programming language features. A human could improve their readability if given the tools to do so

🇫🇷 Bonjour tout le monde ! Aujourd'hui est une grande journée pour bonjour.io Nous lançons notre Product Hunt ! Nous travaillons avec @Zoom depuis quelques mois pour permettre aux commerciaux B2B d'accéder à la donnée @salesforce directement en call Zoom.

Today is a big day @bonjourteam 🤩 For the last 3 months, we built a @zoom app to make your @salesforce available directly in your notes during a call and save a ton of time to salespeople! And now it is on @ProductHunt 🚀 We'd love any support and feedback! 😊

We @bonjourteam built something very cool for salespeople. Stay tuned subscribing to producthunt.com/upcoming/bonjo… #Salesforce #Zoom

Just sorta positing here, but I think that the lack of really high quality/advanced compilers for the web has led to developers not considering how much a compiler could really do for them... we're mostly limited to peephole/local optimization with relatively small exceptions

Interested in type systems and applied PL research? Jane Street is (still) growing our compilers team. There's a ton of ambitious projects underway, and more to come if we can find more of the right people. (would love some retweets on this!) blog.janestreet.com/applied-PL-res…

Just blogged about my career mission: "to give software developers knowledge and tools to help them reason about their programs" (jschuster.org/blog/2021/09/2…). A summary thread: (1/N)

"Computer languages differ not so much in what they make possible, but in what they make easy." - Larry Wall

Tbh I just want all the math and programming people to be friends and be fulfilled making math and programs together.

Once you push through the crypto gaslighting, you realise there's no meaningful tech here at all all, and the whole of it just gambling, regulatory arbitrage, and scams. Torching the planet to sell expensive entries in a database really is as stupid as it seems.

Some days I can't believe where I am. 10 years ago I was walking down the side of the road with nothing but pocket change; toddler on my hip, gas can in my hand, barely awake from the night shift at Krispy Kreme, about to be evicted... Today I'm merging my own PRs at Apple.