Trending tags: ai  github.com  rust  trump  psychology  health  linux  apple  microsoft  show  psypost.org  vibecoding  theregister.com  google  theverge.com  brain  go  video  arstechnica.com  game 

Type-checking plugins, Part I: Why write a type-checking plugin?

3 years ago tweag.io

Related Stories

Biome v2: type-aware rules, monorepo support, plugins and more!

36 hours ago biomejs.dev javascript

Exhaustiveness checking in Rust, Java, PHPStan

an hour ago refactorers-journal.ghost.io java rust

Quickly set up consistent code quality tools for NodeJS, NextJS and React codebases with pre-configured linting, formatting, type checking, and CI/CD examples

47 hours ago github.com javascript react

Abstract Data type

16 days ago reddit.com go

Type Inference Zoo

2 days ago zoo.cuichen.cc compiler

Bottleneck type stubs

4 hours ago reddit.com python

Deep learning gets the glory, deep fact checking gets ignored

16 days ago rachel.fast.ai ai

Secret to 100% Type-Safe TypeScript - tRPC eliminated our API type hell

7 days ago beyondit.blog api typescript

JVM Runtime Parametric Type Support

16 days ago mail.openjdk.org java

type safety vs statically typed

6 days ago reddit.com go

The joy of (type) sets

3 days ago bitfieldconsulting.com go

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

17 days ago mongodb.com formalmethods mongodb

Type-based vs. Value-based Reflection

10 days ago brevzin.github.io c++

What is your opinion on Rust's type system if compared with languages with even stronger type systems?

7 days ago reddit.com rust

Ad-hoc Union types for Java using types from other package(s) with switch/case checking

9 days ago github.com java

Dietary Sugar Intake and Incident Type 2 Diabetes Risk

12 days ago sciencedirect.com diabetes

VoidStruct: Store/Retrieve structs with type-safety using VoidDB

4 days ago reddit.com go

How I Use LLMs to Write

14 days ago fullydoxxed.com llm

TLTSS: a programming language made in TypeScript's type system

18 days ago skeary.me typescript

Show HN: Glowstick – type level tensor shapes in stable rust

10 days ago github.com rust show

Python 3.14 is introducing a new type of interpreter…

8 days ago youtu.be python

Finally, someone's speaking up against the tyranny of type systems. I always thought strong-typing was inherently patriarchal.

15 days ago i.redd.it

Garbage Collection In Go : Part I - Semantics

9 days ago ardanlabs.com go

The Perils of Pointers in the Land of the Zero-Sized Type

18 days ago blog.fillmore-labs.com go

What is Go's SMALLEST Type? A video about zero sized values.

16 days ago youtu.be go video

Nominal Type Unions for C# Proposal by the C# Unions Working Group

13 days ago github.com c#

Introducing Geom, my take on a simple, type-safe ORM based on SQLx

9 days ago github.com rust

I write JavaScript daily. Here’s what surprised me when I tried Rust.

2 days ago reddit.com javascript rust

Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming

5 days ago contextgeneric.dev plt release rust

How to avoid having too many const generics on a type with a lot of arrays?

2 days ago reddit.com rust