These are chat archives for fthomas/refined

28th
Aug 2015
Frank S. Thomas
@fthomas
Aug 28 2015 08:36
@koshelev I've just discovered https://github.com/PDXostc/rvi_sota_server via a GitHub search for refined. Looks like you are using refined in a few places. That is pretty cool! :-)
Vladimir Koshelev
@koshelev
Aug 28 2015 08:41
@fthomas Yes, we do :)
Vladimir Koshelev
@koshelev
Aug 28 2015 08:46
If it goes well we will be able to add the project to “Projects using refined” :)
Frank S. Thomas
@fthomas
Aug 28 2015 08:48
I've seen a few places in your code where the refined API changed in the latest release. Guess I shouldn't break the API so freely as I've done in the previous releases.
That would be nice!
Frank S. Thomas
@fthomas
Aug 28 2015 08:55
@koshelev not sure if I said it before, but any suggestions that make it easier to work with refined are very much appreciated. :-)
Vladimir Koshelev
@koshelev
Aug 28 2015 09:04
@fthomas Our concern now is errors representation, but hopefully i will manage to work on the brunch this weekend :)
Another thing is to add some scalacheck support, but it should not be so hard
Frank S. Thomas
@fthomas
Aug 28 2015 09:11
The ScalaCheck support sounds interesting. I guess you want to have an Arbitrary[F[T, P]: RefType] automatically if there is an Arbitrary[T] and a Predicate[P, T]?
That calls for a new refined-scalacheck module!
Vladimir Koshelev
@koshelev
Aug 28 2015 09:18
@fthomas Yes, something like that
Are you using refined for your job or just as hobby? :)
Frank S. Thomas
@fthomas
Aug 28 2015 09:23
@koshelev I'm doing Java at my job.
But I'm willing to bring refined to "production" quality
Vladimir Koshelev
@koshelev
Aug 28 2015 09:25
@fthomas Ouch...
@fthomas Want to move to Berlin? We have enough scala jobs here ;)
Frank S. Thomas
@fthomas
Aug 28 2015 09:28
I've a young family and we don't want to move right now. Also, I'm trying to establish Scala at my job and I it seems that I'm getting there... :-)
Vladimir Koshelev
@koshelev
Aug 28 2015 09:30
@fthomas Fair enough :) May I ask where are you living?
Frank S. Thomas
@fthomas
Aug 28 2015 09:32
@koshelev in Augsburg near Munich
Vladimir Koshelev
@koshelev
Aug 28 2015 09:34
I spend a lot of time in Munich some years ago
Frank S. Thomas
@fthomas
Aug 28 2015 09:35
it is horribly expensive there!
Vladimir Koshelev
@koshelev
Aug 28 2015 09:36
Yes, it is. But it was for business, so company paid for the hotel
Frank S. Thomas
@fthomas
Aug 28 2015 14:06
@koshelev FYI: I just pushed the wip/errors-as-data-2 branch which is like wip/errors-as-data but uses a type parameter instead of a type member for the result type. If there are no technical reasons for a type memeber I'd prefer the version with the type parameter.