Wow. I've been searching for my next language and this could be perfect. I loved Haskell and really miss static typing, type inference, etc, but got tired of living in mondads. I've been looking at Clojure a lot anyways, but really dislike dynamic typing. If I could have Clojure with static types, I'd be done searching.<p>Though BODOL mentions static typing, I didn't see any examples... What did I miss?
I wish developers had more sense of marketing in general - with all due respect to it's author(s) but BODOL (the word) sounds,... well strange, unsexy, uninteresting. It really doesn't do the language itself any justice!
Bodil Stokke is a good person to follow in general (on Github and Twitter) if you're into Clojure.<p>The name made me chuckle.<p>The Hindley-Milner actually makes seeing where the type system comes in a little difficult with these examples.<p>Hopefully see more code soon.
This looks really cool and I hope it takes off.<p>I spent 2-4 weeks really trying hard to learn Haskell and I loved it. But when I tried to make something practical with it, I got so frustrated with its dependency manager (cabal) and its lack of support for Windows that I dropped it for Clojure.<p>I love Clojure's ecosystem, its ability to use any Java library, and its (lack of) syntax.<p>But I really miss the language features of Haskell. I think Clojure lets you get away with a lot of imperative style programming. You can have a function deep down in the bowels of your code perform side effects if you want. Haskell makes you define these in one place and forces you to separate it from the rest of your code (at least that's what the beginners books led me to believe).<p>A language that combines the benefits of both sounds like a dream.
She's pretty fast to dismiss Shen:<p>> Shen is a splendid compromise, but I found myself wishing it came with Haskell's uncompromising purity and Standard ML's straightforward type system.<p>I guess Haskell/ML minded people have a reason to think this way, but I'd be more interested to know whether <i>someone is doing anything interesting with Shen. Have you got any "production" code written in it and running to show off?</i><p>EDIT: sorry! ...fixed the gender bug.
Looks cool but why the λ and ƒ? That's not practical for anyone. I guess it's a cool novelty for functional types but it will confuse anyone who sees BODOL in the wild.<p>I know it's a nitpick, but it seems strange to include characters that aren't on the keyboard as part of the default syntax.
Great, I think it has a very clean, elegant syntax, which is very nice; I don't write much lisp but it seems that every time I look at a piece of code in lisp, I tend to appreciate even more how minimalist lisp is.
I don't get why -> syntax is used if part of the goal is homoiconicity.<p>Nitpicking aside, I fully approve of the goals and look forward to browsing the source.
Lisp homoiconicity + strong, expressive static typing seem hard to mix. Apparently Shen does it? Is the type system similar to ML with quotations/antiquotations?
looks similar to <a href="http://i.webscale.info/lipl/core.html" rel="nofollow">http://i.webscale.info/lipl/core.html</a> except that LIPL doesn't have pattern matching
This is just a toy language, an excercise, not a real language.
And it's easy to implement a simple purely functional language in another functional language.