metaclass: (Default)
[personal profile] metaclass
и бухгалтерия выкушают мой моск.

Кто-нибудь знает:
1) Что и в каком порядке изучать, чтобы написать интерпретатор Хаскеля?
2) Где взять готовый встраиваемый интерпретатор?

:)

Date: 2009-04-10 07:30 pm (UTC)
From: [identity profile] metaclass.livejournal.com
Я как-то пытался размышлять на тему "как описать на хаскеле GIS-алгоритмы". Пришел к выводу, что такие размышления надо оставить до лучших времен :)

Date: 2009-04-10 07:53 pm (UTC)
From: [identity profile] mibori.livejournal.com
А в чем специфичность?

Date: 2009-04-10 08:04 pm (UTC)
From: [identity profile] metaclass.livejournal.com
У меня от мысли о функции, у которой на входе список объектов, каждый из которых список координат и код классфикатора, список классификатора, и координаты отображаемого прямоугольника на экране и на земле, а на выходе - картинка, и ее разложении на более простые функции начинает идти дым из ушей :)
А уж если вспоминать про оптимизацию, то вообще крышей поехать можно. Я периодически пытаюсь представить себе, как можно было бы оформить БД и запросы к ней (R-tree для оптимизации пространственных запросов это частный случай такого) на хаскеле таким образом, чтобы их оптимизацией занимался движок, на основе предыдущих запросов и информации о типе.

Date: 2009-04-10 08:18 pm (UTC)
From: [identity profile] mibori.livejournal.com
У меня от мысли о функции, у которой на входе список объектов, каждый из которых список коо...
Тут больше newtype нужно, имхо.

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

Date: 2009-04-10 08:29 pm (UTC)
From: [identity profile] metaclass.livejournal.com
В БД и пространственных запросах, конечно, можно обойтись без оптимизации, поначалу все будет работать и так. Но в реальных условиях (миллионы объектов) пользоваться можно, только если время работы O(log N) а не O(N), так что всякие там индексы на разнообразного рода деревьях нужно считать входящими в условие задачи и поддерживать их должен используемый инструмент.
Вот та же реляционная теория - она придумывалась именно как средство разделить физическую структуру данных и их логическую структуру. Но, тем не менее, до сих пор при проектировании БД приходится учитывать потенциальные способы доступа к данным и подгонять индексы, а иногда и поступаться нормализацией, ради скорости работы.

Date: 2009-04-10 08:42 pm (UTC)
From: [identity profile] mibori.livejournal.com
Да прибудет с вами Окасаки...

Date: 2009-04-10 08:47 pm (UTC)
From: [identity profile] metaclass.livejournal.com
О, точно, я же в эту книжку еще не заглядывал.

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 1st, 2025 01:55 pm
Powered by Dreamwidth Studios