> > I have longed for a statically compiled language with type inference with > the simplicity and consistency of Clojure's syntax that also supports > generative testing and works on the JVM but alas, I have not found one. > Frege and PureScript both look interesting but I am unsure of Frege's > longevity and PureScript's performance on the JVM's Javascript > environment.
Note that both of those options both suffer from very difficult interop - PureScript will probably not have any at all since it will be expecting to interop with JS, and Frege has some but it's clunky due to the type system mismatch. Personally I long for a Kotlin/Clojure hybrid, to the point that I have seriously considered trying to build one. On 8 April 2017 at 14:57, Didier <didi...@gmail.com> wrote: > | I think you missed my point, which is only "Spec is great as we have > the power of Clojure" - sure, just don't forget you have the power of > ANOther language in that language as well. > > Hum, I've probably missed your point sorry, I'm still not following. > > | no, this will, or at least should, be caught. 10/0 is not an int, and > typed "/' would reject 0 as an ill-typed denominator. > > In most static type systems this will not be caught, because they don't > have a fraction type. So this is actually a function that takes two number > types, and 0 is a number too, so it will type check, but throw an exception > at runtime. > > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > --- > You received this message because you are subscribed to the Google Groups > "Clojure" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojure+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
