- 1. Реализация Final Tagless на базе готового примера
Ознакомлен с концепцией модулей в OCaml - 2. Ознакомление с исходным кодом проекта Tezos
Ознакомление с реализацией примитивов в модуле lib_crypto проекта Tezos - 3. Функторы для модулей окэмл, модификация калькулятора
Ознакомлен с функторами на примере Map - 4. Задача поставить дистрибутив OCaml и создать dune файл
Полностью настроена среда разработки под Ocaml на базе emacs. Ознакомлен с dune и jbuilder. - 5. Ознакомление с функционалом ppx и derive
Частично прочитана документация по ppx для derive - 6. Работа с leveldb в окэмл, ознакомление
- 7. Тренировочная реализация структур данных, припер: дерево
Реализовано в рамках работы с ecc библиотекой - 8. Тренировочная задача: прохэшировать данные пр помощи окэмл
Подключена и использована в коде библиотека cryptokit от Xavier Leroy. Реализация ряда криптографических примитивов, актуальных для криптовалютного проекта - 9. Работа со сторонними библиотеками, библиотека эллиптических кривых Библиотека ECC-OCaml форкнута и доведена до рабочего состояния, модифицирована для наших целей, добавлены примитивы для работы с hex
- 10. Изучение мутабельных структур на примере двойного списка
Ознакомлен - 11. Знакомство с Core
Ознакомлен - 12. Закомство с Async
- 13. Изучение модандического аппликативного парсера на примере angstrom
Last active
January 21, 2019 20:06
-
-
Save termslang/b344220a45583d8cde0738633beb053f to your computer and use it in GitHub Desktop.
Михаил Байнов
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment