Size: a a a

2020 May 23

к

кана in haskell_blah
в окамле не нужны? В скале не нужны?
источник

к

кана in haskell_blah
вот уж удивлятся окамлисты, что им модули не нужны, потому что язык строгий
источник

к

кана in haskell_blah
или это какая-то другая модульность?
источник

AA

A64m AL256m qn<co... in haskell_blah
кана
в окамле не нужны? В скале не нужны?
модульность имеет 256 значений типа как функтор
речь не про модульность которая макквинность, а про модульность которая хьюзность
источник

к

кана in haskell_blah
что это за термин хьюзности?
источник

к

кана in haskell_blah
придумываем своя язык
источник

AA

A64m AL256m qn<co... in haskell_blah
кана
что это за термин хьюзности?
та, про которую в пейпере хьюза а не ту, про которую в пейпере макквина написано
источник

Oℕ

Oleg ℕizhnik in haskell_blah
кана
что это за термин хьюзности?
источник

к

кана in haskell_blah
а, теперь наконец стало яснее, есть некий Хьюз, который придумал свой термин модульности, и всем очевидно понятно что под модульностью понимается именно значение этого некого Хьюза
источник

Oℕ

Oleg ℕizhnik in haskell_blah
кана
а, теперь наконец стало яснее, есть некий Хьюз, который придумал свой термин модульности, и всем очевидно понятно что под модульностью понимается именно значение этого некого Хьюза
Там нет определения термина модульности
источник

к

кана in haskell_blah
людят хаскелисты говорить какие-то вещи, заменяя одни понятия другими, НАДЕЯСЬ что именно тот смысл который они закладывали люди не поймут (но чтобы утверждение все еще было корректным, чтобы они не были неправыми), ведь это позволит им выглядеть умнее
источник

AA

A64m AL256m qn<co... in haskell_blah
кана
а, теперь наконец стало яснее, есть некий Хьюз, который придумал свой термин модульности, и всем очевидно понятно что под модульностью понимается именно значение этого некого Хьюза
когда хачкелист говорит модульность это в 90% случаев хьюзность
когда емелист - соотв. макквинность - который тоже придумал свое слово которое не общепринчтное в смысле не то что жавист под этим словом понимает
источник

AA

A64m AL256m qn<co... in haskell_blah
Oleg ℕizhnik
Там нет определения термина модульности
да и нигде нет, это как функциональное программирование
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Там много раз упоминается "модуляризация", в смысле примерно как "абстракция и декомпозиция", ну и объясняется, почему ленивость - хороший компаньон этого подхода
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Но это примерно никак не связано с исходным вопросом https://t.me/haskell_blah/188960
источник

AA

A64m AL256m qn<co... in haskell_blah
так че с модульностью в завтипах-то?
источник

DF

Dollar Føølish in haskell_blah
Ну я про Идрис спрашивал
источник

DF

Dollar Føølish in haskell_blah
Просто написал завтипы вместо идриса
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Да, там модулей поболе, чем в хошкеле
источник

AA

A64m AL256m qn<co... in haskell_blah
Dollar Føølish
Ну я про Идрис спрашивал
ну @kremovtort видимо имел в виду, что писать на идрисе как в пейпере wfpm нельзя
источник