D
задеплоел свою первую вебопердень на хс, на хероку, оказалось проще, чем я думал
let ?param = foo
in bar
Size: a a a
2020 May 26
LO
Кстати, норм тема для Handle Pattern же
Oℕ
А чем скаловские имплиситы от хаскельных отличаются?
тем что хаскельные - это какое-то странное штучное говно, которое нужно сочинять куда применить
AV
Кстати, норм тема для Handle Pattern же
Очень
Oℕ
скаловые имплиситы примерно туда же, куда идрисовые имплиситы
AV
(КартерМод) у меня в планах поисследовать
AV
"На выходных" (с)
YS
"На выходных" (с)
Но ведь у тебя нет выходных...
AV
Но ведь у тебя нет выходных...
так что я даже не обманываю!
LO
(КартерМод) у меня в планах поисследовать
Наверняка окажется что мешает инлайнить/специализировать
AV
На самом деле есть
LO
скаловые имплиситы примерно туда же, куда идрисовые имплиситы
В идрисе тоже нельзя импорты сортировать?
Oℕ
но скажем так, в скаловых имплиситах можно сделать примерно то же, что в хаскелёвых тупеклассах с андесайдабл и оверлаппинг + функдепами, но нельзя добиться когерентности
Oℕ
В идрисе тоже нельзя импорты сортировать?
не понял, ты про баги скаловых имплиситов?
Oℕ
ну их пофиксили в третьей
LO
Без когерентности это какие-то модули из ML выходят
Oℕ
но главное, что это вэлью, поэтому можно делать, то, что затруднительно делать на тайпклассах
AA
тем что хаскельные - это какое-то странное штучное говно, которое нужно сочинять куда применить
хотелось бы увидеть более детальный анализ
Oℕ
Без когерентности это какие-то модули из ML выходят
и какой в МЛ механизм солвинга и деривации модулей?
LO
но главное, что это вэлью, поэтому можно делать, то, что затруднительно делать на тайпклассах
Ты смотри, у них велью даже приносить не надо