These are chat archives for got-lambda/expression

12th
Jan 2017
Erik Svedäng
@eriksvedang
Jan 12 2017 07:26
this seems like it could be interesting some folks here perhaps, anyone looked at it? http://eta-lang.org
Jean-Louis Giordano
@Jell
Jan 12 2017 07:27
ah damn I should check-in here more often missed a ton of interesting things :p sorry about that
@magthe I think Clojure supports down to JRE 1.5
1.6+ shouldn't be a problem iirc
Jean-Louis Giordano
@Jell
Jan 12 2017 07:39
on my side of interesting adventures, I've been toying with Blue-Green deploys. Blue-Green deploy with docker more specifically.
Jean-Louis Giordano
@Jell
Jan 12 2017 07:46
@magthe although, not all libraries support Java 5 of course. I think in particular the latest version of lein might require a later version of Java
jolod
@jolod
Jan 12 2017 07:59
@eriksvedang Looks a lot like Haskell... Like, indistinguishable. :-)
Marco Zocca
@ocramz
Jan 12 2017 09:41
@eriksvedang @jolod yeah, Eta is a port of GHC 7.10.3 on the JVM. Because enterprise, basically. I'm not really sold on the idea, but there's an Indian company that put its weight behind it
buuuut if we stay in Haskell-land and really want to FFI out to Java we have https://hackage.haskell.org/package/inline-java
Magnus Therning
@magthe
Jan 12 2017 10:31
@Jell, so if a particular package (quil) complains about Java version (it wants JDK 1.8 and I only have 1.7), would you consider that an issue to be raised on their bug tracker?
Magnus Therning
@magthe
Jan 12 2017 12:14
@ocramz did you find any answer to your question on Arbitrary?
Marco Zocca
@ocramz
Jan 12 2017 12:41
ah you lurk on IRC as well :D
Marco Zocca
@ocramz
Jan 12 2017 12:46
yes, a guy suggested to use the Monad instance :
do 
    a <- arbitrary
    b <- arbitrary
    if (q a b) then return (a, b) else arbitrary
this would be instance Arbitrary a => Arbitrary (a, a)
Marco Zocca
@ocramz
Jan 12 2017 12:52
there's also the suchThat modifier. I am really scratching the surface of what's possible with QuickCheck
Magnus Therning
@magthe
Jan 12 2017 13:44
I think the suchThat modifier filters the list of generated data, meaning that you will get fewer tests
Since there's already an Arbitrary a, Arbitrary b => Arbitrary (a, b) instance you might want to package yours in some newtype (or maybe my thinking is bad here)
ah, no, now that I read your writings more carefully you can probably scratch the last thing
Marco Zocca
@ocramz
Jan 12 2017 14:22
so, I was really thinking of a pairwise property of the same object, for example orthogonality. Choose two vectors of numbers, having the same # of entries, such that their inner product is zero.
Marco Zocca
@ocramz
Jan 12 2017 16:25
come to think of it, this is really testing how the comparison function works, rather than the datastructure itself.
jolod
@jolod
Jan 12 2017 21:18
@ocramz eta is probably a good idea, I think. It makes it a lot easier to try Haskell for small parts of your Java program, since you can just import your eta code as a library. Very small risk involved, and no change to deployment and what-not.