дыбр...

[alexott]

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

Comments

[liquidee]

А что про LLVM читал?

[alexott]

да документацию с их сайта - диссертацию, и еще пару обзорных статей

[vadim_kataev]

Cистема очень приятная, у нас несколько проектов в области higher-level synthesis при помощи llvm ведётся.

[alexott]

угу - я поигрался с нею немного, думаю как прикрутить к своим DSL

[eraplee]

а Haskell для дела учишь или просто интерес?

[alexott]

да я некоторые прототипы на нем стараюсь писать.
кстати, под вашу тему - посмотри на пакет language-c из hackage - может быть полезен для статического анализа кода

[eraplee]

Да не, во-первых, я с Си не работаю вообще, а во-вторых, у нас млин как в армии, чем сказали тем и пользуйся, а импровизация не приветствуется :((

[alexott]

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

[vadim_kataev]

Ты ghci юзаешь?
Очень красивый язык, правда я больше с его форком для харда lava в последнее время знаюсь :)
haskell по замечательной книге учил - "The Haskell Road to Logic, Maths and Programming". Там и упражнения интересные. Не знаю даже, то ли мне книга больше понравилась то ли сам язык :)

[alexott]

да, ghci + emacs. Получается примерно вот такой вот вид при работе - http://fotki.yandex.ru/users/ottalex/view/145810?page=0
а насчет книжки - да, очень хорошая - я ее тоже использую, в сочетании с real world haskell - вообще отлично...

[alexott]

спасибо :-)

[alogic]

Кто хорошо поработал, тот хорошо отдыхает:)

[alexott]

;-)