illumium.org

Главная

операторы

И снова декларативное разграничение доступа на Haskell

kayo — Вс, 14/09/2014 - 23:54

Казалось бы, мы уже окончательно пережевали эту тему в прошлый раз. Но оказывается, как всегда, мы всё сделали не правильно… Ну ладно, не будем отчаиваться, мы не совсем всё сделали не правильно. Не правильно мы сделали только в одной части, а именно, в части объявления новых операторов.

Нет, конечно, возможность объявлять хитрые специфические операторы — одна из полезнейших возможностей Haskell, и нет ничего плохого в том, чтобы так поступать. Плохо другое, объявив операторы &&@ и ||@, мы по сути продублировали функциональность. Булеву алгебру не мы изобрели, стандартные операторы && и || давно существуют и делают понятные вещи. Так зачем же снова изобретать велосипед, когда правильнее было бы адаптировать то, что уже есть.

  • Разработка для WEB
  • Haskell
  • Monad
  • role-based access control
  • type classes
  • классы типов
  • монады
  • операторы
  • управление доступом
  • Бортовой журнал Иллюмиума
  • Добавить комментарий
  • Подробнее
  • 1 прикреплённый файл

Декларативное разграничение доступа на основе ролей и привилегий на Haskell

kayo — Пт, 29/08/2014 - 16:03

Моё мнемоническое мышление чуть было не разбилось вдребезги, столкнувшись с литературой по Haskell, написанной, как водится, математиками для математиков. Погрузившись в облако висящих в воздухе абстракций, я тщетно пытался выскрести из них хоть какую-то практическую пользу. Но всё это время меня не покидало ощущение, что причина тщетности моих попыток вовсе не в сложности системы функционального программирования как таковой и не в сложности конкретной реализации её в Haskell, а в том, что я пытаюсь читать книги на языке, которым я не владею в достаточной для понимания мере. Абстрактный язык теории категорий встал между мной и Haskell. Я несколько раз бросал вдумчивое чтение, и несколько раз возвращался к нему снова, пока всё не бросил и не взялся за изучение кода. Конкретные примеры выглядели куда понятнее голой теории и постепенно понимание стало приходить. Изящность дизайна этого языка развернулась передо мной, и я «достиг просветления» ©®™.

  • Разработка для WEB
  • Applicative
  • Functor
  • Haskell
  • Monad
  • role-based access control
  • монады
  • операторы
  • управление доступом
  • функторы
  • Бортовой журнал Иллюмиума
  • Добавить комментарий
  • Подробнее
  • 1 прикреплённый файл
RSS-материал

Навигация

  • Подшивки
  • Фотоальбомы

Работает на Drupal, система с открытым исходным кодом.

(L) 2010, Illumium.Org. All rights reversed ^_~