March 1st, 2009

with Cat The Cat

Сижу, мучаюсь.

Сочиняю язык для описания аппаратуры, встроенный в Хаскель.

Главное, я похожую вещь делал в ИТМ, только там результат моих трудов был не типизирован, поэтому всё надо было тестировать.

Сейчас хочу сделать то же самое, но с типами.

Очень тяжело идёт.

Хочу его встроить в Хаскель, поскольку неохота писать проверку типов с размерностями и всё такое.

Ну, ничего. Вот, пожаловался, должно сдвинуться с мертвой точки. ;)