22 сентября 2012 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Я не понимаю, почему надо заниматься неестественной трансляцией Хаскеля при передаче данных про трубы. Что такое ADT в данном контексте? Надеюсь, что вы понимаете, что вы собираетесь сшивать языки с разными семантиками и что вам потребуется трансляция (желательно, доказуемо корректная) между семантиками.