DS
совсем скучно
Size: a a a
2020 June 19
AV
Ну как скучно это же доклад, на котором будет много весёлых историй наверняка
A
Поздно, решение было принято вчера. Был еще один юрист с докладом о лицензировании ПО, но я подумал что это совсем скучно
в JB пилят автотул, который проверяет код на предмет соответствия зоопарку лицензий и их отношению друг с другом, делая анализ зависимостей
AV
Для hackage такое есть
AV
Точно было и на haskellers.com кажется
AI
Прикольно. Скоро наверное будут авторские права на имена переменных проверять, пишешь кот - а оно тебе подчеркивает красным 😊
AV
Вообще давно пора сделать таки один из незавершенных планов и загнать package.db в neo4j
AV
Там есть красивый UI, и можно проверки совместимости запросами в UI писать
AV
Но у меня всё сломалось на том, что в Cabal очень сложные типы и чтобы нормально работать нужно бы нагенерить generic инстансов для hasbolt, а он тогда не умел это (может и сейчас не умеет)
CC @maxbotan ^
CC @maxbotan ^
MK
есть тх!
AI
Вчера кто-то в кложаслаке спросил про
bounded-count , нарисовал им такой пример (defn f [] (lazy-seq (repeat (f)))) ну и в вотчере как выглядит. А в вашем Хаскеле типы опять не натянулись l = repeat l cannot construct the infinite type: a ~ [a] Хотя конечно это нигде нинужноAV
Умеет в суммы типов?
MK
Умеет в суммы типов?
насколько я помню нет
AV
Вчера кто-то в кложаслаке спросил про
bounded-count , нарисовал им такой пример (defn f [] (lazy-seq (repeat (f)))) ну и в вотчере как выглядит. А в вашем Хаскеле типы опять не натянулись l = repeat l cannot construct the infinite type: a ~ [a] Хотя конечно это нигде нинужноа можно попонятнее, что хочется, т.к. кажется, что если бы l = repeat l работало, то результат бы был другим?
AI
в данном примере просто я подумал, что в ленивом хаскеле это наверное вообще на раз реализовать, ан нет, типы опять мешают. но это так, просто мысли вслух
AV
Андрей, объясни пожалуйста словами, что должно лежать в элементах списка