A modern programming language that makes developers happier.

kotlinlang

Hi, someone on Twitter asked me, if Refined Types (Arrow Meta) would work with model classes, that are JPA entities. I said "I don't think so", but I'm very insecure when giving advice. I understand the private constructor / creation via companion object as mandatory and I don't see a way to teach H8 using that. Was that right? Thx in advance

Hi <@U01AM7C0V5H> The current version of refined types would be able to do that because the refinement and compile time evaluations happens over Companion invoke calls that are detached from the class instances themselves but we are removing that plugin in favor of Arrow-Analysis. Arrow-Analysis is currently in active development by <@U028BLB5LG3> and myself and we have an ETA for first release by Dec 2021. This plugin can perform more complex data flow analysis and ensure code is safer even when you don’t use your own refined types. For a glimpse at what it can do you can check out the tests in this file <https://github.com/arrow-kt/arrow-meta/blob/main/plugins/analysis/kotlin-plugin/src/test/kotlin/arrow/meta/plugins/analysis/AnalysisTests.kt>

Arrow-Analysis uses an smt solver and lifts the kotlin expressions ensuring pre, post and invariants are obeyed across the program dataflow. It report call sites and places that would otherwise not pass the requirements and provides information as to why.

I originally developed the Refined types support as a prototype of what could be done with the Ir constant expression evaluator in the compiler. Finally when <@U028BLB5LG3> joined me in this problem he convinced me there was a better way to do all this so we are abandoning the old refinements in favor of this plugin. In the test file you can find examples like `PostiveInt` , collection access and others that show outcomes of compilation with and without the plugin applied

Hi <@U4UGS5FC7>, thank you very much! I guess thinking of H8, I missed that refinement happens at compile time, before H8 can do it's reflection thing with the (synthetic, if `no-arg` plugin is used) public constructor. *doh*
Please excuse me for giving advice without trying out things first. I'm still on parental leave and kinda lazy. I will tell the guy. :slightly_smiling_face:
The new plugin sounds exciting. I will check out the tests! Thanks for making Arrow so accessible, you guys rock. :the_horns: