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

Replies (6)

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

    Но нет я уже сколько тут бьюсь, а но циклится и виснет, а решения проблм какие-то квадратичные
  • @qnikst, я на scala задания по курсу делал. Постоянно спотыкался даже в простейших случаях.
  • @qnikst, а чо не так?
  • @qnikst, У него же есть ленивые типы, они не выручают?
  • @qnikst, А как же SCB и mu, в котором как раз выпилена лень?