ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Vitaly.Lugovsky@ontil.ihep.su 2:5080/1003 18 Sep 2002 18:42:28
To : Vladimir Bormotov
Subject : Re: програманье << совет
--------------------------------------------------------------------------------
ome> <s93wupk1tji.fsf@cheusov.scnsoft.com> <am7lig$irg$1@wagner.wagner.home>
ome> <m3d6rc9tsc.fsf@vb.dn.ua>
Vladimir Bormotov <bor@vb.dn.ua> wrote:
> AC>> Какие именно?
> AC>> О функциональном и логическом программировании знаю.
> VW> Контрактное (его можно рассматривать как добавление к ОО, так же как и
> VW> событийное)
>
> контракты ортогональны к OO. Hикто не мешает написать
> транслятор/компилятор с реализацией контрактной парадигмы в виде
> расширения для ANSI C.
Ага. Для того же OCaml есть контрактное расширение:
http://raevnos.pennmush.org/code/ocaml.html
> Вот только зачем? Там где такое может быть нужно, ОО имеет ряд
> приемуществ перед процедурщиной.
Hичего подобного. Контракты не обязательно на методы вешать. Просто
процедура/функция тоже в таких вот ассертах нуждается.
--
V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)
--- ifmail v.2.15dev5
* Origin: Urals State University for Railway Transport (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
