Ага

@asdf ещё можно склонировать репозиторий и сгенерировать метки с помощью haskdogs, если нужна фича вроде go to definition. Но неверных попаданий очень много

я думаю отцы-основатели подразумевали что смотреть в определение не нужно, сигнатуры всегда должно хватить

Кто-то идет на https://events.kaspersky.com/event/ruhaskell2?

Да

А сейчас уже никак нельзя попасть? А то вчера смотрел, регистрация закрыта уже была

в гиттере пни cblp

Огого

Всем привет

Доброго вам вечера

https://youtu.be/Ew8gl6WF9to

Почему икс, а не экс?

латынь же

Почему икс, а не экс?

а почему "а", а не "эй", не смущает?

латынь же

тоже не сходится, было бы "бэ", а не "би"

Блин я даты перепутал

Думал колабаратори завтра

((

но есть записи на ютубе

Да, уже нашел

;-)

тоже не сходится, было бы "бэ", а не "би"

Так бэ и есть

Так бэ и есть

Ка же бэ, если написано би)

https://en.m.wikipedia.org/wiki/Hi_(kana)

Кто-нибудь знаeт, что за шрифт?

Firacode вроде

Fira Code

Спасибо

вери хаскел

черт, не та конфа)

а ведь думал забанить просто по никнейму

но остановил себя

Подумал что это реинкарнация вчерашнего?)

а что вчера было?

чем сейчас модно статику раздавать, если не nginx ?

если просто haproxy это нормально будет?

норм

mightyhttpd предлагали?

(haproxy норм)

haproxy норм для статики?

мы обычно nginx раньше использовали, но меня что-то парит его настройки, haproxy кажется проще

ну и поменьше

mightyhttpd кто-то из взрослых использует?

mighttpd - на хаскеле!:)

ну это ж прекрасно

наверное.

я даже не знал про такое:)

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

http://www.mew.org/~kazu/proj/mighttpd/en/

если бы он еще терминировал ssl

@qnikst посоветовал - будем его мучать:)

короче в haproxy вроде можно подпихнуть что-то для раздачи статики, хотя он наверное и сам умеет

погодите. это что, просто варп?

ну с конфигом в файлике

а чем это отличается сервант на варпе выставить в интернет? статику раздавая каким-нибудь middleware ?

там поди и ssl можно терминировать

это хитрый варп

не видел чтобы кто-то кроме казу использовал

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

там от варпа отличается preforkом и еще чем-то

казу спрашивал с нгинксом и даже обгонял его на статике

не знаю как

мм, с одной стороны нам конечно может и не надо прям суперпроизводительность, с другой стороны профита что-то тоже не видно

там с вебсокетами беда на сколько я понял

я тоже так думаю, он конечно просто настраивается но проще что-то более проверенное

это ж для статики, какие там вебсокеты?

ну чисто для статики он подойдет

а так чтобы поставить перед всеми приложениями

https://github.com/wireapp/wire-server

https://github.com/wireapp/wire-server

Много разных вкусностей

подскажите, верно ли утверждение, что программу на хаскеле можно не тестить за счет того, что система типов гарантирует правильность? (если система типов адекватно отражает предметную область, конечно)

Неверно

нет

Нет

ты хотел сложить 2 и 2, а случайно написал 2 + 3

тебе никакой статический анализатор такого рода ошибки не отловит

оох точно

спасибо

Если бы так было - все бы писали ПО на хаскеле и никаких багов)

но чистые функции значительно проще тестировать - не нужно воссоздавать окружение и следить за чем-либо кроме результата