Как стать автором
Обновить
22
0.1
Сергей @csl

Пользователь

Отправить сообщение

Как модель абстрактного вычислителя, эквивалентного машине Тьюринга?

Знакомому платили ретейнер, чтобы он работал с ABAP…
Ньюфаг агды радуется.
Касательно джаббер, я — пользователь conference.jabber.ru, например…
Может платить больше, если вы не коммитите в опенсорс (от своего имени, а не с аккаунта компании) в свободное время, хотя конкретная компания не запрещает этого, а просто косо смотрит.
Мой ноутбук Fujitsu, произведённый несколько лет назад, тоже боится…
Этот пост появился в понедельник, поэтому, получив оповещение, могу читать, пребывая в рабочем потоке, а не откладывать просмотр с воскресенья…
Взывая к более типизируемым языкам… В хаскеле есть именованный конструктор типа. А в Идрисе 1, Идрисе 2, Агде?
Это как принцип соблюдения контракта?
Можете назвать тип экструдера?

Подтверждаю и посматриваю на T15...

В .vimrc есть что-нибудь кастомное?

12 ...
17

Информация

В рейтинге
3 312-й
Зарегистрирован
Активность