Какой рейтинг вас больше интересует?
|
Главная / Главные темы / Тэг «haskell»
Haskell / [Перевод] Изучай Хаскель ради добра! Моноиды 2011-09-16 19:29:08
... Learn You a Haskell for Great Good ...
+ развернуть текст сохранённая копия
Привет! Поздравляю всех с пятницей!
Сегодня я хочу вам представить мой очередной перевод гдавы Моноиды из учебника Learn You a Haskell for Great Good!, который является продолжением предыдущего поста.
Читать дальше →
Тэги: haskell, lyah, моноиды, перевод, программирование, учебник, функциональный, хаскель
Haskell / [Перевод] Еще Одно Руководство по Монадам (часть 2: функции >>= и return) 2011-09-09 10:53:58
... функцию «точка» (.) языка Haskell. Мы придем к ...
+ развернуть текст сохранённая копия
Две фундаментальные монадические операции
Помните, я говорил, что монады обобщают композицию и применение функций? Вот об этом здесь и поговорим. Наберитесь терпения, нам потребуется какое-то время.
К этому моменту, я надеюсь, у вас сложилось хотя бы смутное ощущение монад, что они такое и для чего используются. Я уже упоминал одну из особенностей функционального программирования — композицию функций, благодаря которой мы создаем новые функции, объединяя старые. Функциональные программисты постоянно говорят о «комбинируемости» {1}, подразумевая, что если что-то в языке программирования не комбинируется, значит, оно немногого стоит. Аналогично, наши новоявленные монадические функции не были столь же полезны, если бы они не компоновались так, как это есть на самом деле. Но мы еще увидим, для их композиции нельзя использовать стандартную функцию «точка» (.) языка Haskell. Мы придем к выводу, что тут нужно что-то большее, и определим две фундаментальные монадические операции (или, для начала, их типы).
Читать дальше →
Тэги: another, haskell, monad, tutorial, yet
Программирование / [Перевод] Функторы в языках программирования 2011-08-10 11:27:23
... . Теперь Haskell. В Haskell функторы — это ...
+ развернуть текст сохранённая копия
Интересно, что термин " функтор" означает совершенно разные вещи в разных языках программирования. Возьмем, например, C++. Каждый, кто освоил мастерство C++, знает, что класс, который реализует operator(), называется функтором. Теперь возьмём Standard ML. В ML функторы отображают структуры на структуры. Теперь Haskell. В Haskell функторы — это просто гомоморфизм над категориями. А в Prolog функтор означает атом в начале структуры. Все они различаются. Давайте подробнее рассмотрим каждый из них.
Читать дальше →
Тэги: cpp, functor, haskell, prolog, sml, standard, функтор, функторы, хаскель
Программирование / [Перевод] Монады с точки зрения теории категорий 2011-08-07 01:07:17
Введение
Кажется, монады в программировании стали загадкой века. И для этого ...
+ развернуть текст сохранённая копия
Введение
Кажется, монады в программировании стали загадкой века. И для этого есть две причины:
- недостаточное знание теории категорий;
- многие авторы стараюстся не упоминать категории вообще.
Это как говорить об электричестве не используя мат. анализ. Достаточно для замены предохранителя, не хватит, чтобы спроектировать усилитель.
Мы начнём с простого введения в категории и функторы, затем дадим определение монады, приведём простые примеры монад в категориях и в конце приведём монадическую терминологию используемую в языках программирования.
Я уверен, что монады с точки зрения категорий почти элементарны.
Содержание
- Категория
- Функтор
- Естественное преобразование
- Монада
- Монады исключения и состояния
- Монады в программировании
- Ссылки
Читать дальше →
Тэги: haskell, категория, ликбез, монада, программирование, теория, функциональный
Алгоритмы / [Перевод] Просто о Хиндли-Милнере 2011-07-29 23:42:10
... в F# и Haskell и OCaml, как ...
+ развернуть текст сохранённая копия
Введение
 Если вы когда-нибудь интересовались не слишком популярными языками, то должно быть слышали о «Хиндли-Милнере». Этот алгоритм пользуются в F# и Haskell и OCaml, как и в их предшественнике ML. Некоторые исследователи даже пытаются использовать ХМ для оптимизации динамических языков вроде Ruby, JavaScript и Clojure.
И не смотря на его распространенность, до сих пор не было простого и понятного объяснения, что же это такое. Как же эта магия работает? Всегда ли выводимые типы будут верными? Или чем Хиндли-Милнер лучше, скажем, Java? И пока те, кто действительно знает что такое ХМ будут восстанавливаться от очередного умственного перенапряжения, мы попробуем разобраться в этом сами.
Читать дальше →
Тэги: haskell, hindley-milner, scala, typesystem, ликбез, система, тип, типизация, хиндли-милнер
Страницы: 1 2 3 4 5 6 7 8 9
Главная / Главные темы / Тэг «haskell»
|
Взлеты Топ 5
Падения Топ 5
|
