🦞🌯 Lobster Roll

Thread

Runtime validation in type annotations (blog.natfu.be)
L 9 pts 3 comments by natfu Feb 15, 2026 python thread

Stories related to "Runtime validation in type annotations" across the full archive.

Runtime validation in type annotations (blog.natfu.be)
L 9 pts 3 comments by natfu Feb 15, 2026 python Programming (General) thread
Runtime Validation in Type Annotations (blog.natfu.be)
HN 1 pts 0 comments by todsacerdoti Feb 15, 2026 thread
Runtime validation in Python type annotations (blog.natfu.be)
HN 1 pts 0 comments by NeutralForest Mar 1, 2026 Programming Languages / CS Theory thread
Runtime Validation in Type Annotations (blog.natfu.be)
HN 2 pts 0 comments by PaulHoule Mar 4, 2026 thread
Pydantic: Data validation and settings management using Python type annotations (docs.pydantic.dev)
HN 2 pts 0 comments by fanf2 Sep 16, 2024 Productivity / Career / Business thread
A lightweight TypeScript library for assertion-based runtime data validation (github.com)
HN 30 pts 35 comments by nayajunimesh Aug 24, 2025 Web DevelopmentCulture / Philosophy / History / Reading thread
Type-Hinting DataFrames for Static Analysis and Runtime Validation (medium.com)
HN 1 pts 0 comments by rbanffy Aug 26, 2025 thread
Fun with mypy: reifying runtime relations on types (langston-barrett.github.io)
L 5 pts 0 comments by jevinskie Jan 6, 2026 pltpython Programming (General)Programming Languages / CS Theory thread
PyPy is working on SSL validation by default in Python 2 (mail.python.org)
L 5 pts 0 comments by kb Jan 27, 2014 pythonsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
Type checking in Python (senko.net)
L 1 pts 0 comments by jpadilla May 18, 2014 programmingpython Programming (General)Programming Languages / CS Theory thread
Revenge of the Types (by Armin Ronacher) (lucumr.pocoo.org)
L 11 pts 2 comments by amontalenti Aug 24, 2014 compsciprogrammingpython Programming (General)Programming Languages / CS Theory thread
Pickling Python collections with non-built-in type keys and cycles. (petrounias.org)
L 1 pts 0 comments by petrounias Sep 16, 2014 python Programming (General)Programming Languages / CS Theory thread
AtScript: Google proposes runtime type checks for JavaScript (docs.google.com)
L 5 pts 0 comments by colbyr Oct 24, 2014 javascript Web Development thread
Type-safe Runtime Code Generation with LLVM (cse.unsw.edu.au)
L 13 pts 0 comments by BruceM Mar 2, 2015 compsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
InfraRuby is a compiler and runtime for statically typed Ruby. (infraruby.com)
L 8 pts 4 comments by julienxx Mar 8, 2015 compilersjavaruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
How to Implement a Type Checker in Python 3 (enotagain.com)
L 3 pts 0 comments by gregnavis Apr 15, 2015 python Programming (General)Programming Languages / CS Theory thread
JVMLS 2015 - Multi-Language Runtime (youtube.com)
L 5 pts 5 comments by breul99 Aug 12, 2015 javapythonrubyvideo Programming (General) thread
Is Python strongly typed? (stackoverflow.com)
L 6 pts 7 comments by av Sep 26, 2015 python Programming (General)Programming Languages / CS Theory thread
Mypy 0.3 Released, an optional static type checker for Python (mypy-lang.blogspot.com)
L 3 pts 1 comments by sanxiyn Feb 20, 2016 pythonrelease Programming (General)Programming Languages / CS Theory thread
Runtime type checks for TypeScript (github.com)
L 3 pts 0 comments by joshuacc Mar 16, 2016 javascript Web Development thread
Exploring sizes of data types in Python (jugad2.blogspot.com)
L 1 pts 0 comments by vasudevram Apr 28, 2016 programmingpython Programming (General)Programming Languages / CS Theory thread
Calling C from Python with ctypes (jugad2.blogspot.com)
L 2 pts 0 comments by vasudevram May 7, 2016 cprogrammingpython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime (blog.jle.im)
L 8 pts 0 comments by jle Jun 30, 2016 haskell AI / Machine LearningProgramming Languages / CS Theory thread
Writing custom type systems for Python in Prolog (code.alehander42.me)
L 4 pts 0 comments by av Jul 17, 2016 python Programming (General)Programming Languages / CS Theory thread
A Day with Mypy: Exploring the Python Type Checking Tool (machinalis.com)
L 4 pts 1 comments by Snocrash Jul 20, 2016 programmingpythonrelease Programming (General)Programming Languages / CS Theory thread
Re: Type hints -- a mediocre programmer's reaction (2015) (mail.python.org)
L 23 pts 3 comments by pushcx Jul 31, 2016 compilerspython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
PySonar: a type inferencer and indexer for Python (yinwang0.wordpress.com)
L 1 pts 0 comments by bowyakka Aug 16, 2016 programmingpython Programming (General)Programming Languages / CS Theory thread
Static types in Python, oh my(py)! (blog.zulip.org)
L 29 pts 1 comments by itamarst Oct 14, 2016 python Programming (General)Programming Languages / CS Theory thread
A Problem with Type Checking (in Python and oil shell) (oilshell.org)
L 4 pts 2 comments by andyc Dec 1, 2016 compilerscompsciprogrammingpythonunix Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Grumpy: A Python Runtime For Go (opensource.googleblog.com)
L 37 pts 10 comments by hypepat Jan 4, 2017 gopython Programming (General)Programming Languages / CS Theory thread
[Github Repo](https://github.com/google/grumpy)