Hacker News Reader

Comment by S4M | Hacker News Reader

I am sure Kashmir is a great idea - in fact, I was wondering why there couldn't be a typed lisp compiling to C, but please put more coding example!

View on HN

Cool! :) I'll add more examples as soon as possible. Actually there's not much you can do with Kashmir at the moment, I've mostly focused on getting the basic model up so there's no library functions available etc. I have an idea about how to read the type signatures from compiled Go packages to be able to do simple interop between Kashmir and Go - no extern declarations or anything like that.

One thing I wonder: does let take types? Something like:

    (let ((x :string "hello"))
         (fmt.Println (+ x "owickstrom")))

(Although in that case the type can probably be infered...)

It does!

  (let (([x : string] "hello"))
    (fmt.Println (+ x "owickstrom")))

http://www.shenlanguage.org/

Reply on news.ycombinator.com