August 6, 2026 at 5:13 PM
A major driver for Teal is the need for better maintainability and refactoring in larger Lua projects, especially in game development. Static types are seen as crucial for managing complexity beyond a certain scale. #StaticTyping 2/6
May 17, 2025 at 7:00 AM
A major driver for Teal is the need for better maintainability and refactoring in larger Lua projects, especially in game development. Static types are seen as crucial for managing complexity beyond a certain scale. #StaticTyping 2/6
Mapped types: transform generic object keys into new types using key mapping and template literals. Recursively create new signatures per object key. Enables scalable, type-safe contracts at the type level. (see image)
#TypeScript #StaticTyping #MappedTypes
#TypeScript #StaticTyping #MappedTypes
![type Signal<T extends object> = T & {
onChange: (callback: Callback<T>) => () => void;
} & {
[K in keyof T as `on${Capitalize<string & K>}Change`]: (callback: (value: T[K], oldValue: T[K]) => void) => () => void;
} & {
[K in keyof T as `${string & K}AsSignal`]: T[K] extends object ? Signal<T[K]> : Signal<{value: T[K]}>;
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4vkspshcmybopmi5jufsce6b/bafkreigvhu4tfvzf2istwdfow6mu4gtmjvbtbigj25q6tdhinzvfq6pmjm)
August 6, 2025 at 4:54 AM
Mapped types: transform generic object keys into new types using key mapping and template literals. Recursively create new signatures per object key. Enables scalable, type-safe contracts at the type level. (see image)
#TypeScript #StaticTyping #MappedTypes
#TypeScript #StaticTyping #MappedTypes
TypeScript adoption made static typing the default for web work, and similar stories followed in Python with mypy and JavaScript with JSDoc. Type checkers catch whole categories of bugs before deploy without costing much velocity. Types became a team sport. #TypeScript #StaticTyping #WebDev
August 20, 2026 at 12:12 PM
TypeScript adoption made static typing the default for web work, and similar stories followed in Python with mypy and JavaScript with JSDoc. Type checkers catch whole categories of bugs before deploy without costing much velocity. Types became a team sport. #TypeScript #StaticTyping #WebDev
Reading the Revival of Static Typing Through the "Shovel" Metaphor
#statictyping #typesystem #Rust
https://singulism.com/en/2026-06-11-static-types-shovel-analogy
#statictyping #typesystem #Rust
https://singulism.com/en/2026-06-11-static-types-shovel-analogy
Reading the Revival of Static Typing Through the "Shovel" Metaphor
An article explaining why static typing in programming languages regained attention in the late 2010s using a shovel metaphor is generating discussion.
singulism.com
June 11, 2026 at 8:41 PM
Reading the Revival of Static Typing Through the "Shovel" Metaphor
#statictyping #typesystem #Rust
https://singulism.com/en/2026-06-11-static-types-shovel-analogy
#statictyping #typesystem #Rust
https://singulism.com/en/2026-06-11-static-types-shovel-analogy
Static typing in Ruby remains contentious. While RBS is a step, some feel it dilutes Ruby's simplicity. Alternatives like Sorbet & `low_type` are explored, highlighting the community's struggle to balance flexibility with robust type checking. #StaticTyping 3/6
December 26, 2025 at 2:00 AM
Static typing in Ruby remains contentious. While RBS is a step, some feel it dilutes Ruby's simplicity. Alternatives like Sorbet & `low_type` are explored, highlighting the community's struggle to balance flexibility with robust type checking. #StaticTyping 3/6
Not all static type systems are equal. Rust's ownership model and traits offer superior safety and expressiveness compared to languages like Java or C++, providing deeper guarantees against common pitfalls. #StaticTyping 4/5
August 28, 2025 at 1:00 PM
Not all static type systems are equal. Rust's ownership model and traits offer superior safety and expressiveness compared to languages like Java or C++, providing deeper guarantees against common pitfalls. #StaticTyping 4/5
Conversely, many believe gradual typing can improve safety & scalability in Ruby without forcing a full static paradigm shift or sacrificing the language's beloved productivity. #StaticTyping 6/6
May 10, 2025 at 11:00 PM
Conversely, many believe gradual typing can improve safety & scalability in Ruby without forcing a full static paradigm shift or sacrificing the language's beloved productivity. #StaticTyping 6/6
Python's static analysis gets a boost with mypy-pure and mypy-raise, adding purity checks and exception handling to type hints. Developers can catch side effects and runtime errors earlier. #Python #StaticTyping
December 16, 2025 at 9:58 AM
Python's static analysis gets a boost with mypy-pure and mypy-raise, adding purity checks and exception handling to type hints. Developers can catch side effects and runtime errors earlier. #Python #StaticTyping