Mastodawn

Today at work I learned that you can make `.d.ts` files adjacent to `.js` files and TypeScript's compiler (and IDEs) can treat it just like Ruby + RBS sidecars! 😍

#JavaScript #TypeScript #Ruby #StaticTyping #TypeHints #DynamicLanguages #Programming

Solar Granulation Jan 2

Raise a hand if you find dynamic typing disfavourable!

#dynamictyping vs #statictyping

screwlisp Jun 13, 2025

Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2

In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.

I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.

#lazyEvaluation and formal theorems are also included.

Show thread

Vassil Nikolov | Васил Николов May 7, 2025

@mdhughes @screwtape @smlckz @sektor @clew @eduardoochs @dougmerritt

The point is not that static type checking is omnipotent: it isn't, of course.
The point is that it catches _very many_ mistakes that programmers are _prone_ to make.
I say again: mistakes that are _often_ made, not all that can be made _in principle_.

> function addints(int x, int y) : int { return 3; }

This is too trivial.
Warning: variable declared but never used.

#StaticChecks
#StaticTypeChecks
#StaticTyping

N-gated Hacker News May 4, 2025

Typed Lisp aficionados offer a *mind-blowing* revelation: you too can experience the joy of static typing, but only if you're prepared to navigate a labyrinthine manifesto of type hierarchies and algebraic data types, all while still loving #Haskell 💻✨. Because, apparently, there's nothing more exhilarating than making Lisp even more confusing for beginners 🤯📚.
https://alhassy.com/TypedLisp.html #TypedLisp #StaticTyping #TypeTheory #ProgrammingJoy #ConfusingBeginners #HackerNews #ngated

Typed Lisp, A Primer

jbz Nov 10, 2024

🐘 The case against static typing in PHP | Tony Marston

https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html

#php #statictyping

The case against static typing in PHP

urmaul.com blog Apr 17, 2024

Yes, You Can Use Different Types With the Same Structure

This is a story of how we fixed multiple bugs by typing our array indexes.

https://urmaul.com/blog/different-types-same-structure/

#DomainDrivenDesign #StaticTyping

Yes, You Can Use Different Types With the Same Structure — urmaul.com

Tin Tvrtković Nov 12, 2023

This Friday I had the privilege of giving the Zagreb #Python meetup a talk on the why, when not and how of #statictyping in Python.

We in the Python community are given this incredible choice between writing dynamically typed code for fast prototyping or using a pretty sophisticated (IMO stronger than Java, Go or even C#) type system for bigger projects. Or anything in between.

The situation isn't perfect, of course, but this is still pretty amazing. Most programming languages don't get this.