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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1631 membersпожаловаться на группу
2020 November 06

NI

Nick Ivanych in Haskell
У очень сильного хаскелиста после огромных усилий, тайпчекнулось f x = f
источник
18:28пожаловаться#1

AV

Alexander Vershilov in Haskell
Set UserId = Set Int64
источник
18:29пожаловаться#2

YS

Yura Sheliah in Haskell
Привет чат
источник
20:18пожаловаться#3

YS

Yura Sheliah in Haskell
Кто-то может сталкивался с проблемами в proxy в zeroMQ ?
источник
20:18пожаловаться#4

S

Sergey in Haskell
Nick Ivanych
У очень сильного хаскелиста после огромных усилий, тайпчекнулось f x = f
У слабого не тайпчекнулось даже f x = x ?
источник
20:50пожаловаться#5

AV

Alexander Vershilov in Haskell
А у сильного хаскелиста должно больше или меньше тайпчекаться?
источник
21:04пожаловаться#6

IK

Ilya Kos in Haskell
Если много тайпчекается, то это питон
источник
21:06пожаловаться#7

NI

Nick Ivanych in Haskell
Больше! Больше!
источник
21:06пожаловаться#8

IK

Ilya Kos in Haskell
Поэтому, подозреваю, что должно быть меньше
источник
21:06пожаловаться#9

YS

Yan Shkurinskiy in Haskell
Опять эти сильные хаскеллисты(
источник
21:17пожаловаться#10

KV

Kirill Valyavin in Haskell
Lax monoidal haskeller
источник
21:18пожаловаться#11

ЗП

Зигохистоморфный Пре... in Haskell
gutalax
источник
21:19пожаловаться#12

к

кана in Haskell
Alexander Vershilov
А у сильного хаскелиста должно больше или меньше тайпчекаться?
пока мы не определим что такое сильный хаскелист, то такие фразы и будут определять сильность
источник
21:27пожаловаться#13

к

кана in Haskell
а то мы там можем дойти до того, что у сильного хаскелиста может тайпчекнуться только одна программа, и она не будет тайпчекаться пока не будет написана, мол все типы синглтонные
источник
21:28пожаловаться#14

А⚙

Антон ⚙️ in Haskell
Может ли всемогущий хаскеллист написать корректную программу, которую сам не сможет типизировать?
источник
21:30пожаловаться#15

MK

Maxim Koltsov in Haskell
да
источник
21:31пожаловаться#16

⁠

⁠ in Haskell
так любая система типов ограничена, и всегда будут валидные программы, которые не типизируются
источник
21:31пожаловаться#17

к

кана in Haskell
а тут мы кстати можем сделать вывод, что всемогущего хаскелиста не может существовать, потому что любую программу можно типизировать unsafeCoerce-ом
источник
21:31пожаловаться#18

А⚙

Антон ⚙️ in Haskell
кана
а тут мы кстати можем сделать вывод, что всемогущего хаскелиста не может существовать, потому что любую программу можно типизировать unsafeCoerce-ом
Отвратительно
источник
21:35пожаловаться#19

ЗП

Зигохистоморфный Пре... in Haskell
unsafeCoerce надо переименовать в beliveMe
источник
22:01пожаловаться#20