• qnikst
    qnikst
    Haskell idris Если вы встретите человека, который говорит что Haskell должен быть строгим по умолчанию — предложите ему пописать на Idris недельку
    ♡ recommended by @ndtimofeev

Replies (6)

  • blaze
    blaze
    @qnikst, боль?
    /1 ·
  • qnikst
    qnikst
    @blaze, полнейшая, я тут попытался аппликативный парсер сделать, обычно ж это тяп-ляп и за 15 минут готовы тип, Applicative, Alternative, дальше нахаляву some, many, остается сделать 5-7 базовых парсеров и готово..

    Но нет я уже сколько тут бьюсь, а но циклится и виснет, а решения проблм какие-то квадратичные
    /2 in reply to /1 ·
  • blaze
    blaze
    @qnikst, я на scala задания по курсу делал. Постоянно спотыкался даже в простейших случаях.
    /3 in reply to /2 ·
  • alar
    alar
    @qnikst, а чо не так?
    /4 ·
  • Laz
    Laz
    @qnikst, У него же есть ленивые типы, они не выручают?
    /5 in reply to /2 ·
  • agr
    agr
    @qnikst, А как же SCB и mu, в котором как раз выпилена лень?
    /6 ·