Re: Java like static typing for Clojure?

2016-10-21 Thread Daniel
> In this sort of situation, a static type system which provides universal > guarantees (this value can never be null) is more useful than a contract > system (no null values have been seen yet for the test inputs you've tried). > There's simply no way I can test all combinations, or reproduce a

Re: Java like static typing for Clojure?

2016-10-21 Thread Daniel
> In this sort of situation, a static type system which provides universal > guarantees (this value can never be null) is more useful than a contract > system (no null values have been seen yet for the test inputs you've tried). > There's simply no way I can test all combinations, or reproduce a

Re: Java like static typing for Clojure?

2016-10-21 Thread Antonin Hildebrand
You could travel to the future and use ClojureScript with Kotlin as compilation target and a version of clojure.spec which resolves a subset of known constructs to Kotlin type annotations at compile-time :-p Actually that idea of having a library of compile-time-recognizable spec constructs (li

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Yates
Ironically I ran into an issue where I was receiving "" instead of nil which caused some interesting behaviour. For those who find these things interesting, this was for capturing criteria in the UI which was sent to the server to filter. The behaviour was: - form is nil, server ignores the quer

Re: Java like static typing for Clojure?

2016-10-21 Thread Sean Corfield
On 10/21/16, 10:40 AM, "Colin Fleming" wrote: > Honestly, the easiest solution to my problem is probably just to use Kotlin, > which was > designed by JetBrains for almost exactly my use case, has great IDE support, > and has > a lot of smart people working full-time on it. And, to be fai

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Fleming
Absolutely, both that and the dogfooding are compelling arguments :-) On 21 October 2016 at 20:04, Colin Yates wrote: > "making me sad" is unsustainable - problem solving with 1s and 0s is > hard enough as it is without using demotivating tools :-). > > On 21 October 2016 at 18:40, Colin Fleming

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Yates
"making me sad" is unsustainable - problem solving with 1s and 0s is hard enough as it is without using demotivating tools :-). On 21 October 2016 at 18:40, Colin Fleming wrote: > I tried it a couple of years ago, and my impressions were more or less the > same as CircleCI's here. I found the typ

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Fleming
I tried it a couple of years ago, and my impressions were more or less the same as CircleCI's here . I found the type annotation burden much higher than using a typed language such as Kotlin, the type checking was very slow and the bou

Re: Java like static typing for Clojure?

2016-10-21 Thread Josh Tilles
Out of curiosity, did you try Typed Clojure? It certainly has its rough edges, but you sound willing to bear the burden of annotating code with types (at the top-level, at least) and I *think* its treatment of Java interop does what you want: unless instructed otherwise, the typechecker assumes

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Fleming
Sure, I'm not arguing that all large projects suffer from this, and I'm not entirely sure why Cursive does so badly. But the argument I often see online is the opposite - that Clojure codebases never suffer from this, and if they do then it must be because of interop, or the application must be str

Re: Java like static typing for Clojure?

2016-10-21 Thread Alex Miller
Just as a counter-anecdote, I have worked on large Clojure codebases (both ones I developed and ones I was unfamiliar with), including ones that interfaced with existing Java codebases, and have not experienced this problem to the degree you describe Colin. So while I believe these problems exi

Re: Java like static typing for Clojure?

2016-10-21 Thread Colin Fleming
This is a discussion that I've had a couple of times. I don't think that interop is the main factor here, I think it's more that I'm programming against a large codebase I don't understand well (I can't since it's around 4 million LOC). I suspect that if I were programming against a large undocumen

Re: Slides for my talk at EuroClojure 2016

2016-10-21 Thread Colin Yates
thanks Mauricio On 21 October 2016 at 14:09, Mauricio Aldazosa wrote: > > > On Fri, Oct 21, 2016 at 3:36 AM, Colin Yates wrote: >> >> +1. >> >> Remind my old befuddled brain of the JS library used to produce those >> 3d-like presentations? > > > Looks like reveal.js > > Cheers, > Mauricio > > --

Re: Slides for my talk at EuroClojure 2016

2016-10-21 Thread Mauricio Aldazosa
On Fri, Oct 21, 2016 at 3:36 AM, Colin Yates wrote: > +1. > > Remind my old befuddled brain of the JS library used to produce those > 3d-like presentations? > Looks like reveal.js Cheers, Mauricio -- You received this message because you are subscribed to the G

Re: Slides for my talk at EuroClojure 2016

2016-10-21 Thread Colin Yates
+1. Remind my old befuddled brain of the JS library used to produce those 3d-like presentations? On 21 October 2016 at 00:22, Sean Corfield wrote: > That is some seriously impressive performance (in the slides) – very nice! > > > > Sean Corfield -- (970) FOR-SEAN -- (904) 302-SEAN > An Architect