p
хм, а насколько больно будет приделать алгебраическую систему эффектов к без-гц и без-вм языку? @DogeShibu как думаешь?
для системы эффектов нужна какая-то внешняя структура которая будет их обрабатывать, как я понял
Size: a a a
2020 May 08
DS
хм, а насколько больно будет приделать алгебраическую систему эффектов к без-гц и без-вм языку? @DogeShibu как думаешь?
Чёрт знает, зависит от того, как именно делать.
А так был любопытный язык Clean, где с эффектами работли на уникальных типах, может тебе даст какую-нибудь идею.
А так был любопытный язык Clean, где с эффектами работли на уникальных типах, может тебе даст какую-нибудь идею.
Т8
С джавой интеграция у скалы элементарная, если что.
Да, прямо никаких проблем ощутимых нет?
DS
Т-34 85
Да, прямо никаких проблем ощутимых нет?
Если из скалы дёргать джаву - то ни разу проблем не было.
DS
Вот вообще
Т8
Чёрт знает, зависит от того, как именно делать.
А так был любопытный язык Clean, где с эффектами работли на уникальных типах, может тебе даст какую-нибудь идею.
А так был любопытный язык Clean, где с эффектами работли на уникальных типах, может тебе даст какую-нибудь идею.
Ещё надо упомянуть, что заебёшься делать компилятор такого языка
Т8
Если из скалы дёргать джаву - то ни разу проблем не было.
А наоборот?
DS
Т-34 85
Ещё надо упомянуть, что заебёшься делать компилятор такого языка
Системы типов - это достаточно просто, там более-менее простые правила. В особенности, если речь про ФП языки типа Clean, где системы типов без особых приколов типа зав. типов и т.п.
DS
Т-34 85
А наоборот?
Более-менее, но зависит от используемых фич.
Т8
Системы типов - это достаточно просто, там более-менее простые правила. В особенности, если речь про ФП языки типа Clean, где системы типов без особых приколов типа зав. типов и т.п.
Что-то у идриса какие-то проблемы с реализациями... Или у меня неверная инфа?
DS
Т-34 85
Что-то у идриса какие-то проблемы с реализациями... Или у меня неверная инфа?
Да нет. Пилится второй идрис, первый норм работает.
Т8
Да нет. Пилится второй идрис, первый норм работает.
Где-то читал, что там "пока этого нет, нет того..."
SP
а можно ли заюзать асинк без ивентлупа просто в цикле треда
r
а можно ли заюзать асинк без ивентлупа просто в цикле треда
Вручную вызывать poll. Но если таска попытается заспавнить что-то ещё, то упадёт.
DS
Т-34 85
Где-то читал, что там "пока этого нет, нет того..."
Это Идрис2, потому что он ещё пилится. У идриса один более-менее всё есть.
Ну и да, есть ещё всякие агды и coq, где есть всё, что пожелаешь
Ну и да, есть ещё всякие агды и coq, где есть всё, что пожелаешь
Т8
Это Идрис2, потому что он ещё пилится. У идриса один более-менее всё есть.
Ну и да, есть ещё всякие агды и coq, где есть всё, что пожелаешь
Ну и да, есть ещё всякие агды и coq, где есть всё, что пожелаешь
А чем первый не угодил?
DS
Т-34 85
А чем первый не угодил?
Вопросы к автору, я не знаю. Скорее всего рефакторинг компилятора переписыванием, так любят делать.
(См. скалу, C# с Рослином и т.п.)
(См. скалу, C# с Рослином и т.п.)
NI
[15:18] handicraftsman: Пищи нет, а жрать охота - пожри ближнего своего
Т8
лол
Т8
Переслано от Dr. Friedrich von Ne...
Просто напомню, что Липперт — это такой дядя, который в фейсбуке пишет пхп.