Hask, preliminary

топ 100 блогов zeit_raffer07.08.2016 (уже несколько лет, как я заинтересовался вопросом, хожу по блогам и спрашиваю воздух - а какое равенство в Hask? вы где-нибудь видели, как оно определяется?)

Сейчас произошел вброс на высшем уровне http://math.andrej.com/2016/08/06/hask-is-not-a-category/

Только я бы различал вопросы. Необходимость построения полной операционной семантики для дефолтно-ленивого языка это одно (она, возможно, будет сложна, чтобы описать мемоизацию, в том числе). А другое - это синтаксическая категория, которая просто состоит из термов, и ни о какой семантике не знает. Автор того блога связывает эти вопросы через обсервационную (наблюдаемую) эквивалентность, но это совсем не обязательно.

Вобщем я решил стартовать с самого простого варианта, пока даже без ленивости. Так что это будет не Хаскелль, а, допустим, фрагмент Идриса без зав-типов, с System F. Не будет кучи "расширений", все изображено компактно. В следующей версии добавим опциональную ленивость. Будет undefined. Ужасного seq не будет, поскольку это костыль для достижения неленивости в изначально ленивом мире. В неленивом мире seq не нужен. Тьюринг-полноты пока не будет, но мы над этим работаем.

И еще. В посте по ссылке обыгрывается глагол pretend. Привычная Hask pretends быть категорией, но не определена достаточно хорошо. Та категория, которую я сейчас опишу, pretends на соответствие Хаскеллю, но слишком хороша для него. И даже наоборот, я бы сказал, реальный Хаскелль - это инженерное решение, стремящееся в идеале соответствовать ей.

Оставить комментарий

Предыдущие записи блогера :
Архив записей в блогах:
Это похоже на реальное безумие, если судить по результатам одного опроса . Судите сами -- ВЦИОМ провел опрос на предмет знания и действенности мер, предложенных Владимиром Путиным для повышения рождаемости россиян, которые нежелают плодиться и размножаться при существующем строе. Меры ...
Любовь проявляется не словами и обещаниями - для молодых. Любовь - это поступки, подтверждающие чувства - для зрелых и уверенных. Любовь - это лишь верхушка айсберга, который тает и обнажает всю суть отношения в целом. Говорит или обещать, молчать или совершать - решать вам! ...
Раньше я писал о неизбежной капитуляции правящего класса РФ перед Западом, опираясь на политические соображения. Но в основе здесь лежит логика общественно-экономического развития. В мировой иерархии РФ занимает промежуточное полупериферийное положение. С одной стороны, она имеет ...
Термин «теория заговора», придуманный и пущенный в массы ребятами из ЦРУ, давно потерял свою актуальность. Заговоры давно стали практикой. Если вы этого не видите, значит, у вас ...
...согнать этого сладкого кота с этого самого вкусного места в доме.(Это мое рабочее место, я его покинула ровно на ...