@neFormal
neFormal
27 Apr 2017

Иногда стоит думать, что в haskell'е всё работает нормально.

#okpbr 11
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
27 Apr 2017

компилируется — значит работает

#okpbr/1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
27 Apr 2017

не, тут про перевод coq'а в haskell. и поскольку доказать, что х-ль написан нормально, нельзя, то приходится верить

#okpbr/2 в ответ на /1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

neFormal, в Haskell невозможно выдать контракт докащывающий что код делает то, что должен делать в отличии, от например coq. Тоже самое верно для всех языков не являющихся теорем пруверами, но на языках являющихся теорем пруверами нельзя написать что-то кроме доказательства теорем в общем компилируется и хорошо, а запускать не стоит.
Интересное исключение тут Идрис, он пытается быть теорем прувером и доказывать свои программы, но при этом он унаследовал худшие черты от обоих классов.

#okpbr/3 в ответ на /2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

qnikst, кстати в Haskell 8.2+ уже можно доказывать достаточно много, и не такой кровью, как в старые добрые времена, а с system D(C) вообще круто будет.

#okpbr/4 в ответ на /3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

qnikst, /me записал в книжечку, что так и не поймал neFormal на fprog SPb

#okpbr/5 в ответ на /4
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

звучит, как угроза .___.

#okpbr/7 в ответ на /5
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

neFormal, не, не угроза, просто не знал что народ с поента там присутсвовал

#okpbr/8 в ответ на /7
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

с жуйка больше ходит

#okpbr/9 в ответ на /8
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

neFormal, я двух человек включая себя видел.

#okpbr/10 в ответ на /9
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

qnikst, ну активных, так то наверное ещё кто-то был

#okpbr/11 в ответ на /10
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
28 Apr 2017

ну да. в развёрнутом виде это звучит так.

#okpbr/6 в ответ на /3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.