[elviejo]

Something that is looking to be able to do that is Unison-lang.

Like if haskell and smalltalk had a beautiful son.