Что означает sequenceA от Traversable? Почему в конце стоит заглавная А? Я изучаю Haskell уже несколько месяцев, и это одна из тех вещей, которые меня беспокоили какое-то время.
что означает A в sequenceA?
21.10.2016
Ответы:
1
«A» означает Applicative, как в ограничении типа sequenceA:
sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)
То, что здесь есть буква «А», является плодом исторической случайности. Когда-то в Haskell не существовало ни Applicative, ни Traversable. Тем не менее, точно такая же функция, как sequenceA, уже существовала, за исключением того, что она имела гораздо более конкретный тип:
sequence :: Monad m => [m a] -> m [a]
Когда были введены Applicative и Traversable, функция была обобщена со списков на любые Traversable [1]:
sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
Ограничение Monad sequence излишне ограничительно. Однако тогда дальнейшее обобщение до Applicative было невозможным. Проблема заключалась в том, что до начала прошлого года Applicative не был суперклассом Monad, как предполагалось, и поэтому обобщение сигнатуры до Applicative нарушило бы любое использование sequence с монадами, у которых не было экземпляра Applicative. При этом к названию общей версии была добавлена лишняя буква «А».
[1]: обратите внимание, однако, что Prelude до недавнего времени продолжала содержать версию для конкретного списка.
21.10.2016
Новые материалы
Объяснение документов 02: BERT
BERT представил двухступенчатую структуру обучения: предварительное обучение и тонкая настройка.
Во время предварительного обучения модель обучается на неразмеченных данных с помощью..
Как проанализировать работу вашего классификатора?
Не всегда просто знать, какие показатели использовать
С развитием глубокого обучения все больше и больше людей учатся обучать свой первый классификатор. Но как только вы закончите..
Работа с цепями Маркова, часть 4 (Машинное обучение)
Нелинейные цепи Маркова с агрегатором и их приложения (arXiv)
Автор : Бар Лайт
Аннотация: Изучаются свойства подкласса случайных процессов, называемых дискретными нелинейными цепями Маркова..
Crazy Laravel Livewire упростил мне создание электронной коммерции (панель администратора и API) [Часть 3]
Как вы сегодня, ребята?
В этой части мы создадим CRUD для данных о продукте. Думаю, в этой части я не буду слишком много делиться теорией, но чаще буду делиться своим кодом. Потому что..
Использование машинного обучения и Python для классификации 1000 сезонов новичков MLB Hitter
Чему может научиться машина, глядя на сезоны новичков 1000 игроков MLB? Это то, что исследует это приложение.
В этом процессе мы будем использовать неконтролируемое обучение, чтобы..
Учебные заметки: создание моего первого пакета Node.js
Это мои обучающие заметки, когда я научился создавать свой самый первый пакет Node.js, распространяемый через npm.
Оглавление
Глоссарий
I. Новый пакет
1.1 советы по инициализации..
Забудьте о Matplotlib: улучшите визуализацию данных с помощью умопомрачительных функций Seaborn!
Примечание. Эта запись в блоге предполагает базовое знакомство с Python и концепциями анализа данных.
Привет, энтузиасты данных! Добро пожаловать в мой блог, где я расскажу о невероятных..