Хаскельное

[metaclass]

http://vit-r.livejournal.com/679524.html?thread=3691364#t3691364
решили на прошлой работе трое таки попробовать Хаскель, для неспешной задачи. генерация DDL, DML c скриптами SQL. Бились, бились, - но сделали, и был восторг! Потом, затянула обычная работа, через месяцок нужно было добавить кое-чего... и никто из троих не смог понять как оно работает, и как же добавить.

Звучит похоже на правду. Хотя у меня и F# и Clojure в подобных задачах живут и развиваются без проблем.

Comments

[metaclass.livejournal.com]

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

[berezovsky.livejournal.com]

Сам пускай учится, хуле его учить.

[vit-r.livejournal.com]

Кроме веба и этого полно другого софта.

Гадаем дальше.

[anonim-legion.livejournal.com]

Вы уж лучше скажите сами.

[metaclass.livejournal.com]

Встраиваемый, промышленная автоматизация.

[vit-r.livejournal.com]

Если мы говорим о качестве, то начинать имеет смысл с того, что называется  mission critical software, то есть такой, где ошибки могут стоить мнониг миллионов или человеческих жизней.

Ну это так, для примера. Есть ещё много чего не менее интересного, не относящегося ни к вебу, ни к бухгалтерии. Впрочем, сейчас для госучреждений в Германии на веб требуется третий уровень  CMMI или аналоги.

[thesz.livejournal.com]

Не всегда. Хаскель, кстати, сильно помог, с Верилогом в частности.

[anonim-legion.livejournal.com]

А я-то думаю, что у нас с автоматизацией все так плохо.

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

У vit-r в отрасли, как я понимаю, есть дедовские традиции разработки и потомственное байтоебство, вот поэтому и...

[vit-r.livejournal.com]

Я использую то, что использует клиеннт. Как правило, вся документация пришется нормально, руками.

[rdia.livejournal.com]

Прошу прощения, я запамятовал, что вы - варяг.

Так doxygen - это тоже руками. Т.е. как вы и хотели - формат комментов к каждой функции. Всё очень чётко - вот описание функции, вот параметры, вот комментарии. Местами, может быть, чересчур многословно, скажем \param я бы убрал, заменив на какой-нибудь символ вроде #.

А сам по себе инструмент doxygen прогонять абсолютно не обязательно, если нет желания иметь ворох html файлов.

[berezovsky.livejournal.com]

Что такое варяг? Который наш гордый, врагу не сдаётся или что?

[rdia.livejournal.com]

Варяг, это тот, кто, как Рюрик, пришёл порулить ненадолго. :-)

[vit-r.livejournal.com]

Ладно, мне сегодня влом говорить про уровни.

На прошлой неделе видел результат из этого замечательного doxygen. Три четверти параграфов содержали одно слово "None". Не надо путать бюрократию с организацией.

[berezovsky.livejournal.com]

А в фильме "Рюрик. Потерянная быль" говорят, что нам врут про Рюрика. :-(

[kurilka.livejournal.com]

Де-факто стандартом является
https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md

[vit-r.livejournal.com]

Maximum line length is 80 characters.

Why? Потому что перфокарты. :-D

Остальное в том же духе.

И опять же, вопрос ограничен только правилами на написание комментариев.

[fraks-nsk.livejournal.com]

Человек способный сам быстро обучиться как правило быстро вырастает из текущего места работы и уходит дальше.

[geniepro.livejournal.com]

библиотека SQLite, написанная на сях, имеет покрытие в 1084 строк тестов на каждую строку кода, но и это не спасает её от того, что время от времени в ней таки находятся баги...

[geniepro.livejournal.com]

http://snapframework.com/docs/style-guide

весьма известный style-guide для хаскелла

[geniepro.livejournal.com]

Вот на эту тему как раз:

"Running the Manual: An Approach to High-Assurance Microkernel Development"
http://www.cse.unsw.edu.au/~chak/papers/sel4-model.pdf

[vit-r.livejournal.com]

Maximum line length is 78 characters.

Why?

[vit-r.livejournal.com]

Тестами нелзя доказать отсутствие багов. По-моему, это азбука.

[vit-r.livejournal.com]

Да, и "покрытие 100%" - это не соотношение строк тестов к строкам кода, а доказательство, что в тестах проверятся каждая строка кода.

[vit-r.livejournal.com]

Опять же "We propose..."

Это научная работа. Достаточно посмотреть на литературу.

[thedeemon.livejournal.com]

Вот только это довольно бессмысленное занятие.

void f(bool x, bool y)
{
  Obj obj;
  if (x==y) obj = new Obj(); 
  else obj = null;
  if (y) obj.doSomthing();
}
//test:
f(true, true);
f(true, false);

100% покрытие тестами и явный баг с NPE при вызове f(false, true).