Stuart Hungerford (Apr 01 2026 at 05:28): Stuart Hungerford (Apr 01 2026 at 05:28):Roc looks like a fun and friendly language already, so many thanks to the developers.
I may have my concepts confused here but in the next releases of the language will abilities be replaced by static dispatch functions or implemented using them internally? Is the approach something like the "scrap your typeclasses" idea from the Haskell community?
I'd like to try implementing an older project of mine https://gitlab.com/ornamentist/un-algebra in Roc but it relies (in Rust) heavily on traits.
Luke Boswell (Apr 01 2026 at 06:11):will abilities be replaced by static dispatch functions or implemented using them internally
Replaced - its an entirely new and different approach
Luke Boswell (Apr 01 2026 at 06:13):I think Richard gives a high level overview in this video https://youtu.be/VnPw9rk8FI8?si=5nEkGM5Pb59e4xaP
Luke Boswell (Apr 01 2026 at 06:13):See also https://github.com/roc-lang/roc/blob/main/docs/langref/static-dispatch.md
Luke Boswell (Apr 01 2026 at 06:16):One of the project I'm keen to explore someday is implementing a Projective Geometric Algebra lib using static dispatch so the number literals "just work" and we have nice maths for physics in my graphics platform :smile:
Stuart Hungerford (Apr 01 2026 at 07:27):Thanks for the background info. If you do create a PGA library (even just 2D) I'll definitely use it.
Last updated: Apr 10 2026 at 12:38 UTC