2,005 followers
@heades Nick Benton's "Undoing dynamic typing" is a nice demonstration of how to call between a dynamically typed language and a typed one: https://t.co/y0h5spAV1j Relatedly, the MLj compiler (SML to JVM) that he worked on had a nice FFI.