RR
Yuki Rito
а ты игрушки что ли пишешь?
Если бы не шарпы, то писал бы
Size: a a a
2020 November 30
DF
А проактивность тогда что такое
RR
Я на работе Unity больше года использовал просто
RR
а чо прям так сложно портировать?
Ну, видимо
RR
Раз ребята сразу умерли
AG
а какие ребята то
AG
мне кажется он просто забросил
AG
там последний коммит примерно за год до того как второй идрис объявили
RR
Ну, возможно
YR
если бы не шарпы, писал бы? На Идрисе? Но Идрис не поддерживает ни дотнет ни юнити и именно шарпы-то и поддерживают. Неклассическая логика! :)
AG
да понятно же что он имел в виду
AG
писал бы если бы язык был получше, не шарпы
RR
Yuki Rito
если бы не шарпы, писал бы? На Идрисе? Но Идрис не поддерживает ни дотнет ни юнити и именно шарпы-то и поддерживают. Неклассическая логика! :)
YR
мне кажется он просто забросил
про Clean когда-то прочитал: "Язык для имплементации факториала". Вот они и пишут. Факториальчики. И зависимые типчики. А ИТ вот идет в другую сторону, эдак они никогда не встретятся: ФП и ИТ :)
Oℕ
Интересно, а в какую сторону ИТ идёт?
AG
Yuki Rito
про Clean когда-то прочитал: "Язык для имплементации факториала". Вот они и пишут. Факториальчики. И зависимые типчики. А ИТ вот идет в другую сторону, эдак они никогда не встретятся: ФП и ИТ :)
а вы точно хаскелист?
KV
О том, в какую сторону идёт ИТ, ещё Егор Летов пел
NI
там последний коммит примерно за год до того как второй идрис объявили
А под второй идрис естьчо?
Есть какой-нибудь список backend'ов под второй идрис?
Есть какой-нибудь список backend'ов под второй идрис?
AG
А под второй идрис естьчо?
Есть какой-нибудь список backend'ов под второй идрис?
Есть какой-нибудь список backend'ов под второй идрис?
ну официально те что включены в поставку, т.е. три схемы, жс и сишка с рефкаунтом