Arrow question :slightly_smiling_face: Im busy dev...
# arrowt
Ties
11/18/2021, 4:01 PMArrow question 🙂 Im busy developing a talk about the arrow framework for a conference, Its going quite well (although finding good examples in researching arrow was kinda hard). And in my research I managed to get refined types working (although I have not been able to get the compile errors to show in intellij? (can anyone help with that?)) but I think I read somewhere that this will be rebuild in december? (in that case I do not want to put it in the talk yet and rather wait for a more stable version)
r
raulraja
11/18/2021, 5:16 PMHi @Ties, the refinement plugin is becoming Arrow Analysis and will be release in December.
raulraja
11/18/2021, 5:16 PMIt’s already available as snapshot
t
Ties
11/18/2021, 5:18 PMAre there any examples available? 🙂
👀 1
r
raulraja
11/19/2021, 9:10 AM@Ties @pakoito The setup in docs is still not available but info of what it does https://arrow-kt.io/docs/meta/analysis-quickstart.html and some examples https://github.com/arrow-kt/arrow-meta/blob/main/plugins/analysis/example/build.gradle.kts of a local config without the gradle plugin. The tests shows how it behaves with simple programs https://github.com/arrow-kt/arrow-meta/blob/main/plugins/analysis/kotlin-plugin/src/test/kotlin/arrow/meta/plugins/analysis/AnalysisTests.kt We will get all fixed and ready for publishing this december.
❤️ 1
a
Alejandro Serrano Mena
11/19/2021, 6:53 PMwe’ll shortly publish an example project with the corresponding configuration for trying from snapshot
t
Ties
11/19/2021, 6:54 PMawesome! looking forward to it
11 Views