Д.ARMоед (05.12.2011 10:47, просмотров: 128) ответил Evgeny_CD на Где-то в какой-то статье по функциональному программированию, которую я, как обычно, нифига не понял, описывалось, что в 60-е годы какой-то мужик из СССР разработал алгоритим идеального компилятора.-
- А это вообще суть индустрии программирования. На "матане" программировать невозможно ничего, кроме академических проектов. И каждая методология программирования пытается обернуть "матан" в оболочку, понятную количеству народа чуть большему, Evgeny_CD(365 знак., 05.12.2011 11:01)
- Не, EventB - не матан. Это хорошо формализуемый слой системы проектирования, в котором нужно разделить состояния. Д.ARMоед(1230 знак., 05.12.2011 11:31 - 11:41)
- Не понял. Если граф перехода КА синзезирован в виде функции, и она синтезирована на С правильно (реентерабельная, работает только с локальными переменными, все, что передается ей - RO, она возврашает либо стандартно, либо в спецальную структуру, Evgeny_CD(603 знак., 05.12.2011 11:58)
- "С
крипачне нужен"(с) В том смысле, что из процесса вообще можно исключить сишные либы и тулчейны. Д.ARMоед(788 знак., 05.12.2011 14:06)
- "С
- Не понял. Если граф перехода КА синзезирован в виде функции, и она синтезирована на С правильно (реентерабельная, работает только с локальными переменными, все, что передается ей - RO, она возврашает либо стандартно, либо в спецальную структуру, Evgeny_CD(603 знак., 05.12.2011 11:58)
- Не, EventB - не матан. Это хорошо формализуемый слой системы проектирования, в котором нужно разделить состояния. Д.ARMоед(1230 знак., 05.12.2011 11:31 - 11:41)
- А это вообще суть индустрии программирования. На "матане" программировать невозможно ничего, кроме академических проектов. И каждая методология программирования пытается обернуть "матан" в оболочку, понятную количеству народа чуть большему, Evgeny_CD(365 знак., 05.12.2011 11:01)