[WIP] FParsec Tutorial #12

FoggyFinder · 2017-05-06T18:43:07Z

Добавил перевод к "Parsing a float between brackets"

Neftedollar

Отличный перевод. Вопрос только по двум незначительным словам.

Neftedollar · 2017-05-06T22:25:28Z

FParsec/3. Parsing a float between brackets.md

+Реализация парсеров с `FParsec` обычно означает комбинирование высокоуровневых парсеров основанных на парсерах низкого уровня.
+Вы начнете с парсеров примитивов предоставляемых библиотекой, а затем будете последовательно их комбинировать в высокоуровневые до тех пор, пока вы наконец не получите один парсер для полных входных данных.
+
+В этом учебнике мы проиллюстрируем этот подход обсуждением различных простых парсеров, которые строятся друг на друге. 


строятся друг на друге

"основываются друг на дргуе" звучит лучше

Neftedollar · 2017-05-06T22:30:12Z

FParsec/3. Parsing a float between brackets.md

+Как вы можете видеть по этим сигнатурам, оба оператора являются парсер-комбинатором что конструирует новый парсер из двух своих аргументов.
+
+Парсер `p1 >>. p2` последовательно парсит `p1` и `p2` и возвращает результат `p2`. 
+Парсер `p1 .>> p2` также последовательно парсит `p1` и `p2`, но возвращает результат `p1` вместо `p2`.


но возвращает результат p1 вместо p2.

"но уже возвращает p1, а не p2" так по моему лучше, т.к. убиарем слвоо "вместо" которое наводит на мысли о каких-то заменах. А здеь говорится о различиях.

Neftedollar · 2017-05-09T11:32:02Z

FParsec/4. Abstracting parsers.md


-These are all trivial examples, of course. But since FParsec is merely an F# library and not some external parser generator tool, there are no limits to the abstractions you can define.
-You can write functions that take whatever input you need, do some arbitrarily complex computations on the input and then return a special purpose parser or parser combinator.
+Конечно, все эти примеры тривиальны. Но, поскольку, `FParsec` это только F#-библиотека, а не какой-нибудь внешний инструмент для генерации парсеров, здесь ограничений на абстракции, которые вы можете определить.


здесь ограничений

Пропущено "нет"

Neftedollar · 2017-05-09T11:38:10Z

FParsec/4. Abstracting parsers.md

-For example, you could write a function that takes a regular‐expression pattern as the input and returns a  Parser for parsing input conforming to that pattern.
-This function could use another parser to parse the pattern into an AST and then compile this AST into a special‐purpose parser function.
-Alternatively, it could construct a .NET regular expression from the pattern and then return a parser function that uses FParsec’s  CharStream API to directly apply the regex to the input stream (which is what the built‐in regex parser actually does).
+Например, вы можете написать функцию, которая принимает паттерн регулярного выражения в качестве входного параметра и возвращает `Parser` для разбора входных данных в соответствии с этим шаблоном. 


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

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

@Neftedollar понял, хотел избавиться от тавтологии, похоже вышло не очень удачно

Neftedollar · 2017-05-09T11:42:46Z

FParsec/4. Abstracting parsers.md

-This function could use another parser to parse the pattern into an AST and then compile this AST into a special‐purpose parser function.
-Alternatively, it could construct a .NET regular expression from the pattern and then return a parser function that uses FParsec’s  CharStream API to directly apply the regex to the input stream (which is what the built‐in regex parser actually does).
+Например, вы можете написать функцию, которая принимает паттерн регулярного выражения в качестве входного параметра и возвращает `Parser` для разбора входных данных в соответствии с этим шаблоном. 
+Эта функция может использовать другой парсер для разбора шаблона в АСД а затем компилировать его в специальную функцию парсинга.


я бы дописал к АСД(Абстрактное синтаксическое дерево) , т.к. раньше, вроде нигде про АСД не упоминалось, пришлось напрячься, чтоб понять что тут имеется ввиду под АСД. Т.к. уже пользовался FParsec, то это было легко, а люди будут гуглить аббревиатуру.

Neftedollar · 2017-05-09T11:45:55Z

FParsec/4. Abstracting parsers.md

-Alternatively, it could construct a .NET regular expression from the pattern and then return a parser function that uses FParsec’s  CharStream API to directly apply the regex to the input stream (which is what the built‐in regex parser actually does).
+Например, вы можете написать функцию, которая принимает паттерн регулярного выражения в качестве входного параметра и возвращает `Parser` для разбора входных данных в соответствии с этим шаблоном. 
+Эта функция может использовать другой парсер для разбора шаблона в АСД а затем компилировать его в специальную функцию парсинга.
+В качестве альтернативы можно построить регулярное выражение .Net из шаблона и затем вернуть функцию-парсер, которая использует `CharStream` API из `FParsec` для того, чтобы непосредственно применить регулярное выражение к входному потому (на самом деле это как раз то, что делает встроенный парсер `regex`).


может записать так? (на самом деле это как раз то, что делает встроенный парсер regex)

Neftedollar · 2017-05-09T11:48:39Z

FParsec/4. Abstracting parsers.md

-Another example are extensible parser applications.
-By storing parser functions in dictionaries or other data structures and defining an appropriate extension protocol, you could allow plugins to dynamically register new parsers or modify existing ones.
+Другой пример - расширяемое приложение-парсер. 
+Сохраняя функции парсинга в словаре или другой структуре данных и определяя расширяющий протокол, вы можете позволить плагину динамически регистрировать новые парсеры или изменять существующие.


тут имелось ввиду "определив расчширяющий протокол, вы можете позволить плагинам..."

@Neftedollar не уверен, что понял разницу. Более явно выраженный порядок действий?
Но звучит лучше, тогда заменю еще "сохраняя" на "сохранив", чтобы не было рассогласования.

gsomix · 2017-05-09T14:33:37Z

FParsec/3. Parsing a float between brackets.md

+```
+
+принимает строку в качестве первого аргумента и возвращает парсер для этой строки.
+Когда этот парсер применяется к входному потоку он проверяет совпадают ли символы из входного потока с заданной строкой.


к входному потоку он проверяет совпадают

Нужна запятая перед он.

он проверяет совпадают ли

Нужна запятая после проверяет.

@gsomix почему?

Тут сложноподчиненное предложение, части которого нужно выделять запятыми.

Главное предложение: он проверяет
Что? совпадают ли символы
Когда? когда парсер применяется

gsomix · 2017-05-09T14:36:04Z

FParsec/4. Abstracting parsers.md

@@ -0,0 +1,49 @@
+# Абстрактные парсеры
+
+Одна из самых сильных сторон `FParsec` - легкость с которой вы можете определить ваш собственный абстрактный парсер.


легкость с которой вы можете

Нужна запятая после легкость.

gsomix · 2017-05-09T14:37:47Z

FParsec/4. Abstracting parsers.md

+
+На самом деле, вам не нужно определять `between`, т.к. такой комбинатор уже [есть](http://www.quanttec.com/fparsec/reference/primitives.html#members.between) в библиотеке `FParsec`.
+
+Конечно, все эти примеры тривиальны. Но, поскольку, `FParsec` это только F#-библиотека, а не какой-нибудь внешний инструмент для генерации парсеров, здесь  нет ограничений на абстракции, которые вы можете определить.


Но, поскольку, FParsec

Поскольку -- это союз. Запятые не нужны.

gsomix · 2017-05-09T14:39:15Z

FParsec/4. Abstracting parsers.md

+На самом деле, вам не нужно определять `between`, т.к. такой комбинатор уже [есть](http://www.quanttec.com/fparsec/reference/primitives.html#members.between) в библиотеке `FParsec`.
+
+Конечно, все эти примеры тривиальны. Но, поскольку, `FParsec` это только F#-библиотека, а не какой-нибудь внешний инструмент для генерации парсеров, здесь  нет ограничений на абстракции, которые вы можете определить.
+Вы можете написать функцию, которая принимает те входные данные которые вам нужны, выполняет некоторые сложные произвольные вычисления и затем возвращаем парсер специального назначения или парсер-комбинатор.


которая принимает те входные данные которые вам нужны

Повторение которые. Может исправить так?

которая принимает нужные вам входные данные

gsomix · 2017-05-09T14:41:35Z

FParsec/4. Abstracting parsers.md

+Другой пример - расширяемое приложение-парсер. 
+Сохранив функции парсинга в словаре или другой структуре данных и определив расширяющий протокол, вы можете позволить плагину динамически регистрировать новые парсеры или изменять существующие.
+
+Возможности действительно неограниченны. Но, прежде, чем вы сможете полностью их использовать, вам нужно познакомиться с основами `FParsec`.


Но, прежде, чем вы

Прежде чем используется в значении союза. Запятые не нужны.

gsomix · 2017-05-09T14:46:31Z

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

@FoggyFinder Спасибо за перевод! Это круто.

Загрузил свою версию перевода учебника FParsec для слияния.

Neftedollar · 2017-08-18T14:41:55Z

@DmitriyVlasov спасибо!

Neftedollar reviewed May 6, 2017

View reviewed changes

FoggyFinder changed the title ~~FParsec Tutorial~~ [WIP] FParsec Tutorial May 7, 2017

Neftedollar requested changes May 9, 2017

View reviewed changes

Neftedollar approved these changes May 9, 2017

View reviewed changes

gsomix suggested changes May 9, 2017

View reviewed changes

gsomix approved these changes May 9, 2017

View reviewed changes

FoggyFinder added 10 commits August 17, 2017 20:59

Parsing a float between brackets (eng)

4a808fc

Parsing a float between brackets (rus)

650e7c5

update README

803ec17

исправил опечатки

acbfefb

fix typos, fixes requested by Neftedollar

80f4bd6

Abstracting parsers (eng)

9b58a44

Abstracting parsers (rus)

7b3d8a8

fixes requested by Neftedollar

15c2359

Parsing a list of floats

2fce43f

Parsing a list of floats

eed154c

FoggyFinder force-pushed the master branch from e0b2756 to eed154c Compare August 17, 2017 18:00

Dmitriy Vlasov and others added 2 commits August 18, 2017 11:53

Загрузил свою версию перевода учебника FParsec для слияния.

145410d

Merge pull request #1 from DmitriyVlasov/master

31478db

Загрузил свою версию перевода учебника FParsec для слияния.

FoggyFinder added 2 commits September 14, 2017 22:16

первое обновление

0e7e0e8

небольшие уточнения

a87a826

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[WIP] FParsec Tutorial #12

[WIP] FParsec Tutorial #12

FoggyFinder commented May 6, 2017

Neftedollar left a comment

Neftedollar May 6, 2017

Neftedollar May 6, 2017

Neftedollar May 9, 2017

Neftedollar May 9, 2017

FoggyFinder May 9, 2017

Neftedollar May 9, 2017 •

edited

Loading

Neftedollar May 9, 2017

Neftedollar May 9, 2017

FoggyFinder May 9, 2017

gsomix May 9, 2017

gsomix May 9, 2017

FoggyFinder May 9, 2017

gsomix May 9, 2017 •

edited

Loading

gsomix May 9, 2017

gsomix May 9, 2017

gsomix May 9, 2017

gsomix May 9, 2017

gsomix commented May 9, 2017 •

edited

Loading

Neftedollar commented Aug 18, 2017

		@@ -0,0 +1,49 @@
		# Абстрактные парсеры

		Одна из самых сильных сторон `FParsec` - легкость с которой вы можете определить ваш собственный абстрактный парсер.


		На самом деле, вам не нужно определять `between`, т.к. такой комбинатор уже [есть](http://www.quanttec.com/fparsec/reference/primitives.html#members.between) в библиотеке `FParsec`.

		Конечно, все эти примеры тривиальны. Но, поскольку, `FParsec` это только F#-библиотека, а не какой-нибудь внешний инструмент для генерации парсеров, здесь нет ограничений на абстракции, которые вы можете определить.

[WIP] FParsec Tutorial #12

Are you sure you want to change the base?

[WIP] FParsec Tutorial #12

Conversation

FoggyFinder commented May 6, 2017

Neftedollar left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Neftedollar May 9, 2017 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

gsomix May 9, 2017 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

gsomix commented May 9, 2017 • edited Loading

Neftedollar commented Aug 18, 2017

Neftedollar May 9, 2017 •

edited

Loading

gsomix May 9, 2017 •

edited

Loading

gsomix commented May 9, 2017 •

edited

Loading