This is probably a stupid question, but I know that Ambrose has written and pres... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		craigching on Sept 27, 2013 \| parent \| context \| favorite \| on: Crowdfunding for Typed Clojure and ClojureScript This is probably a stupid question, but I know that Ambrose has written and presented on a type checker written in core.logic. Is this related to that in any way?

swannodette on Sept 27, 2013 [–]

Unrelated, Typed Clojure is based on research that went into Typed Racket

ambrosebs on Sept 27, 2013 | [–]

Just as cool though! :)

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact