Да прост чувак с максимализмом хочет создать свой язык, который по сути есть что-то похожее на фшарп)
На F# и все другие существующие языки это ни капли не похоже. Это будет язык, ориентированный на данные, и первоначальная цель именно заменить все текстовые и бинарные форматы сериализации, а не какой-либо существующий язык программирования. Если он и станет языком общего назначения, то очень не скоро. Поначалу это будет встраиваемый вспомогательный язык, который будет брать на себя все задачи, напрямую связанные с хранением и преобразований данных, главным образом, те из них, которые существующие языки решать не приспособлены.
Сейчас для решения этих задач используют либо готовые неэффективные решения (JSON/XML/protobuf и т.п.) с костылями, либо делают своё на неприспособленных для этого языках программирования путём написания большого количества сложного кода, который приходится долго и мучительно дебажить, потом модифицировать и дебажить заново.