VN
Вежливый спам 😕
Size: a a a
2020 June 23
IO
торговля рабами?
IO
я бы не отказался купить раба, чтобы он за меня бенчмарки писал
КР
Я не уверен, что в языках без "контроля эффектов" это имеет большой смысл
Ну реально, лучше уж dagger взять 🌚
Ну реально, лучше уж dagger взять 🌚
Лол
I
Спасибо! Она героически перенесла два переезда, в Питер и в Мюнхен. И всё, что я не понимал про наш компилятор или про корутины я спрашивал у неё. Так она стала экспертом.
D
Значит, все слова благодарности за пофикшеные баги - ей? :)
I
Значит, все слова благодарности за пофикшеные баги - ей? :)
Ага
(
Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr
слышал трактовку, что это потому, что IO - это
World -> (World, a), а поскольку World - это слепок целого "мира", и поскольку с течением времени он всегда изменяется, то вызвать вот ровно с таким "миром" IO можно только один раз, соответственно формально функция чистая(
то есть, после вызова IO мы точно знаем, какой там будет результат, и.е. детерминированность, просто ещё раз мы её вызвать не сможем
Kd
слышал трактовку, что это потому, что IO - это
World -> (World, a), а поскольку World - это слепок целого "мира", и поскольку с течением времени он всегда изменяется, то вызвать вот ровно с таким "миром" IO можно только один раз, соответственно формально функция чистаяты в геймдев заделался? )
(
Konstantin dmz9
ты в геймдев заделался? )
пет прожект пилю
AE
Konstantin dmz9
ты в геймдев заделался? )
я когда утраивался на текущее место - тестовым было сделать модель карты с юнитами) без графики)
Kd
у меня самый большой опыт в геймдеве это установить и удалить юнити потому что не осилил
Kd
так то довольно странно падать в океан готовых решений когда под любую игру уже что то напилено а ты только декларативно что то настраиваешь, какой то... такой себе геймдев
AM
Konstantin dmz9
так то довольно странно падать в океан готовых решений когда под любую игру уже что то напилено а ты только декларативно что то настраиваешь, какой то... такой себе геймдев
Нормальный геймдев. Времена поменялись, нынче каждому первому индюшатнику необязательно педалить свой движок, читая туториалы по вертексным буферам опенгля.
Kd
а вдруг я как раз это и хотел )
Kd
хотя там заебешься делать конечно, как писать свой фреймворк
D
Konstantin dmz9
а вдруг я как раз это и хотел )
Кто мешает это делать?
D
Kotlin/Java + libgdx/lwjgl и впирёд