В процессе диплома пишется эмулятор ARM(на самом деле, не совсем эмулятор, но это не важно). Пишется на Haskell, с последующей генерацией в С. Главная цель работы - изучить возможности advanced type systems для программирования.
Конфигурация:
1. Emacs : haskell-mode + vimpulse(очень удобная штука) + org-mode(для literate описания). org-haskell-mode для интеграции всего в одном буфере - оказалось очень удобно для описания частей системы, проставления ссылок, хранения частей документации, и вобще всего что может понадобиться, в одном месте.
2. xmonad + xmobar - в качестве декстоп окружения. Очень удобно при наличии 2-х мониторов(сейчас он отключен). Обычно на втором открывается документация, и переводится в язык описания модели.
После черных тем перешел на менее контрастные, вроде даже для глаз стало приятней.
В общем : замечания, пожелания, вопросы приветствуются.
.png)







Ответ на:
комментарий
от FiXer

Ответ на:
комментарий
от recon88

Ответ на:
комментарий
от FiXer





Ответ на:
комментарий
от power

Ответ на:
комментарий
от recon88

Ответ на:
комментарий
от power

Ответ на:
комментарий
от samlabs821

Ответ на:
комментарий
от recon88

Ответ на:
комментарий
от kda





Ответ на:
комментарий
от ipc


Ответ на:
комментарий
от panurg





Ответ на:
комментарий
от Rastafarra








Ответ на:
комментарий
от Mojo




Ответ на:
комментарий
от Burbaka

Ответ на:
комментарий
от Zubok

Ответ на:
комментарий
от vertexua

Ответ на:
комментарий
от pi11

Ответ на:
комментарий
от recon88

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум [тупняк][emacs][haskell] inferior-haskell-mode (2011)
- Форум haskell-mode Emacs (2011)
- Форум [haskell][emacs][автодополнение] для xmonad. (2011)
- Форум Дипломный проект (2012)
- Форум Дипломная работа (2015)
- Галерея Дипломная пора (2002)
- Галерея Дипломный девелопмент (2010)
- Форум Дипломная работа (2012)
- Форум haskell: (&) (2019)
- Форум Тем дипломной работы (2012)