Programming

16971 readers

258 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Follow the programming.dev instance rules
Keep content related to programming in some way
If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]

founded 1 year ago

MODERATORS

[email protected]

Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language (www.unison-lang.org)

submitted 9 months ago by [email protected] to c/[email protected]

44 comments fedilink hide all child comments

A friendly programming language from the future.

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 5 points 9 months ago (6 children)

"Capabilities" is the new "Functional Programming" of decades prior,

Scala is also expanding in this area via the Caprese project: https://docs.scala-lang.org/scala3/reference/experimental/cc.html and it promises Safe Exceptions, Safe Nullability, Safe Asynchronicity in direct style/without the "what color is your function" dilemma, delineation of pure vs impure functions, … even Rust's borrow checker (and memory guarantees) becomes a special case of Capabilities.

I believe this is a major paradigm shift, but the ergonomics have yet to be figured out and be battle-tested in the real world. Ultimately, like for Functional Programming Languages (OCaml, F#, Haskell, …) I don't expect pionniers like Unison/Koka/Scala to ever become mainstream, but the "good parts" to be ported to ever the more complex and clunky "general purpose" programming languages (or, why I love Scala which is multiparadigm and still very thin/clean at its core).

[–] [email protected] 2 points 9 months ago (3 children)

It's not really fair to state that functional languages aren't battle tested or imply they aren't useful in real world problem solving, Erlang/Elixir prove that.

[–] [email protected] 2 points 8 months ago (2 children)

functional languages aren’t battle tested or imply they aren’t useful in real world problem solving

Yup, I never said that, though? What I was about was to draw a parallel between functional programming languages and explorations from several decades ago vs the new languages and explorations going into effect typing/capabilities programming now (and the long way ahead for those).

What I find interesting is that those pioneering FP languages never came to top the popularity chart, implying that I'm not expecting Unison to be different (but the good parts might make it into Java/C#/Python/… many years from now).