Unison | 一种来自未来的友好的、静态类型的函数式编程语言 · Unison 编程语言

  • Distributed programming: No need to write encoders and decoders at each network boundary. Just specify where to run computations and it will be done. Dependencies are deployed on the fly. Learn More.
  • Refactoring: The codebase is always live and typechecks during refactoring. Unison has structured refactoring sessions instead of a long list of type errors. Learn More.
  • Durable storage: No need to write translation code between values and the storage layer. Directly store and unpersist values without worrying about dependency conflicts or version mismatches. Learn More.
  • Storing code: Other tools recover structure from text, while Unison stores code in a database. This eliminates builds, enables instant nonbreaking renames, type-based search, etc. Learn More.
  • Dependencies: Many dependency conflicts occur due to definitions competing for the same names. Since Unison references code by hash instead of name, a class of conflicts can be eliminated. Learn More.
阅读 19
0 条评论