It entirely depends on the typed language. Anything that can compile to a C-compatible binary should be usable.
I believe that Haskell can do that. You have to explicitly write what the C entry points are going to be, which might be tedious, but I think it's for the best anyway. See http://www.haskell.org/haskellwiki/FFI_Introduction . I don't know enough about Typed Racket or Typed Clojure to know if they could do that. Noah On Wed, Sep 19, 2012 at 10:24 AM, <thorso...@lavabit.com> wrote: > Noah, > > Can Guile use a library written on a typed language? > > I understand that it's not going to work out of the box, but what would be > easier to adapt: Haskell, Typed Racket or Typed Clojure*? > > >