KV
перекатываешься?
Да (нет)
Size: a a a
2020 December 15
KV
разве не всё, что на представлено на уровне типов можно назвать типом?
В типе какие-то термы обычно живут, но не в этом случае
DB
Кстати кто-нибудь видел живых F# программистов?
к
разве не всё, что на представлено на уровне типов можно назвать типом?
нет конечно
KV
В твиттере поднимался вопрос, как называть kind children (термы, населяющие кайнды) в целом, серьёзных ответов вроде не было
JK
Секундный вопрос, ответьте пожалуйста, как избежать дублирование show здесь (извините) putStrLn ((show (oneTry xs))++(show (twoTry xs))++(show (threeTry xs)))
DB
Секундный вопрос, ответьте пожалуйста, как избежать дублирование show здесь (извините) putStrLn ((show (oneTry xs))++(show (twoTry xs))++(show (threeTry xs)))
concat $ map show
JK
спасибо
к
Секундный вопрос, ответьте пожалуйста, как избежать дублирование show здесь (извините) putStrLn ((show (oneTry xs))++(show (twoTry xs))++(show (threeTry xs)))
а oneTry и twoTry возвращают одинаковый тип?
JK
да
А⚙
В wire-server как-то дергают, можешь посмотреть, как
https://github.com/wireapp/wire-server/tree/develop/libs/libzauth
Пишут сишный интерфейс и уже его дергают
https://github.com/wireapp/wire-server/tree/develop/libs/libzauth
Пишут сишный интерфейс и уже его дергают
Не, ну так неинтересно
DB
Maybe вот на уровне типов, но тип ли? Нет
а что эт? как енто назвать?
KV
а что эт? как енто назвать?
Конструктор типа
к
а что эт? как енто назвать?
ну это конструктор типов
у мейби тип не Type, а Type -> Type
точно так же как у 'True тип не Type, а Bool
у мейби тип не Type, а Type -> Type
точно так же как у 'True тип не Type, а Bool
DB
Ну это я понимаю
DB
Я просто спросил как это назвать тогда)
DB
Хорошо, конструктор