Запитання з тегом «idris»

Я починаю занурюватися в залежно від типового програмування і виявив, що мови Agda та Idris найближчі до Haskell, тому я почав саме там. Моє запитання: які основні відмінності між ними? Чи однаково виражені системи типів в обох? Було б чудово провести всебічне порівняння та обговорення переваг. Мені вдалося помітити декілька: …

165 agda  type-theory  idris 

Стаття "Програмування та міркування з алгебраїчними ефектами та залежними типами" Едвіна К. Брейді щодо ефектів в Ідрісі містить (без посилань) твердження, що: Хоча [ефекти та монадні трансформатори] не є еквівалентними за потужністю - монади та монадні трансформатори можуть виражати більше понять - зафіксовано багато загальних ефективних обчислень. Які приклади можна …

78 functional-programming  monads  effects  idris