В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1593 membersпожаловаться на группу
2021 June 24

IP

Iaroslav Postovalov in Haskell
не, когда у одного термина больше двух вариантов, гарантированно кто-нибудь что-нибудь ничего не поймет
источник
03:30пожаловаться#1

к

кана in Haskell
так ты сам же второй вариант ищешь)
источник
03:30пожаловаться#2

[

[BRM]White Rabbit in Haskell
Тогда сделай сноску как в тексте, который я кинул
источник
03:30пожаловаться#3

IP

Iaroslav Postovalov in Haskell
ну идеальной была бы ситуация, что принятый перевод есть
источник
03:31пожаловаться#4

[

[BRM]White Rabbit in Haskell
Пруф что одно выражение равно другому
источник
03:31пожаловаться#5

к

кана in Haskell
принятого перевода нет
источник
03:31пожаловаться#6

к

кана in Haskell
да ты что-то не так понимаешь мне кажется
источник
03:31пожаловаться#7

[

[BRM]White Rabbit in Haskell
^
источник
03:31пожаловаться#8

к

кана in Haskell
equational reasoning это метод доказательства равенства, а не доказательство равенства

доказать равенство можно разными способами, equational reasoning - через переписывание другими равенствами

но я это с головы взял
источник
03:31пожаловаться#9

[

[BRM]White Rabbit in Haskell
Ну, ладно
источник
03:32пожаловаться#10

[

[BRM]White Rabbit in Haskell
Чуть ниже что-то такое было там, откуда я этот кусок взял
источник
03:32пожаловаться#11

к

кана in Haskell
такс, тут есть понятие рассуждения о программе, или мб анализ программы, и вроде бы неважно какое

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

да, ты прав похоже
источник
03:38пожаловаться#12

AF

Alexey Fedotov in Haskell
уравнительное причинение
источник
03:38пожаловаться#13

Q

Qwerty in Haskell
reasoning здесь - обоснование
источник
06:18пожаловаться#14

JS

Jerzy Syrowiecki in Haskell
рассуждение, по-моему, точнее, более общее — суждение
источник
09:23пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
https://github.com/ruHaskell/ruhaskell/wiki/Translation
GitHub
Translation
Главный сайт сообщества. Contribute to ruHaskell/ruhaskell development by creating an account on GitHub.
источник
09:25пожаловаться#16

MP

Misha Puzanov in Haskell
не работает, кстати
в смысле функция, переданная в setOnException, вызывается, но "Thread killed by timeout manager" продолжают сыпаться на терминал
источник
10:47пожаловаться#17

YS

Yan Shkurinskiy in Haskell
@maksbotan ^
источник
11:17пожаловаться#18

AP

Aleksei (astynax) Pi... in Haskell
может знает кто, что там такого brick/vty делают, что у меня в терминале отваливается юникод после выхода из vty-based программы?
источник
11:25пожаловаться#19

NI

Nick Ivanych in Haskell
Рассуждения про равноства?
источник
11:44пожаловаться#20