А по факту это надо буквально понимать -- программирование на уровне типов

Когда компилятор выполняет какие-либо функции в процессе тайпчека.

Когда система типов представляет сама собой язык программирования.

Например, редукция семей типов -- это основное средство type level программирования в Хаскеле

Когда система типов представляет сама собой язык программирования.

Нервно вспомнил шаблоны в c++

Ну да, они тьюринг полны

Те же яйца, только в профиль.

Спросил таки у гугла, что это за зверь такой, type-level programming.

Гугл ответил, что это какая-то малопонятная плебень, которая, судя по всему, интересна только скалистам и хаскелистам.

а может кто по Parsec проконсультировать?

А в википедии есть две статьи, про functional-level и value-level programming, из которых можно вывести примерно, что же может скрываться под этим загадочным названием.

parseTDB = parse tdbfile "invalid file format" tdbfile = do result <- many myLine eof return result myLine = do content <- many (noneOf "\n") eol return content <?> "Line error" eol = try (string "\r\n") <|> string "\n" <|> string "\r" <?> "end of line"

*Ch16 Text.ParserCombinators.Parsec> parseTDB "dasfasdsa\nxdsadsa\n" Right ["dasfasdsa","xdsadsa"]

тоесть просто бьется по \n строчки

но если последний \n убрать

то все ломается

ну потому что вместо eol там eof вылетает

но я никак не могу соединить eol и eof

там бы какой-то OR

А eof где определен?

eof в Parsec есть

У eof вот такой :t eof :: (Show t, Text.Parsec.Prim.Stream s m t) => Text.Parsec.Prim.ParsecT s u m ()

Хм сейчас запущу у себя ghci

а у eol eol :: Text.Parsec.Prim.ParsecT [Char] u Data.Functor.Identity.Identity String

вот такой

Блин, тут код читать невозможно

вот такие импорты нужны import Text.ParserCombinators.Parsec import Data.Char

import Text.ParserCombinators.Parsec import Data.Char parseTDB = parse tdbfile "invalid file format" tdbfile = do result <- many myLine eof return result myLine = do content <- many (noneOf "\n") eol return content <?> "Line error" eol = try (string "\r\n") <|> string "\n" <|> string "\r" <?> "end of line"

ну вот так скопируй

основная беда что у eof и у eol типы не сходятся

@DenisLebedev есть успехи?:)

Atom обновляет плагины. Система занята...

Это пиздец какой-то. i3, 4 гига...

че ща атом?

за*

https://atom.io/

оу

ну так что ты хотел

он и у меня зело тормознутый

То, из чего Electron родился.

То, из чего Electron родился.

(:V)

ну пока у тебя плагины обновляются у мнея другой вопрос:) Кто-то NixOS пробывал?

ну так что бы переехать полностью и поработать с этим

понел шо за электрон

ну че поделаешь

Нервно вспомнил шаблоны в c++

/me с наслаждением пошёл перечитывать Александреску

type level programming это метапрограммирование на с++ шаблонах например

или разработка на языке с dependent types типа идриса, верно.7

Любопытно.

Похоже, с помощью комбинаторов вообще невозможно распарсить строку, которая не заканчивается одним из ожидаемых символов.

Сейчас посмотрю повнимательнее, конечно...

Я уже комп выключил

Я там видел count

Может через него можно проверить длину остатка?

Завтра в гиттере спрошу

Может там кто подскажет

Конечно как вариант, когда такой файл вычитываешь откуда-то то можно проверить построений символ и поставить \n если его там нету

Костыль конечно

Должно быть более элегантное решение

import Control.Monad import Data.Char import Text.ParserCombinators.Parsec parseTDB = parse tdbfile "invalid file format" tdbfile = do result <- manyTill myLine eof return result myLine = do content <- manyTill anyToken eol return content eol = try (void (string "\r\n")) <|> void (string "\n") <|> void (string "\r") <|> eof <?> "end of line"

Заебался я что-то с этим парсеком...

Но вообще задача странная, если честно.

Всем привет. Я не так давно изучаю хаскель, только что баловался с ним и наткнулся на такое: Prelude> length $ 1:(take maxBound $ repeat 1) -2147483648 Prelude> :t length length :: [a] -> Int Почему [a] -> Int, хаскель?

Почему не [a] -> Integral или [a] -> Num или [a] -> Integer

Как работать со списками длиннее, чем maxBound :: Int ?

Определи свою функцию для вычисления длины.

Только вот разумно ли работать со столь длинными списками?

ERROR: S client not available

А как же стандартная библиотека? Code reuse? Ребята, которые над ней горбатились ведь могли это время прожить. Хочу пользоваться плодами их труда

Prelude> :t take take :: Int -> [a] -> [a]

опять веселье. такими темпами меня заставят всю библиотеку переопределить

Только вот разумно ли работать со столь длинными списками?

А вот perl6 не говорит мне, что разумно, а что нет. Он просто делает, что я говорю.

А вы когда пишете свой код, не имеющий side effects, вы думаете о том, как ваша программа себя поведет при списках такой длинны?

Ладно, пусть по неизвестной причине рнзультат length имеет тип Int. Но почему его переполнение не выкидывает исключение? Как это делает succ maxBound :: Int

Ладно, пусть по неизвестной причине рнзультат length имеет тип Int. Но почему его переполнение не выкидывает исключение? Как это делает succ maxBound :: Int

Баг. Значит, надо оформить и отправить на баг-треккер

автор в книжке "learn you a haskell for great good" специально обратил на это внимание

Он говорит, что хз зачем это так сделали, наверное исторически сложилось

Так что я бы поставил на то, что это ожидаемое поведение

И всем известное

Этих "исторически известных поведений" вон целый сиплюплюс. Я думаю что такие недочеты нужно править, стремясь к консистентному поведению(потому что от этого людям станет проще и приятнее пользоваться языком).

@DenisLebedev Спасибо, работает, буду разбираться как ты это сделал:) а насчет странности, я вот такой файл хочу распарсить http://search.cpan.org/dist/Test-Database/lib/Test/Database.pm#FILES

нидавно писал парсер на go

ну и ты же понимаешь что в конце может и не быть \n

я вот начал с малого

разбития на строчки:)

Для этого есть функция lines. Потому и странная задача.

ты вообще спишь?:)

я уже спал а ты ответил:)

я проснулся и ты тут:)

я может еще не понял как этим Parsec пользоваться

но чтобы файлик распарсить, надож е его разбить на строки саначала

ты вообще спишь?:)

В данный момент сплю, на работе :)

Я вчера уснуть не смог, пока не решил эту гребаную задачу!

ну круто конечно

но чтобы файлик распарсить, надож е его разбить на строки саначала

Тут ты не прав. В структуре твоего файлика есть секции, а в секциях встречаются поля с одинаковыми наименованиями. Так что просто разбив на строчки файл ты получишь просто мешанину из данных.

Лучше пропиши нормальный парсер, который будет парсить сразу секциями

...

да

что-то я не стой стороны пошел

я вчера просто только начал Parsec играться