 |
|
| FriendFeed is the easiest way to share online. Learn more » |
Ext2 File System Driver for Windows | Get Ext2 File System Driver for Windows at SourceForge.net - http://sourceforge.net/project...
Advanced Free-Form Project Configuration - http://netbeans.org/kb...
Reusing C code in Java - http://www.knosof.co.uk/ctojava...
Slick xdm theme - http://www.osix.net/modules...
Dimensions Главы 3 и 4 - http://www.dimensions-math.org/Dim_CH3...
Abstract Interpretation - http://www.di.ens.fr/~cousot...
Krakatoa: a verification tool for Java programs - http://krakatoa.lri.fr/
Krakatoa is a verification tool for Java programs. It is a tool from the Why platform for deductive program verification.
- Vadim TSES'KO
YouTube - Nullness Analysis for Java - http://www.youtube.com/watch...
  |
налльнес аналисис! зереис э налль! :)
- Андрей Власовских
фыарлысс лыэдэр
- Vadim TSES'KO
from IM
Все видеоролики пользователя PDMI Computer Science клуб на Яндекс.Видео - http://video.yandex.ru/users...
Joe Gregorio | BitWorking | Projects | Sparklines - http://sparklines.bitworking.info/
A Guide to Branching in Mercurial / Steve Losh - http://stevelosh.com/blog...
COCAN - The OCaml Alliance Network - http://www.cocan.org/
The OCaml Alliance is a group of industry users of the Objective Caml programming language. We aim to coordinate requirements, advocacy and marketing for the language, specifically targeted towards companies who are using or would like to make use of the language.
- Vadim TSES'KO
Всё еще пытаешься играть с ним?
- Stanislav Sereryakov
Вот сижу и пытаюсь при помощи json-static десериализовать граф. А ты совсем забил? Решил, что не то?
- Vadim TSES'KO
Да, я решил, что haskell+c проще. В любом случае у хаскела всё гораздо лучше (особенно в арче).
- Stanislav Sereryakov
Но, в глубине души надежда еще тлеет ;)
- Stanislav Sereryakov
а OCaml в ARM компилируется?
- тазик-эвтаназик
вообще, что у нас есть для real-time интересного из языков?
- тазик-эвтаназик
ATS :P
- Stanislav Sereryakov
from IM
Вообще, исследования вроде ведутся (www.cs.rice.edu/~taha/publications/conference/es01.pdf ), но пока не видно чего-то значительного. Мы тут с одним человеком медленно продумываем дизайн языка мечты, правда, скорее для научных расчетов, в основном на GPU.
- Stanislav Sereryakov
Раз уж пошел разговор, меня интересует такой вопрос: почему никто не пытался за счет указателей на функции и макросов (+некоторые compiletime преобразования) сделать C более функциональным? Например, такая трансляция: f :: Float -> Float -> (Float -> Float); f a b g = g a b ==> float f(float a, float b, float (*pt2Func)(float, float)) { return pt2Func(a, b); } и т.п. Ведь можно добавить...
more...
- Stanislav Sereryakov
ATS — это всё же зло. Я пытался как-то разобраться. Хотя надо будет снова попробовать.
- тазик-эвтаназик
OpenBlockS 600 - OpenBlockS - http://openblocks.plathome.com/product...
Stanislav Sereryakov liked this
Круть :)
- Stanislav Sereryakov
json-wheel: JSON Library for OCaml - http://martin.jambon.free.fr/json-wh...
json-static: JSON validator and converter for OCaml - http://martin.jambon.free.fr/json-st...
Great Works in Programming Languages - http://www.cis.upenn.edu/~bcpier...
mantis:frama-c:publications [Frama-C] - http://bts.frama-c.com/dokuwik...
blog dds: 2009.09.02 - Job Security - http://www.spinellis.gr/blog...
советы.блогспот.ком: Как отслеживать изменения файлов в скриптах - http://sovety.blogspot.com/2009...
School of Computing, Queen's University - http://www.cs.queensu.ca/framese...
Computer Science клуб при ПОМИ РАН - http://logic.pdmi.ras.ru/~infclu...
Other ways to read this feed:
