?

Log in

No account? Create an account

Ничем не примечательный ЖЖ

History

16th October 2010

8:45pm: subtyping / подтипизация / ocaml
В окамловском чятике ocaml@conference.jabber.ru dimitrykakadu спросил, что же такое "+'a" в определении типовых параметров. На страницах нашей уютненькой жыжыцы редакция сейчас будет отвечать за базар.
Итак, кратко: +'a означает, что данный параметр ковариантно входит в тип. -'a — соответственно, контрвариантно. Просто 'a — ни так, ни эдак (инвариантно).
Под катом — объяснение подтипизации за 21 день.
Collapse )
Так-то!

upd1/
В редакцию поступила телеграмма о том, что неплохо бы рассказать про LSP — принцип подстановки им. Барбары Лисков. Редакция продолжает отвечать за базар, прямо в этом посте.
Collapse )
Powered by LiveJournal.com