Две ссылки.

[thesz]

Разработка безопасного кода на C с помощью ATS (зависимые типы). Товарищ - разработчик Мозиллы, рассказывает про ловлю ошибок на основе опыта интеграции нескольких библотек на Си.

И аналоговый профайлер. ;)

Comments

[pavel_valerich]

за первую ссылку спасибо

[lionet]

В первой ссылке виден наш продукт (комментарии снизу страницы). Было приятно отметить ;)

[thesz]

Ура! ;)

[nealar]

Второе - жесть. Кажется, у GHCi есть опция b - выдавать bell при каждой сборке мусора. Говорят, есть люди, которые по patternу звоночков могут примерно определить, что делает программа, есть ли в ней утечки памяти и всё такое.

[thesz]

Oddly enough, people really do use this option! Our pal in Durham (England), Paul Callaghan, writes: “Some people here use it for a variety of purposes-honestly!-e.g., confirmation that the code/machine is doing something, infinite loop detection, gauging cost of recently added code. Certain people can even tell what stage [the program] is in by the beep pattern. But the major use is for annoying others in the same office…”

http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/runtime-control.html#rts-profiling

Это тянется с 1999 года. ;)

[ext_72902]

А-а-а-а! Как я об этом мог не знать!