-
Я не знаю куда мне деться
Я не знаю куда мне деться. Хочу убежать от универа с его постоянными приказами что-то делать. Всем надо что-то делать. Все от меня что-то хотят. Одну курсовую делай. Другую делай. Проект про Информациооным системам делай. На работе что-то делай. Причем для одной курсовой надо что-бы это работало под их быдло-виндой. На работе проект на хаксе под ( Read more... ) -
Занимаюсь дипломом - 6
Я тут научился конвертировать AST дерево в читаемый вид. Для представления используется comapping. Исходник вот. Comap- файл для него тут. В браузере это можно посмотреть тоже: go.comapping.com/comapping.html#mapid=92327&viewKey=mnOEAkg3W9
Я осмыслил, что ошибочные программы перевариваются плохо. Я пока не смог получить их AST деревья.
Update: AST ( Read more... ) -
Занимаюсь дипломом - 5
Тут есть несколько примеров AST деревьев для программ на хаксе. Программы очень простые, но некоторые выводы, посмотрев на AST можно сделать.
Глобальная проблема --- AST-дерево похоже вовсе не дерево, а граф. deriving падает со Stack overflow. Надо подумать как это дерево аккуратно обходить.
TODO:- Научиться обходить AST. Разобраться, что выкидывает ( Read more... )
-
Занимаюсь дипломом - 4
Итак, я решил старые проблемы с deriving и получил новые. На функциях он не падает. Полиморфный тип ('a. 'b) PMap.t я обренул тут.
Получил новую проблему: deriving повисает, когда две переменные рекурсивные. (По-видимому надо использовать механизм подбный тому, что есть в ocamldebug - печатать только до определеной глубины). Впрочем даже "великий и ( Read more... ) -
Deriving для чужих типов.
Если вам надо добавить класс Show для полиморфного типа (например ('a, 'b) PMap.t из ExtLib), то это можно сделать примерно так:
module PMap = struct
include PMap
module Show_6tIqeLG1rvuaGYGyldGGIUC6Cs8caje4
(V_a : Show.Show) (V_b : Show.Show) = struct
open Show
module rec Show_t : Show.Show with type a = (V_a.a, V_b.a) ( Read more... ) -
Completion a la bash по-JaneStreet'овски
$ ./main
> :sho "нажимаем TAB"
:show
:show2
> :show2 "нажимаем ENTER"
`:show2'
$
Если надо к какой-то консольной штуке прикрутить подсказчик по командам, то это можно сделать так.
open Core_extended
open Core
let compl ~left:s1 ~right:__ =
if Core_string.is_prefix ":show" ~prefix:s1 then [":show"; ":show2"]
else [];;
let s = Readline. ( Read more... ) -
Cидя на спецкурсе у В.О. Сафонова.
Я почерпываю некотoрые забавные штуки. Пруфлинков добавлять не буду (если только народ потребует).
Первое:
<пафос on>
Функциональщики, чего вы пиаритесь своей хвостатой рекурсией? В моем кошерном sunовском компиляторе на уровне О2 оптимизаций все хвостатые рекурсии оптимизируются! Да здравствует Си.
<пафос off>
Если честно, то я не знал. Если это так, ( Read more... ) -
Занимаюсь дипломом - 3
Haпряг по учебе кончился, надо продолжать заниматься хаксом.
Я попробую ставить сроки, в которые мне надо успевать укладываться.
Сейчас у нас вечер среды 27 октября, а в хаксе конь не валялся.
Во-первых, deriving я не пофиксил и ничего не работает. Надо читать http://www.ambassadortothecomputers.blogspot.com/.
Во-вторыx deriving хорош для дебажных ( Read more... ) -
Занимаюсь дипломом - 2
За неделю я никакого камлёвого кода не написал. Всё время ковырялся с мэйкфайлах. Итого я скомпилил haxe кoмпилятор вместе с Core, Core_extended, deriving. Теперь надо писать код.
TODO:- Пора писать код для хождения по AST.
- Надо понять к чему плагин я буду делать: емакс или QtCreator.
- Надо научиться апдейтить исходники компилятора. Исходники компилятора ( Read more... )
-
Хочу такой браузер
У меня скопилось много ссылок. Одни на одну тематику, другие - на другую. А если открыть их в одном Iron, то получится очень много вкладок. Я хочу, чтобы у меня было открыто три браузера - один для верменной фигни, другой - для предстоящих дел, третий - для размышлений о высоком. Хочу, чтобы они выгляделе немного по-разному, чтобы я мог их отличить ( Read more... )