Alexander
возвращаемое значение не будет зафоршено ни до WHNF ни до nF
Alexander
@anarchostatist ^
Alexander
#special кстати сишка начала вырываться вперёд когда убрали тонны str* функций
Anonymous
force ставит зависимость значения на само себя?
Alexander
типа того
Alexander
force x = x `deepseq x`
Anonymous
вроде понял тогда
Alexander
зависимость nf значения от своего whnf, но наверное ты так и понял это
Евгений
Обратное неверно?
Конечно не верно, по сути симметрично-монаидальные категории это обобщение понятия декартовых категорий.
Я скорее о том, что на практике (в computer science, по крайней мере) очень сложно встретить симметрично-монаидальную категорию, которая не является декартовой. А когда мы их встречаем, то на них задана какая-то дополнительная структура обязательно: это либо *-автономные, либо †-категории
a66ath
Ну это уже к Сохацкому вопрос, где там Зефиров категории путает
Anonymous
Упражнение: попытайтесь отличить стол, стоящий перед Вами, от мебели.
Anonymous
Не получится, потому что стол - уже мебель
Anonymous
вот-вот
Anonymous
А главный пример моноидальной категории - это категория эндофункторов
Anonymous
но она не симметричная
Anonymous
обычно
a66ath
Ну нельзя же говорить что фрукт - яблоко
Anonymous
а разве кто-то говорит?
a66ath
Ну я не в курсе
a66ath
https://swizard.livejournal.com/202744.html
a66ath
Тут весь срач
Dmitry
@iamweasel на плюсах дохрена написано, надо поддерживать
Dmitry
т.е часто даже люди, которые рулят - резонно замечают, что восемь лет назад другого ничего не было, а переписать существующе с нуля - нереально
Dmitry
интересно, кто стартует новые проекты на плюсах - но там всякие openmp поди, вот это всё
Dmitry
т.е как имадж процессинг или еще что-то такое - то опять плюсы
Dmitry
@iamweasel а как получилось, что ты топишь за раст, но в специальной олимпиаде выступил на c++ ? это же твой тред в жж?
a66ath
Нет, не мой
a66ath
Почему ты так подумал?
Alexander
у swizzard тоже black металист на аватарке?
a66ath
Я выступил на крестах, потому что пишу на крестах
a66ath
Но на них тяжело выступать, потому что они в байтослесарство сишное превратятся
Alexander
это нормально
Alexander
у нас при желании и haskell в него превращается
Alexander
мне кстати понравилось черех fix бегать по памяти
Vladislav
Библиотека import Graphics.UI.Gtk установлена и импортирована. Но при запуске файла в ghc возникает ошибка:
Variable not in scope: gridNew :: IO widget0
Variable not in scope: gridSetRowHomogeneous :: widget0 -> Bool -> IO a0
Variable not in scope: gridAttach :: widget0 -> t1 -> t5 -> t4 -> t3 -> t2 -> t
это функции подбиблиотеки Graphics.UI.Gtk.Layout.Grid
Разве они не автоматически подгружаются вследа за Graphics.UI.Gtk ??
Dmitry
один и тот же митолист, ну ок, ошибся значит
a66ath
Митолисты разные
Dmitry
раскраска похожа, но ок
Dmitry
@qnikst хаскель превращается даже не в си, а помесь бейсика и форта по ощущению от вида кода
a66ath
Нет
Dmitry
peek, poke и вот это всё
Alexander
меня напрягает с векторами
Alexander
unsafeWrite v i =<< f =<< unsafeRead v i
Alexander
вот это все
a66ath
Хаскель то превращается, но это все равно хаскель, а в крестах просто сишный код скопировал и все
a66ath
Ну почти
Alexander
о, а это идея кстати
Alexander
я ж могу inline-c взять
Alexander
!!!
Alexander
и просто сишную программу внутрь сунуть
Alexander
это считается?
Vasiliy
Библиотека import Graphics.UI.Gtk установлена и импортирована. Но при запуске файла в ghc возникает ошибка:
Variable not in scope: gridNew :: IO widget0
Variable not in scope: gridSetRowHomogeneous :: widget0 -> Bool -> IO a0
Variable not in scope: gridAttach :: widget0 -> t1 -> t5 -> t4 -> t3 -> t2 -> t
это функции подбиблиотеки Graphics.UI.Gtk.Layout.Grid
Разве они не автоматически подгружаются вследа за Graphics.UI.Gtk ??
Graphics.UI.Gtk может реэкспортировать какие-то модули, а может этого и не делать, надо смотреть документацию
Vasiliy
автоматически никакие модули подгружаться не будут
Vladislav
автоматически никакие модули подгружаться не будут
каким образом их реэкспортировать? Просто дописать import Graphics.UI.Gtk.Layout.Grid?
Или есть другие методы?
Vasiliy
реэкспорты разработчик библиотеки делает, если считает нужным
Vasiliy
а в твоём случае - да, просто дописывай нужные импорты
Alexander
import UI.Gtk.Layout.Grid
Alexander
Graphics.UI.Gtk.Layout.Grid
Alexander
но вообще UI.Gtk неэкспортирует модуль
parket
Глупый вопрос, но что-то я поплыл. Единичный морфизм. Какие достаточные условия?
Alexander
реэкспортирует
Anonymous
Alexander
так что вопросы к установлена и импортирована
parket
Любой морфизм A -> A является единичным?
Alexander
Vladislav ^
Vladislav
а в твоём случае - да, просто дописывай нужные импорты
Failed to load interface for ‘Graphics.UI.Gtk.Layout.Grid’
Perhaps you meant
Graphics.UI.Gtk.Layout.Fixed (from gtk-0.14.7)
Graphics.UI.Gtk.Layout.HBox (from gtk-0.14.7)
Graphics.UI.Gtk.Layout.VBox (from gtk-0.14.7)
Use -v to see a list of the files searched for.
Failed, modules loaded: none.
Дописал, перезапустил ghc и ошибка.
Anonymous
Любой морфизм A -> A является единичным?
единица - это операция, которая для каждого объекта вычисляет его единицу
Anonymous
единица обладает свойствами левой и правой нейтральности
Anonymous
т.е. если множить, то она сокращается
Alexander
Vladislav как и что поставлено? в пакете gtk3 он есть
Alexander
в пакете gtk, который про второй
Alexander
его такого модуля нету
Alexander
https://hackage.haskell.org/package/gtk3-0.14.7 vs https://hackage.haskell.org/package/gtk-0.14.7
Alexander
Vladislav ^