🔤 Types - merp · Scour

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Types and Tokens 📐Type Theory

plato.stanford.edu·6d

Using Rust typestates for BCF writing 🦀Rust programming language

deterministic.space·17h

Introduction to Object-Oriented Programming in Python 🧮Functional Programming

thepalindrome.org

·2h

From Stringly to Strongly Typed 💎Refinement Types

eignex.com·1d·Hacker News

marcelofarias/botscript: BotScript - A TypeScript superset for the LLM era 📐Type Theory

github.com·9h·Hacker News

Episode #294: Declarative Charts in Python & Discerning Iterators vs Iterables 🐍Python

realpython.com·3h

ltrace (5) Linux Manual Page 📏Linear Types

systutorials.com·6d

One week of view_types 🦀Rust

scrabsha.dev·2d·Lobsters

Speed-Optimized Python 3.14t on Debian Forky: A Clang-19 Build Guide (Assisted by Google AI) 🌲Tree-sitter

dbaxps.blogspot.com·22h

The best new features in Python 3.15 🐍Python

infoworld.com·18h

Types How-To Guide 📐Type Theory

whoseknowledge.org·2d

A bidirectional typechecking puzzle> 🔍Type Inference

haskellforall.com·3d·Lobsters, Hacker News, Hacker News

parser_tools 🌲Tree-sitter

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 🔗Dependent Types

types.pl·2d·Lobsters

StructFlow by LDX hub｜機械翻訳・AIの有効活用言語データのデジタル変革を実現【LDX lab】 📐Type Theory

ldxlab.io·13h·DEV

They Called It LISP for a Reason: List Processing 🧮Functional Programming

gigamonkeys.com·3d·Hacker News

Strategies for *requiring* designated initializers when constructing a type? 📐Dependently Typed

godbolt.org·2d·r/cpp

New comment by savq in "RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust" 🔗HTMX

typst.app·21h·Hacker News

pass Statement in Python ⌨Typing

netjstech.com·1d·netjstech.com

Log in to enable infinite scrolling