Cool! :) I'll add more examples as soon as possible. Actually there's not much y... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

owickstrom on Nov 15, 2015 | parent | context | favorite | on: Kashmir: A statically typed Lispy language compili...

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.

S4M on Nov 15, 2015 [–]

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...)

owickstrom on Nov 16, 2015 | [–]

It does!

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

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact