• Явная статическая типизация:
  • Программы многословные
  • Быстрые
  • Ранняя диагностика некоторых ошибок
  • Трудности проектирования из-за ограничений системы типов
• Динамическая типизация:
  • Программы лаконичные
  • Медленные
  • Более простое проектирование
• Опциональная статическая типизация
  • Позволяет выбирать между быстротой и сочетанием (лаконичность + гибкость)
  • Ответственность за верность этого выбора лежит на разработчике
• Статическая типизация с выведением типов
  • ????

Насколько я понимаю, самый мощный язык по выведению типов - это Хаскель (правда ли это?) Но computer benchmark game показывает, что программы на Хаскеле в среднем не лаконичнее программ на С++. По производительности они уступают, но это понятно - те типы, которые Хаскель выводит, можно было и явно написать.

Желательно, чтобы ваше мнение на что-то опиралось. Например, вот пруфлинк на лаконичность питона и его медленность по сравнению с С++.

По следующей ссылке приведен список рекомендуемых библиотек и фреймворков в Common Lisp для различных применений:

http://eudoxia.me/article/common-lisp-sotu-2015/

Everyone! Listen up! Today... today...

$ apulse <program-name> [program parameters]

https://github.com/i-rinat/apulse — эмуляция PulseAudio. Когда приложение пытается загрузить libpulse.so, ему подсовывают её версию от apulse, в которой реализована часть функций, достаточная, чтобы запустить Skype и некоторый другой софт.

Помогите разобраться, пожалуйста. Просто нужно уложить знание в голову правильным образом. Правильно ли я понимаю, что потоки и легковесные процессы в линукс это одно и тоже. т.е. потоки в линуксе реализованы через легковесные процессы? Или это касается только потоков ядра?

Пришло время садиться за диплом. Писать его буду в соответствии со стандартами либо ГОСТ, либо ДСТУ, непонятно, в Крыму пока вроде делаем по ДСТУ.

Так вот дабы не писать с нуля собственный шаблон, хотелось бы найти максимально приближенный к реальному шаблон диплома бакалавра, который я по необходимости допилю.

Пока нашел только это: http://habrahabr.ru/post/144648/ и это https://github.com/protsenkovi/latex-ssau-gost-style

Там Eddy_Em вроде что-то говорил про собственный шаблон, то ли диссертации, то ли диплома.

Может кто поделится?

UPD: 30.04.2015

Кому лень листать весь тред, можно прочитать этот коммент, надеюсь поможет: Диплом бакалавра ГОСТ/ДСТУ в LaTeX (комментарий)

Куда посоветуете сходить? Что посоветуете посмотреть? Где остановиться подешевле? Если есть львовяне готовые провести экскурсию/приютить на выходные - с меня причитается.