Oℕ
Если я правильно понимаю, о чём речь
Т.е. это можно было бы просто назвать рекордами, и вычернуть из модулей.
Но важная отличительная особенность объектов в скала или рекордов из завтипных ЯП в том, что их членами могут быть другие типы
Size: a a a
2020 September 25
Oℕ
Oℕ
Я не очень много знаю про модули, каждый раз когда а64м чото рассказывает, я понимаю что ни история ни таксономия модульных систем мне неизвестна
JS
@cblp_su хочется уточнить по https://github.com/cblp/funlangs . Как выглядят параметризированные модули в Idris и Scala (и для Haskell там оговорочка стоит)? Я прост только Ocaml знаю.
это не ко мне, а к специалистам по этим языкам
LO
Я не очень много знаю про модули, каждый раз когда а64м чото рассказывает, я понимаю что ни история ни таксономия модульных систем мне неизвестна
Я думаю клапауций в этом разбирается лучше авторов разных пейперов по этой теме. Ему не надо тратить время на написание пейперов, может целиком посвятить себя чтению.
LO
Чёртова школа, приходится вставать в 7.30. Нормальные программисты спят до 10
AA
Dollar Føølish
Интересные времена
Первая обсерватория в Афганистане появилась за 1000+ лет до того как немцы начали в набедренных повязках бегать по берегам европейских рек
Вроде обсерватория Зороастра гуглится
Сейчас этот самый Афганистан немцы в виде США пустили на литиевые батарейки
В афгане последние большие запасы лития
То же греческое чудо с подачи Гегеля и Хайдеггера считается общепризнанным, хотя то ли Эмпедокл то ли ещё кто провели много лет в обучении у персидских магов. Да что там Эмпедокл вроде даже сам Аристотель из поздних грешили поездками в среднюю Азию.
На этом фоне , мне кажется , вечным можно признать только еврейство
Первая обсерватория в Афганистане появилась за 1000+ лет до того как немцы начали в набедренных повязках бегать по берегам европейских рек
Вроде обсерватория Зороастра гуглится
Сейчас этот самый Афганистан немцы в виде США пустили на литиевые батарейки
В афгане последние большие запасы лития
То же греческое чудо с подачи Гегеля и Хайдеггера считается общепризнанным, хотя то ли Эмпедокл то ли ещё кто провели много лет в обучении у персидских магов. Да что там Эмпедокл вроде даже сам Аристотель из поздних грешили поездками в среднюю Азию.
На этом фоне , мне кажется , вечным можно признать только еврейство
лол, а где последние большие запасы кремния?
JC
Dollar Føølish
Индусы придумали стремя за 800+ лет до монголов, было такое колечко под большой палец ( тогда сражались босыми)
А теперь индийское общество по социальной организации примерно на уровне худших образцов Орды
А теперь индийское общество по социальной организации примерно на уровне худших образцов Орды
Это что же получается, великие империи неизбежно терпят крах?
AA
В хаскеле в таком виде точно нет, но судя по тому, что там не крестик, в каком-то виде есть
бекпачная миксин-машинерия в кабале находится, так что для гхц (и это в каком-то смысле доступно для пользователя в бекпак-файлах) пакеты параметризованы типа как емельные, функторы надо вручную применять
AA
Dollar Føølish
Поппрбуйте погуглить типа 'хьюз модули хаскель' или 'макквин модули хаскель:'
не модули а модульность же. хьюзная модульность без модулей
Oℕ
требую ликбез
Oℕ
(без папиров)
Oℕ
не модули а модульность же. хьюзная модульность без модулей
!
AA
требую ликбез
про миксины или про хьюзную модульность?
Oℕ
про миксины или про хьюзную модульность?
второе, потом первое
AA
ну хьюзная модульность про контрол структуры. типа как делать композящиеся функции с помощью неполной материализации и раннего завершения
AA
то что емелисты называют модульностью - это совсем другое явление но не менее мутное
AA
емельная - в узком смысле макквинная модульность это возможность писать код против сигнатуры зависимости, которую саму не обязательно из этой зависимости импортировать
AA
этой мутности достаточно для того чтоб одни последователи этой школы молульной мысли считали например что тайпклассы антимодульны в принципе, а другие что тайпклассы это такие модули
AA
в самом узком смысле макквиновые модули это т.н. функторы - такая фунция принимающая модуль и возвращающая модуль. т.е. зависимость может быть параметром и параметризованный модуль применяется к другим модулям явно
так в смле окамле и в бекпачечных файлах
миксины - это когда линковочная машинерия применяет функтор сама, т.е. параметр маскируется чтоб для пользователя выглядеть как обычный импорт
так бекпак предполагается использовать с помощью кабала
так в смле окамле и в бекпачечных файлах
миксины - это когда линковочная машинерия применяет функтор сама, т.е. параметр маскируется чтоб для пользователя выглядеть как обычный импорт
так бекпак предполагается использовать с помощью кабала