Channels
#arrow-contributors
- r
raulraja
03/20/2019, 9:10 PMand that is not even touching FP applications - r
raulraja
03/20/2019, 9:10 PMDon't know bu we are all hopeful - s
sam
03/20/2019, 9:10 PMtypeclasses are a feature that is so obvious when someone shows you, you wonder why you didn't always use it. - r
raulraja
03/20/2019, 9:10 PMand willing to compromise in whatever style, just need the feature - r
raulraja
03/20/2019, 9:11 PMagreed, it's pretty basic - s
sam
03/20/2019, 9:11 PMpattern matching is even more important though. I don't believe they're not secretly working on it for 1.4 - s
sam
03/20/2019, 9:11 PMthey've always said when I've asked it's not on the roadmap, but come on, even java wants it - r
raulraja
03/20/2019, 9:12 PMyeah and I heard that Java's has more powers thanwhen - s
sam
03/20/2019, 9:12 PMJava's is just a proposal at the moment, but could arrive in 2020 - r
raulraja
03/20/2019, 9:12 PMso it's gonna suck big time if Kotlin ends up with no type classes and poorer matching😅 1 - s
sam
03/20/2019, 9:13 PMyep, if java gets extraction on matching in 2020, and kotlin has the poor man's when, what's the point of using kotlin at that stage - s
sam
03/20/2019, 9:13 PMBrian has proposed Records for Java too, which are just data/case classes - s
sam
03/20/2019, 9:13 PMJava is starting to look better and better - r
raulraja
03/20/2019, 9:14 PMI still think receiver and easy ext funds beat those features. And my favorite feature of Kotlin is suspension - r
raulraja
03/20/2019, 9:14 PMbecause now Kotlin has an effects system that tracks side effects at compile time - r
raulraja
03/20/2019, 9:14 PMand you don't get that even in scala - r
raulraja
03/20/2019, 9:15 PMwith a faster runtime - r
raulraja
03/20/2019, 9:15 PMno ADT or allocations barelly compared to the IOs of Scala - s
sam
03/20/2019, 9:15 PMI agree, I think that it's gone largely under the radar yet what they've created is awesome - r
raulraja
03/20/2019, 9:15 PMyeah that is the Kotlin killer feature to me and most people think it's just for coroutines or concurrency - s
sam
03/20/2019, 9:15 PMand more important, I think this as someone who values cognitive safety over compile safety, is something that is elegant and easy to read - r
raulraja
03/20/2019, 9:15 PMit's so much more - r
raulraja
03/20/2019, 9:16 PMtotally imperative FP FTW! - s
sam
03/20/2019, 9:16 PMthat's because the key use case at the moment is coroutines so people think coroutines == continuation suport - r
raulraja
03/20/2019, 9:18 PMyep, one of the most powerful underutilized features is@RestrictsSuspension - r
raulraja
03/20/2019, 9:19 PM - r
raulraja
03/20/2019, 9:20 PMWe can use that to create compilation boundaries a la carte - r
raulraja
03/20/2019, 9:20 PMpreventing usage of APIs in different layers and restricting unsafe operations to be flagged explicitly as unsafe - r
raulraja
03/20/2019, 9:21 PMand how we use with
which allows to track a foreign side effect and lift it to a pure value not letting it compile in pure functions where the effect isn't tracked.effect - r
raulraja
03/20/2019, 9:21 PMEssentially enforcing
like Haskell does if you work withIO
to declare side effects.suspend fun