Refinement types for Scala
Strong type constraints for Scala (by Iltotore)
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
Hybrid visual and textual functional programming.
Dataflow languages are going back to the late 70ies.
But I agree it's an under-explored branch of programming.
Event-"handlers" are by the way dataflow based in QML. Dataflow shines in GUIs.
But not only there:
Opinions on implementing traits for validation with the help of a companion object
2 projects | reddit.com/r/scala | 26 Feb 2022
Help me break the fourth wall
1 project | reddit.com/r/scala | 25 Apr 2022
Simple, Naïve, and Wrong: More than you wanted to know about Scala Case Classes
3 projects | reddit.com/r/scala | 26 Feb 2022
Help with Single Value Validated Types
2 projects | reddit.com/r/scala | 27 Aug 2021
Types versus sets in math and programming languages
1 project | reddit.com/r/ProgrammingLanguages | 24 Jul 2021