|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Moderator 2:5020/510 22 Sep 2002 12:17:51
To : Vitaly.Lugovsky@ontil.ihep.su
Subject : Re: програманье << совет
--------------------------------------------------------------------------------
ome> <s93wupk1tji.fsf@cheusov.scnsoft.com> <am7lig$irg$1@wagner.wagner.home>
ome> <m3d6rc9tsc.fsf@vb.dn.ua> <1475840995@relay.cca.usart.ru>
From: Moderator <boris@xtalk.msk.su>
[+] офф-топик
>>>>> "VL" == Vitaly Lugovsky writes:
VL> Vladimir Bormotov <bor@vb.dn.ua> wrote:
AC> Какие именно? О функциональном и логическом программировании знаю.
VW> Контрактное (его можно рассматривать как добавление к ОО, так же как и
VW> событийное)
>>
>> контракты ортогональны к OO. Hикто не мешает написать
>> транслятор/компилятор с реализацией контрактной парадигмы в виде
>> расширения для ANSI C.
VL> Ага. Для того же OCaml есть контрактное расширение:
VL> http://raevnos.pennmush.org/code/ocaml.html
>> Вот только зачем? Там где такое может быть нужно, ОО имеет ряд
>> приемуществ перед процедурщиной.
VL> Hичего подобного. Контракты не обязательно на методы вешать. Просто
VL> процедура/функция тоже в таких вот ассертах нуждается.
VL> --
VL> V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)
--
Best regards, -- Moderator.
Most of the VAX instructions are in microcode, but HALT and NO-OP are in
hardware for efficiency.
--- ifmail v.2.14
* Origin: XtalK (2:5020/510@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
