Crystal: Static Typing Bolted Onto Ruby Syntax
What gets preserved and what gets lost when you compile a language that was designed, from its first line of syntax, to be dynamic. Open a Crystal file next to a Ruby file and for...
Search fresh public links, source activity, and ready-to-use post angles for Type Systems.
Fresh curated links around Type Systems are collected here so marketers can spot useful updates and turn timely ideas into posts faster.
Recent items include:
Recent curated links from global sources. Generate one free draft from any story, then use SocialBu to schedule and refine your content calendar.
What gets preserved and what gets lost when you compile a language that was designed, from its first line of syntax, to be dynamic. Open a Crystal file next to a Ruby file and for...
A function’s type can already say what it returns. Effect systems ask it to say what it does on the way there. Type systems have spent the last decade absorbing ideas that used to...
For years, the Erlang VM offered reliability and concurrency, but not static types. Now two answers are arriving at once. Gleam brings a fully typed language to the BEAM, while Eli...
The TypeScript programming language was invented and is maintained by Microsoft. It's a syntactical superset of JavaScript with the addition of static typing as an option. TypeScri...
TypeScript can make an LLM integration look safer than it is. A function may promise Promise<Classification> and every branch may compile under strict settings, yet none of t...
Originally appeared on Sam Ruby.In The Browser Half I looked at the part of a Hotwire app where nothing checks anything: the strings that wire Stimulus controllers to each other an...
Comments
TypeScript interface Extends vs Intersection: When the Difference Actually Breaks Your Code This article was written with the assistance of AI, under human supervision and revie...
Every systems language eventually needs a way to generate code, specialize functions for different types, and make decisions before the program ever runs. C++ answered that need wi...
From a custom typeface for a fictional field of "therolinguistics" to a book that 3D prints its own instructions, the Singapore-based designer explains how research and language sh...
Cloudflare backs tsrs, a Rust port of TypeScript. Compare benchmark claims, compatibility work, and Microsoft's role in language direction. The post Cloudflare and VoidZero Back ts...
TypeScript brings static typing to JavaScript, but debugging TypeScript in Firefox DevTools requires some extra knowledge. Source maps are the key — they let Firefox show your orig...
Originally appeared on Schneems - Programming Practices, Performance, and Pedantry. Have you ever written a type that you appreciated so much you still think about it? Like...
Stop losing decimals! Learn how to master type casting in C with implicit and explicit conversions, promotion rules, and built-in functions. The post Mastering Type Casting in C Pr...
A type system that lets actors share mutable memory by pointer, not by copy, and still guarantees no two of them can ever race. Most actor systems solve concurrent memory sharing o...
Sealed interfaces close the type list. Julia opens it, and the operation list, at once. A recent piece on this site walked through how sealed interfaces and exhaustive switch expre...
Master TypeScript interview questions with this guide, covering everything from fundamental concepts to advanced topics for confident interview prep.
Discover why the TypeScript team chose Go over Rust for the compiler port, focusing on compatibility, garbage collection, and concurrency advantages. The post TypeScript’s Go Port:...
Stop the confusion! Learn why TypeScript and React aren't competitors and how using them together eliminates bugs and speeds up your development. The post TypeScript vs React: Unde...
Boost your AI agent's reliability. Learn to build a TypeScript linter to score and harden your MCP tool definitions for peak LLM performance. The post Mastering MCP Tool Definition...
Philip Wadler invented a coherent mechanism in 1988. Thirty-one years later, he co-authored a paper trying to get some of that coherence back. Type classes are one of the rare prog...
Use SocialBu to discover ideas, generate post drafts, and schedule them across your social channels.