Refinement types for Scala
Strong type constraints for Scala (by Iltotore)
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
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 | /r/scala | 26 Feb 2022
Does the fthomas/refined library work differently in Scala 3?
3 projects | /r/scala | 20 Jun 2023
Type erased on implicit evidence check
1 project | /r/scala | 28 Apr 2023
Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.
4 projects | /r/scala | 2 Mar 2023
Restrict uses of annotation in Scala
2 projects | /r/scala | 20 Feb 2023