Ответы пользователя по тегу Haskell
  • Как рекурсивно распарсить скобки?

    @art_of_press
    Вы, почему-то, не используете одну из самых мощных фич Хаскелла - типы. Программа гораздо легче пишется, когда вы её сначала написали на уровне типов. Функции после этого пишутся гораздо легче.

    Переходя к вашей задаче: я бы разделил её на два этапа.

    1. Лексический разбор строки на список токенов.

    2. Парсинг списка токенов в выражение.

    Какие у вас могут быть токены? Числа, операторы, левая и правая скобки. Вот их и кодируйте в типе Token:

    data Token = NumToken Double | OpToken Operator | LeftParenToken | RightParenToken
    
    data Operator = Plus | Minus | Mult | Div


    В типе Token конструктору данных NumToken я передал Double, т.к. если у вас будет деление, с Int или Integer вы не сможете его произвести без дополнительной конвертации.

    Дальше вы должны превратить вашу строку в список токенов. Это отлично делается рекурсией:

    strToToken :: String -> [Token]
    strToToken [] = []
    strToToken (c:cs)
        -- Токенизируем голову списка и вызываем токенизацию на его хвосте
        | c == '(' = LeftParenToken : strToToken cs
        | c == ')' = RightParenToken : strToToken cs
        -- Если встречается пробел - откидываем его и токенизируем строку дальше
        | isSpace c = strToToken cs
        -- если встречается число, вызываем функцию-хелпер number
        | isDigit c = number c cs
        -- не забываем о случаях, когда строку не удалось распарсить полностью
        | otherwise = error $ "Не могу распарсить " ++ [c]


    Функция strToToken и вспомогательная функция number являются взаимно рекурсивными. Из функции strToToken мы вызываем функцию number, а из функции number мы вызываем функцию strToToken:

    number :: Char -> String -> [Token]
    number c cs =
        -- разбиваем строку на цифровые символы, идущие друг за другом, 
        -- и на остаток строки при помощи функции span
        let (digits,rest) = span isDigit cs
        -- сразу переводим полученные цифровые символы в число 
        -- при помощи функции read и токенизируем остаток строки
        in NumToken (read $ c:digits) : strToToken rest


    Вот вы и сконвертировали строку в список лексем. Следующая задача - парсинг лексем в выражения. Советую точно так же создать тип, содержащий все возможные выражения. Подсказка: этот тип у вас получится рекурсивным, т.к. выражение может состоять из нескольких выражений, разделённых операторами.
    Ответ написан
    2 комментария
  • Кто поможет найти руководство по Haskell?

    @art_of_press
    Лучший курс по Хаскелю, который я когда-либо встречал (включая англоязычные курсы) выложен здесь. Ведёт его тот же Денис Николаевич Москвин (преподаватель от бога!), что ведёт и курс по Хаскелю на Степике. Отличие от курса на Stepic.org в том, что материал даётся гораздо глубже, охватывается гораздо больше тем, но, к сожалению, к этому курсу не выложены практические задания, в отличие от курса на Stepic.org.
    Ответ написан
    Комментировать
  • Какие есть интерактивные площадки для изучения Haskell наподобие Codeacademy.com?

    @art_of_press
    School of Haskel от FP Complete. Масса интерактивных туториалов, начиная с самого базового уровня и заканчивая суперпродвинутыми туториалами по отдельным аспектам языка или библиотекам.
    Ответ написан
    Комментировать
  • Нужно ли знать математику, чтобы программировать на haskell?

    @art_of_press
    Концепции, заложенные в язык Haskell, разработаны математиками на основе математических концепций. Чтобы понимать, каким образом появились концепции языка, и каким путем к ним пришли его разработчики, нужно знать математику. Но чтобы использовать Haskell для программирования, знания этих вещей не нужно. Это как с транспортным средством - для его создания нужно знать в значительном объеме и математику, и физику, и материаловедение, но чтобы управлять им, эти знания совсем не обязательны.

    Подтвержу свой ответ цитатой из работы Monads for functional programming авторства одного из разработчиков языка Haskell Филипа Вадлера из Университета Глазго:

    It is doubtful that the structuring methods presented here would have been discovered without the insight afforded by category theory. But once discovered they are easily expressed without any reference to things categorical. No knowledge of category theory is required to read these notes.

    Вряд ли методы структурирования, описанные здесь, могли бы быть найдены без тех возможностей, которые нам предоставила теория категорий. Но после того, как они были найдены, они легко описываются без какого-либо упоминания теории категорий. Знания теории категорий не требуется для того, чтобы понять эту статью.
    Ответ написан
    Комментировать