swamp_agr (swamp_agr) wrote,
swamp_agr
swamp_agr

От типов данных к типам сессий

Мне по пути с этими ребятами. Среди них Philip Wadler, его имя на слуху. Про остальных услышал впервые сегодня.

Today, software tools exploit types to optimise code, whereas they do not exploit protocols; tomorrow, software tools will exploit session types to optimise communication. In short, architects, programmers, and software tools will all be aided by session types to reduce the cost of producing concurrent and distributed software, while increasing its reliability and efficiency.

Хочется так сильно писать как можно меньше кода для построения деревьев условных последовательностей состояний (которые, по-хорошему, можно и нужно декларировать в как можно более простом формате и скармливать основному приложению), что ничего не остаётся, кроме как принять эту тему как базис для своих изысканий и продалбливаться навстречу манящему миру лямбда-исчислений. Уже сейчас отчетливо видны корабли, бороздящие просторы конкретные фреймворки и приложения, которые можно реализовать с помощью инструментов, надстроенных над этой концепцией.

Эмуляторы и протоколы на любой вкус и цвет. Продвинутый ETL-фреймворк для построения миграционных и интеграционных приложений, кстати тоже. Учитывая то, что данные в общем случае надо протаскивать через по-разному ветвящиеся последовательности преобразований.

Интересно, можно ли под это дело будет открыть какой-нибудь ETL/IO consultancy...
Tags: arbeit_macht_frei, etl, haskell, hfsm, interpreter, io, llc
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 15 comments