Type Inference Zoo

https://zoo.cuichen.cc/

160•mpweiher•7mo ago

Comments

flashgordon•7mo ago

This is amazing. I've been wanting to do this for ages (even tried a few times and failed a few times). Great to see this.

dmkolobov•7mo ago

It is crazy how much work comes out of Bruno Oliveira’s research groups.

Another cool online thing that exists is CP, a language with disjoint intersection and union types:

https://github.com/yzyzsun/CP-next

gavinray•7mo ago

TypeScript has this functionality.

Additionally, Scala 3 does as well, including support for these generic "Type-Lambda" expressions I saw in one of the examples on the playground:

https://beta.plground.org/jnclma/CP_tutorial

  printNum = trait implements ExpSig<Eval => Print> {

In Scala 3, this would be roughly:

  trait ExpSig[F[_]]
  object printNum extends ExpSig[[A] =>> Eval[A] => Print]

https://docs.scala-lang.org/scala3/reference/new-types/type-...

b0a04gl•7mo ago

huh funny how python's doing the job of modeling type systems when it barely enforces types itself. but makes sense the more u poke around. didn't have to fight any compiler layer or deal with noise. could just build the inference logic raw, decide how types get unified, how ctx gets stored, all that. no annotations or weird conversions. the language just stepped aside so i could focus. actually helped my brain map the theory better ngl

b00ty4breakfast•7mo ago

>uh funny how python's doing the job of modeling type systems when it barely enforces types itself

The magic of computers. You can write a standards-compliant Lisp interpreter in python, too and it doesn't have a large chunk of that stuff in itself either.

France's homegrown open source online office suite

British drivers over 70 to face eye tests every three years

Start all of your commands with a comma (2009)

Hoot: Scheme on WebAssembly

Leisure Suit Larry's Al Lowe on model trains, funny deaths and Disney

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

First Proof

Reinforcement Learning from Human Feedback

Stories from 25 Years of Software Development

The Waymo World Model

Coding agents have replaced every framework I used

Vocal Guide – belt sing without killing yourself

72M Points of Interest

A Fresh Look at IBM 3270 Information Display System

Software Factories and the Agentic Moment

Unseen Footage of Atari Battlezone Arcade Cabinet Production

StrongDM's AI team build serious software without even looking at the code

Making geo joins faster with H3 indexes

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Google staff call for firm to cut ties with ICE

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Ga68, a GNU Algol 68 Compiler

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Hackers (1995) Animated Experience

Sheldon Brown's Bicycle Technical Info

Show HN: I spent 4 years building a UI design tool with only the features I use

What Is Ruliology?

Show HN: If you lose your memory, how to regain access to your computer?

An Update on Heroku

Microsoft open-sources LiteBox, a security-focused library OS