Есть ли будущее у DELPHI?

Цитата Flex Ferrum @ 21.02.13, 20:48

Зато он на своей территории.

Ага. Скорее всего нас обоих вскоре забанят За "недружественность"

Цитата --Ins-- @ 21.02.13, 20:52

Ага. Скорее всего нас обоих вскоре забанят За "недружественность"

Да пофиг.

Цитата --Ins-- @ 21.02.13, 20:52

Ага. Скорее всего нас обоих вскоре забанят За "недружественность"

Если хотите задержаться подольше, нужно действовать чуть тоньше, изредка легко задевать его ЧСВ двусмысленным образом, давая ему надежду на реабилитацию. Если вы понимаете, о чем я

D_KEY, так эта, покажи пример

Мда, почитал вашу переписку... Ну и как можно вести диалог с человеком, который постоянно уходит от темы к личностям?

Сообщение отредактировано: korvin - 22.02.13, 03:38

И еще сам с собой разговаривает
Мне кажется, что у него какой-то комплекс в плане выражения мыслей и он старается как-то соригинальничать чуть ли не в каждом предложении...

Цитата D_KEY @ 22.02.13, 07:52

Мне кажется, что у него какой-то комплекс в плане выражения мыслей и он старается как-то соригинальничать чуть ли не в каждом предложении...

Угу, еще он похож на жертву сетевого маркетинга, которую "развели" на деньги, впарив мусор (Delphi / работу в абракадабре), пытающийся теперь отбить бабло и убедить себя, что никто его не развел и впарили ему вовсе не мусор... =)

Сообщение отредактировано: korvin - 22.02.13, 07:58

Цитата korvin @ 21.02.13, 16:16

Цитата MyNameIsIgor @ 21.02.13, 16:00

Но ведь именно субтипирование в статически типизированных языках именно что статическое Динамическая лишь диспетчеризация.

Ну не совсем. Т.е. например:

type T = { x : Int }
type S = T + { y : Int }
 
type TList = { head : T, tail : *TList }
 
let xs = TList {new T, {new S, nil}} -- ok.

статическое субтипирование:

type T = ...
type S = ...
 
type TList (A <: T) = { head : A, tail : *TList(A) }
 
let xs = TList {new T, {new T, nil}} -- ok.
let ys = TList {new S, {new S, nil}} -- ok.
let zs = TList {new T, {new S, nil}} -- fail.

Т.е. статическое субтипирование - это параметризованный тип? Похоже, я не понимаю сам термин "субтипирование"...

Сообщение отредактировано: MyNameIsIgor - 22.02.13, 07:58

Цитата MyNameIsIgor @ 22.02.13, 07:58

Т.е. статическое субтипирование - это параметризованный тип? Похоже, я не понимаю сам термин "субтипирование"...

Параметризация тут чисто для подчеркивания статичности и исключения неявного апкаста. Другой пример: отсутствие виртуальных методов. Ну тут все понятно, но на всякий случай уточню примером:

type T =           { x : Int } with method printIt = print  self.x
type S = (t : T) + { y : Int } with method printIt = print (   t.x, self.y)
 
type TList { head : T, tail : *TList } with
  method printIt = self.head.printIt ; if self.tail != nil then { print " " ; self.tail.printIt }
end
 
let list = TList { new T, TList { new S, nil } } -- ok, но S приведен к T (с потерей информации)
list.printIt     -- "0 0" -- а не "0 (0, 0)", как этого можно было бы ожидать в Джаве например, т.е. в динамике.
list.tail.head.y -- fail, y потерян, т.к. S приведен к T

Сообщение отредактировано: korvin - 22.02.13, 08:25

korvin, а давай ты просто скажешь мне определение субтипирования Мне так понятнее будет.

Цитата MyNameIsIgor @ 22.02.13, 08:19

korvin, а давай ты просто скажешь мне определение субтипирования Мне так понятнее будет.

Цитата TAPL

мы говорим, что S является подтипом T (записывается как S <: T), имея в виду, что всякий терм типа S можно безопасно использовать в контексте, в котором ожидается тип T. Такую точку зрения на образование подтипов часто называют принципом безопасной подстановки.

Добавлено 22.02.13, 08:37
Собственно в вике тоже самое написано:

Цитата

If S is a subtype of T, the subtyping relation is often written S <: T, to mean that any term of type S can be safely used in a context where a term of type T is expected.

Цитата --Ins-- @ 21.02.13, 12:49

Тоже отписался

Цитата Flex Ferrum @ 21.02.13, 12:51

Не, ответить я ему отвечу (когда с мыслями соберусь), но вот разводить холивары - не...

Как можно отписываться и отвечать, не разводя холивары, если вся писанина г-на Леонова это и есть 100% холиварное псевдохудожественное произведение. Автор вроде как намеревался "развести полемику" с Алексеевым, но все его псевдополемические измышлизмы "тихо мрут от полного отсутствия фотосинтеза вследствие затенённости бетонным забором отсутствия" логики, конкретики и какой-либо связи с "амплитудным размахом" и "мотивами статьи". Автор же заявил, что он излагает "свое видение", и что "Нет у нас еще культуры комментирования, кроме «нравится/не нравится»." Ну так чего вы от него хотите? Ему про Фому, а он про Ерему просто потому, что баба Яга, "охваченная лихорадкой бескомпромиссности", всегда против. Разве за красочным словоблудием в стиле «нравится/не нравится» есть какя-либо конкретика, достойная ответов и возражений? Разве что на опус: "«сокрытие, скрытие», приволакивая ножки, плетётся сзади, и никакой ключевой роли в ООП у неё нет", можно возразить. Но сделать это проще не на "профессиональном" уровне, а на доступном автору - "житейском". "Сокрытие" - составная часть инкапсуляции, а "Инкапсулировать – естественно", т.к. во всем сложно-организованном мире, живом и неживом, все "кишки" и прочие "жизненно-важные" органы, обычно "скрыты", и наружу "торчит" один лишь "интерфейс" . Если автор не считает это ключевым и жизненно важным, то ему впору лихорадочно и бескомпромиссно "бороться с костыле-подобным интерфейсо-строением" не на основе каких-то частных ветрянных мельниц, а в общем - с теорией эволюции и естественного отбора

korvin, хорошо. Тогда что такое "динамическое/статическое субтипирование"?

Цитата leo @ 22.02.13, 08:40

и наружу "торчит" один лишь "интерфейс"

Скрытый текст

У женщин чуть побольше. =)

Цитата leo @ 22.02.13, 08:40

Как можно отписываться и отвечать, не разводя холивары, если вся писанина г-на Леонова это и есть 100% холиварное псевдохудожественное произведение.

Сегодня утром был шокирован что Всеволод похоже собрался сделать работу над ошибками. Главное чтобы эта работа не превратилась во что-то такое же антинаучное и вырвиглазное