🦞🌯 Lobster Roll

Thread

Revenge of the Types (by Armin Ronacher) (lucumr.pocoo.org)
L 11 pts 2 comments by amontalenti Aug 24, 2014 compsciprogrammingpython thread

Stories related to "Revenge of the Types (by Armin Ronacher)" across the full archive.

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
Practical Types Brainstorming Event (staff.computing.dundee.ac.uk)
L 1 pts 0 comments by steshaw May 12, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Integrating Dependent and Linear Types (draft) (cs.bham.ac.uk)
L 4 pts 1 comments by BruceM Jul 10, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread
Mindless, Verified (Erasably) Coding using Dependent Types (github.com)
L 9 pts 1 comments by zem Jul 14, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
From the readme, the "mindless" refers to the fact that "fully-specified" coding using dependent types can actually simplify the task of implementing complex algorithms, while providing full verification of the resulting (extracted) code.
Types Don't Know # (C++ proposal for better hashing) (htmlpreview.github.io)
L 7 pts 0 comments by BruceM Sep 15, 2014 androidccompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Seven deadly sins of talking about “types” (cl.cam.ac.uk)
L 43 pts 3 comments by BruceM Oct 7, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Dependent Types for Pragmatics (jonmsterling.com)
L 11 pts 0 comments by BruceM Oct 19, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Against the definition of types (tomasp.net)
L 4 pts 0 comments by pushcx May 15, 2015 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Swift Enums Are “sum” Types. That Makes Them Very Interesting (mislavjavor.com)
L 3 pts 0 comments by solidsnack Apr 20, 2017 compsciprogrammingswift Programming (General)Programming Languages / CS TheoryApple / macOS / iOS thread
A good exploration of product vs. sum types -- when they are used and where the names come from.
Alms - Sound, ML-like Language with Affine Types (2011) (users.eecs.northwestern.edu)
L 8 pts 0 comments by nickpsecurity May 6, 2017 compscimlprogramming Programming (General)Programming Languages / CS Theory thread
Stateful Contracts for Affine Types (2010) (users.eecs.northwestern.edu)
L 7 pts 0 comments by nickpsecurity Dec 7, 2017 compscipdfpltprogramming Programming (General)Programming Languages / CS Theory thread
Refinement Types in ML (1991) (cs.cmu.edu)
L 9 pts 2 comments by nickpsecurity Jan 14, 2018 compilerscompscimlpdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Extending native JS prototypes is not such a crazy idea with symbols (dev.to)
L 9 pts 12 comments by slikts Jul 20, 2023 compscijavascriptprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Leveraging types for better APIs (github.com)
L 5 pts 0 comments by green7ea Jul 24, 2024 compscinetworkingprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Python, Go, Rust, TypeScript and AI with Armin Ronacher [video] (youtube.com)
HN 2 pts 0 comments by tosh Oct 8, 2025 AI / Machine LearningWeb DevelopmentSystems / Low-Level / OS thread
Existential types and data abstraction (iveselov.info)
L 3 pts 0 comments by inactive-user Aug 30, 2012 compsci Programming Languages / CS Theory thread
Rust: Function and Object Types (smallcultfollowing.com)
L 1 pts 1 comments by andymatuschak Nov 4, 2012 compscirust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Modeling the World with Prototypes (devblog.avdi.org)
L 5 pts 0 comments by rob Dec 11, 2012 compsciruby Programming (General)Programming Languages / CS Theory thread
Mutation testing with PIT: A step beyond normal code coverage (dev.theladders.com)
L 1 pts 0 comments by SeanTAllen Mar 15, 2013 compscijavaprogramming Programming (General)Programming Languages / CS Theory thread
List Out of Lambda (stevelosh.com)
L 2 pts 0 comments by kb Mar 30, 2013 compscijavascriptprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Dive into parser combinators: parsing search queries with F# and FParsec (blog.fogcreek.com)
L 3 pts 0 comments by tedu Apr 26, 2013 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Real Talk Podcast (realtalk.io)
L 2 pts 1 comments by jcs Apr 29, 2013 compsciprogramming Programming (General)Programming Languages / CS TheoryInternet / Digital Culture thread
Iso-Recursive versus Equi-Recursive Types (whiley.org)
L 1 pts 0 comments by puffnfresh Apr 30, 2013 compsci Programming Languages / CS Theory thread
Co-recursion (en.wikipedia.org)
L 2 pts 0 comments by lelf Jun 7, 2013 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems (web.media.mit.edu)
L 1 pts 1 comments by SeanTAllen Jun 9, 2013 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Reminder: Real Talk Podcast (realtalk.io)
L 5 pts 0 comments by jcs Jun 14, 2013 compsciprogramming Programming (General)Programming Languages / CS TheoryInternet / Digital Culture thread
I [submitted](https://lobste.rs/s/8dijl0/real_talk_podcast) this a month ago when it first came out, but 6 episodes in, I feel like I have to mention this podcast again. If you hate the Hacker News/YC/VC/startup scene circlejerk, this podcast is a great listen. Joe Damato (the guy behind the awe...
A Strongly Named Language (gist.github.com)
L 4 pts 2 comments by szbt Jun 17, 2013 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Bloom: Big Systems from Small Programs (youtube.com)
L 2 pts 0 comments by SeanTAllen Jul 8, 2013 compsciprogrammingscalingvideo Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Regex Crossword (regexcrossword.com)
L 9 pts 6 comments by ray Jul 17, 2013 compsciprogrammingunix Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Communicating Sequential Processes (swannodette.github.io)
L 2 pts 1 comments by carinmeier Jul 19, 2013 compscijavascriptprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread