Iltotore/iron
View on GitHub ↗ ★ 562 Scala
Strong type constraints for Scala
7 mentions on Hacker News by 4 people: 4 stories, 3 comments · first 2021-07-30 · latest 2025-04-04
20082026
-
▲ 3
Strong Type Constraints for Scalastory by mooreds · 2025-04-04 · 0 comments
-
Type system makes a huge difference especially things like refined types: https://github.com/Iltotore/iron Shifts entire classes of errors to compile time.
comment by threeseed · 2025-03-26 · in Evolving Scala -
…20 years, and don't expect it to come to the C languages ever. Meanwhile in mainstream ML-land: https://github.com/Iltotore/iron (Or for the older version of the language: https://github.com/fthomas/refined ) (Please also note that for…
comment by still_grokking · 2023-04-02 · in Catch-23: The New C Standard Sets the World on Fire -
▲ 2
Iron v2.0.0 Is Outstory by Il_totore · 2023-01-30 · 1 comment
-
▲ 2
Iron v1.1.2 (A type constraint system for Scala) is availablestory by Il_totore · 2021-10-25 · 0 comments
-
…for refinement-types? Scala to the rescue: https://github.com/fthomas/refined And a new one: https://github.com/Iltotore/iron/ The latter will be zero overhead once a compiler ticket is closed. Both solutions will yield compile time checks…
comment by still_grokking · 2021-08-17 · in What was the last breakthrough in computer programming? (2019) -
▲ 1
Iron, type-level validations for Scalastory by Il_totore · 2021-07-30 · 0 comments