Pull to refresh
16
0
Александр @ymn

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

Send message

Добрый день! Публикация второй части статьи всё ещё есть в планах?

Написано же, что git не найден, но может быть установлен с помощью sudo apt install git
Для баша нет IDE, которая тебе подскажет и поможет.

для баша есть set -x. Для условных однострочников этого хватает за глаза. Люди, которые хотят рефакторинг и go-to-definition для скриптов на баше, явно делают что-то не так.
Для «реально сложных выкладок» есть более подходящие инструменты.
Чуть ли не половина разработчиков на Scala используют не его, а Gradle
Пруф? Если судить по трендам гитхаба, то из top10 софтин на скале 7 используют sbt и только 1 gradle.
Монада — способ писать в импирическом стиле на ФЯП
Нет.
Курс по Coq уже давным давно запилен и называется «Software Foundations». Альтернативный курс называется «Certified Programming with Dependent Types».

Лучше ничего нет.
и это чего нибудь я бы поставил из портов себе и использовал
ejabberd, riak, rabbitmq прекрасно ставятся «из портов»

Сейчас го и раст пеарятся примерно тем же самым, хотя пока, к счастью, ничего полезного на них не родили.
Ага, позовите как только на них напишут аналог riak-core. Те же посоны из akka так ничего вразумительного пока не смогли придумать.
Фраза «выстрелить в ногу» приобретает новые оттенки)
Переформулирование в обычную терминологию выльется в неподъемные объемы

Зачем было изобретать велосипед?

Вы просто не можете поверить

Мы сейчас о точных науках говорим? Никакой веры! Только формальные методы, только хардкор! Кстати, было бы неплохо увидеть доказательство с использованием proof assistant. Уверяю вас, это свело бы на нет любые возражения.
Просто автор стремится сделать изложение доступным и ясным для более широкого круга читателей-хабровчан

А зачем? Лично я предпочел бы увидеть статью в рецензируемом научном журнале.
Вот еще аналогичный сервис — www.eclass.cc/
Загоняет машину задним ходом?
Большое спасибо!
Продолжайте наблюдения!

Information

Rating
Does not participate
Location
Екатеринбург, Свердловская обл., Россия
Date of birth
Registered
Activity