Apr. 25th, 2017

42

Apr. 25th, 2017 02:46 pm
bamalip: (Default)
вопрос жизни, вселенной и всего такого:

What are the arguments for and against “one true arithmetic”?

* * *

Apr. 25th, 2017 02:54 pm
bamalip: (Default)
https://en.wikipedia.org/wiki/Data_Format_Description_Language
https://en.wikipedia.org/wiki/Binary_Format_Description_language

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

http://kaitai.io/

интересно, можно ли на нём специфицировать и родить парсер для чего-то достаточно сложного, например, EBML?
bamalip: (Default)
Как сейчас принято задавать грамматику для "python-haskell indentation style"?
Это модно и прогрессивно, но средств вроде YACC не вижу или не могу найти.

Я понимаю, что "хаскелль написан на хаскелле", и там это, очевидно, сделано через библиотеку парсер-комбинаторов, но, во-первых, я еще не читал код ghc, во-вторых хотелось бы начать с грамматик самих по себе...

http://dev.stephendiehl.com/fun/
bamalip: (Default)
Задаем пользовательский синтаксис и семантику своим язЫкам с удобными IDE!

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

Разработали вариант, в котором Кузьма Никитич бежал из туруханской ссылки в Тибет, где и начал сразу же обращать далай- и панчен-лам в кузьмизм-никитизм. Там же он преуспел в поисках снежного человека, выправил ему документы честь по чести и помог с пропиской, правда, лишь в городе Кимры.


(а здесь, соответственно, не в городе Кимры, а в эпсилон-окрестности Java-экосистемы)

Introduction to JetBrains MPS



MPS User's Guide (PDF)

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23 2425 26 27 2829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 29th, 2017 11:55 am
Powered by Dreamwidth Studios