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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1587 membersпожаловаться на группу
2021 May 25

[

[BRM]White Rabbit in Haskell
ты зачем из джавы выпрыгнул
источник
10:58пожаловаться#1

¯

¯\_(ツ)_/¯ in Haskell
эволюция!
источник
10:58пожаловаться#2

[

[BRM]White Rabbit in Haskell
революция
источник
10:59пожаловаться#3

N

Nikita Ursol in Haskell
напомнило:
https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition/issues/450
GitHub
Prove in Coq · Issue #450 · EnterpriseQualityCoding/FizzBuzzEnterpriseEdition
We should immediately consider proving all of the desired properties in the application to cover all possible cases. This may require rewriting whole project to some language with less typing and d...
источник
11:01пожаловаться#4

Oℕ

Oleg ℕizhnik in Haskell
ппц доказательство громоздкое
источник
11:26пожаловаться#5

¯

¯\_(ツ)_/¯ in Haskell
idris
GitHub
0xd34df00d/fizzbuzz-i
FizzBuzz, formally verified, provably correct. Contribute to 0xd34df00d/fizzbuzz-i development by creating an account on GitHub.
источник
11:33пожаловаться#6

ЖК

Жук Короед in Haskell
Как в ghci сбросить base language до Haskell95?
источник
11:46пожаловаться#7

D

Dreamerinnoise in Haskell
взять компилятор, где нет haskell 2010
источник
11:56пожаловаться#8

Oℕ

Oleg ℕizhnik in Haskell
щас бы в идрисе с нуля нат определять
источник
11:57пожаловаться#9

v

vacuité. in Haskell
Я думал это в три строки делается?..
источник
11:57пожаловаться#10

Oℕ

Oleg ℕizhnik in Haskell
если надо заново всю арифметику переопределять, конечно, больше
источник
11:58пожаловаться#11

D

Dreamerinnoise in Haskell
а сколько строк было в ооп версии?
источник
11:59пожаловаться#12

X

XÆA-XII in Haskell
Что за Cradle и почему из-за их отсутствия падает hls?
источник
12:10пожаловаться#13

AP

Aleksei (astynax) Pi... in Haskell
Это описание того, какой модуль к какому target относится
источник
12:10пожаловаться#14

AP

Aleksei (astynax) Pi... in Haskell
Обычно HLS догадывается, но иногда — нет
источник
12:10пожаловаться#15

X

XÆA-XII in Haskell
Но у меня почти пустой проект
источник
12:11пожаловаться#16

AP

Aleksei (astynax) Pi... in Haskell
https://github.com/mpickering/hie-bios#explicit-configuration

Тут описано, что и как писать
GitHub
mpickering/hie-bios
Contribute to mpickering/hie-bios development by creating an account on GitHub.
источник
12:11пожаловаться#17

X

XÆA-XII in Haskell
В нём только папка src, в которой Main.hs
источник
12:11пожаловаться#18

к

кана in Haskell
а покажи ошибку. Он не должен падать, должен просто уведомление показывать
источник
12:11пожаловаться#19

AP

Aleksei (astynax) Pi... in Haskell
Вот да, он просто жалуется обычно
источник
12:11пожаловаться#20