← Latest products

PEP 827

TS-like type manipulation in Python. We propose adding powerful type-level introspection and construction facilities to Python’s type system. This design is inspired largely by TypeScript’s conditional and mapped types, but is adapted to the distinct semantics and constraints of Python’s t...

Visit peps.python.orgexternal site

Reactions (1)

Similar products

by description similarity

  1. TypeScript as a proof assistant for intuitionistic propositional logic

    gist.github.com

    TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.

    Hacker News17 pts

  2. A minimal TS library that generates prompt injection attacks

    prompt-injector.blueprintlab.io

    Experimental TypeScript library for generating AI security test conversations

    Hacker News33 pts

  3. Advanced Chunking in JavaScript/TypeScript with Chonkie

    news.ycombinator.com

    We built Chonkie, an open-source library for advanced chunking and embedding of text and code.

    Hacker News10 pts

  4. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts

  5. Jev-lint

    github.com

    semantic linter with plain English rules

    Hacker News5 pts