#algebraic-data-types

[ follow ]
Java
fromInfoQ
2 days ago

Cangjie, a New Open-Source Compiled Language with Native Effect Handlers and Algebraic Data Types

Cangjie is a safe, expressive, general-purpose language with algebraic data types and native effect handlers that generalize exceptions and enable dynamic binding.
fromMedium
3 months ago

Agentic Workflows in Scala (Without the Buzzwords)

High-level view of the travel search workflow, highlighting parallel searches, explicit decision points, and iterative refinement. In Scala, we define this workflow using Workflows4s, encoding both state and transitions explicitly in the type system. Instead of opaque state blobs or untyped contexts, the state of the process is represented using algebraic data types - types like Started, Found, Sent, and Booked - each corresponding to a distinct point in the workflow's lifecycle.
Scala
[ Load more ]