DI
да, на сайте sdl большими буквами написано, что кто будет линковать статически, будет гореть в аду
Size: a a a
2020 July 16
IR
stb горит?
DI
stb не использует sdl
DI
и не пугает меня такими словами
IR
это понятно. но как оно загружает форматы?
DI
самопальным сишным кодом
IR
Dmitry Ivanov
еще бы с SDL2_ttf так же просто получилось
stb_mixer есть?
IR
Dmitry Ivanov
самопальным сишным кодом
грешновато же
DI
видимо, с миксера просто так не свалить
IR
Dmitry Ivanov
3 files changed, 26 insertions(+), 17 deletions(-)
перешел с SDL2_image на stb_image
перешел с SDL2_image на stb_image
есть пакет готовый или FFI в зубы и в бой?
2020 July 17
TA
Появился вопрос:
Как сделать инстанс для
newtype StateArrow s a b c =
StateArrow ( a (b,s) (c,s))
для :
class (Monad m,Arrow a)=>AMonad m a where
areturn :: a b (m b)
abind :: a b (m c) -> a (m b) (m c)
Я себе не представляю как сделать такой инстанс без комонады,и думаю,надо оно или нет...
Как сделать инстанс для
newtype StateArrow s a b c =
StateArrow ( a (b,s) (c,s))
для :
class (Monad m,Arrow a)=>AMonad m a where
areturn :: a b (m b)
abind :: a b (m c) -> a (m b) (m c)
Я себе не представляю как сделать такой инстанс без комонады,и думаю,надо оно или нет...
JS
мне интуиция подсказывает, что монада и комонада одновременно может быть только вырожденной
TA
Вообще я подумал что стрелки ReaderArrow,WriterArrow,и StateArrow s при условии что s - Моноид вполне себе можно представить при помощи
type WrapMonad f a b c = a b (f c)
type WrapComonad f a b c = a (f b) c
И их комбинаций
type WrapMonad f a b c = a b (f c)
type WrapComonad f a b c = a (f b) c
И их комбинаций
TA
мне интуиция подсказывает, что монада и комонада одновременно может быть только вырожденной
А если какой-то foldable?
JS
Tel Asc
А если какой-то foldable?
как это вообще может быть связано?
TA
А,точно, нельзя же указать,что параметр а - моноид...
Ошибся...
Ошибся...
KZ
почемуж, есть constrained-monads, но это уже частные случаи, конечно
R
мне интуиция подсказывает, что монада и комонада одновременно может быть только вырожденной
NonEmpty?