خوب چند برنامه نویسی که در توییتر دنبال می کردم امروز در مورد این زبان صحبت کردن که می تونید سایتشو https://www.unison-lang.org/ اینجا ببنید
توضیحاتی که خود سایتش در ورود می ده
Distributed programming
No more writing encoders and decoders at every network boundary. Say where you want computations to run and it happens 
— Dependencies are deployed on the fly.
Refactoring
Your codebase is always live and typechecks, even in the middle of a refactoring. Unison has structured refactoring sessions, not a big misleading list of type errors.
Durable storage
No more writing translation code between your values and the storage layer. Directly store values and unpersist them later without fear of dependency conflicts or version mismatches.
Storing code
Other tools try to recover structure from text; Unison stores code in a database. This eliminates builds, provides for instant nonbreaking renames, type-based search, and lots more.
Dependencies
Many dependency conflicts arise from definitions competing for the same names. Since Unison references code by hash instead of by name, an entire class of conflicts can be eliminated.
برای همه موارد بالا از کلمه رویکردی جدید استفاده کرده است.
نمونه کد های این زبان:
helloWorld : '{IO, Exception} ()
helloWorld _ = printLine "Hello World"
برای Distributed map-reduce
distributedEx : Seq k Nat ->{Remote} Nat
distributedEx dseq =
dseq
|> Seq.map (x -> x + 1)
|> Seq.filter (x -> mod x 7 == 0)
|> Seq.reduce 0 (+)
لینک گیت هاب
مثل اینکه این زبان با Haskell نوشته شده است حالا چیزی هست که در گیت هاب زده
توضیح کوتاه زبان
A friendly programming language from the future
Unison is a modern, statically-typed purely functional language with
the ability to describe entire distributed systems using a single program.