ailev.ru

10 августа 2018 · Комментарий

Без заголовка

вторую версию написать гораздо проще и быстрее более того, прототип на более удобном языке может снизить общие затраты Эндрю Нг тоже рекомендует сперва наваять МЛ алгоритм на Матлабе (Джулия я думаю тоже подходит :)) а потом уже на Си, Жабе или проч в чем я с ним по опыту очень согласен Вот цитата из статьи про разработку микроядра seL4 https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf "The abstract spec took about 4 person months (pm) to develop. About 2 person years (py) went into the Haskell prototype (over all project phases), including design, documentation, coding, and testing. The executable spec only required setting up the translator; this took 3 pm. The initial C translation was done in 3 weeks, in total the C implementation took about 2 pm, for a total cost of 2.2 py including the Haskell effort. This compares well with other efforts for develop- ing a new microkernel from scratch: The Karlsruhe team reports that, on the back of their experience from building the earlier Hazelnut kernel, the devel- opment of the Pistachio kernel cost about 6 py [17]. SLOCCount [68] with the “embedded” profile esti- mates the total cost of seL4 at 4 py. Hence, there is strong evidence that the detour via Haskell did not increase the cost, but was in fact a significant net cost saver. This means that our development process can be highly recommended even for projects not considering formal verification."

К записи · К обсуждению