• Erlang Coq Привет, чятик! Общеизвестно, что эрланг, с точки зрения теории типов и прочего матана, довольно поганенький язык, на котором надоедает писать после полугода активного использования. Поэтому последнюю неделю я активно ковырял широко известный в узких кругах экстрактор CoreErlang github.com для Coq. Так вот, оно риальне работает. С некоторыми ограничениями, конечно, но работает.

Replies (2)

  • @ymn, показывай, что наковырял, мне тоже интересно
  • @Zert, Пока показывать нечего. Изучал исходники, на предмет написания собственного экстрактора. Пытаюсь решить проблему с каррированием. Такие дела.