Добро пожаловать в форум, Guest  >>   Войти | Регистрация | Поиск | Правила | В избранное | Подписаться
Все форумы / Вопрос-Ответ Новый топик    Ответить
Топик располагается на нескольких страницах: [1] 2 3 4 5 6 7 8 9   вперед  Ctrl      все
 вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
на вспоминание имени Лисков уходит по 20 минут, блин.


Subtyping, Subclassing, and Trouble with OOP

Liskov Substitution Principle (LSP)

If for each object o1 of type S there is another object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2, then S is a subtype of T.

Barbara Liskov, "Data Abstraction and Hierarchy," SIGPLAN Notices, 23,5 (May 1988)

http://okmij.org/ftp/Computation/Subtyping/References.html
21 ноя 08, 00:37    [6469282]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027


К сообщению приложен файл (lsp.pdf - 30Kb) cкачать
21 ноя 08, 04:27    [6469413]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
Types vs classes: what is the difference?

//http://lambda-the-ultimate.org/node/2079

Люка Карделли, Мартин Абади
Теория объектов

https://drive.google.com/file/d/1mShdblP3LnooSSfk8Osh_SAtIc54Jczu/view?usp=sharing


Перевод одной главы
http://www.realcoding.net/articles/lyuka-kardelli-martin-abadi-klassy-i-tipy-v-yazykakh-osnovannykh-na-klassakh.html

Сообщение было отредактировано: 18 май 20, 12:31
22 ноя 08, 04:25    [6474940]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
See OCaml for an example of a typed language that properly separates these concepts. There, typing and subtyping are completely independent of classes and subclassing.
22 ноя 08, 04:27    [6474941]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
http://books.google.ca/books?id=ti6zoAC9Ph8C&dq=Types+and+Programming+Languages+--+Pierce+download&pg=PP1&ots=EzGgxHlX-z&source=bn&sig=mgDw7N7asxkBoM-iMj22BOigzVo&hl=en&sa=X&oi=book_result&resnum=4&ct=result#PPA1,M1

Types and Programming Languages Pierce
25 ноя 08, 00:50    [6482336]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
проект по переводу Пирса
http://newstar.rinet.ru/~goga/tapl/
14 глав можно скачать
25 ноя 08, 01:41    [6482354]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
утилита find
http://www.citforum.ncstu.ru/open_source/find/
22 апр 09, 06:34    [7095405]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
http://www.citforum.ncstu.ru/open_source/find/
22 апр 09, 06:35    [7095406]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
Ъй
Member

Откуда:
Сообщений: 2747
Фундаментальный труд по прикладной криптографии, в своей нише классика жанра: Брюс Шнайер, "Прикладная криптография"

Первым делом мы испортим самолёты.
22 апр 09, 07:39    [7095433]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
Шнайера хвалили
6 май 09, 02:23    [7150608]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
Однострочные sed скрипты
http://www.opennet.ru/base/dev/sed1line.txt.html
10 июн 09, 01:02    [7283601]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
ShSerge
Member

Откуда: ʚонɔ dиw
Сообщений: 24928
tchingiz
Однострочные sed скрипты
http://www.opennet.ru/base/dev/sed1line.txt.html

Класс. Очень полезные ссылочки.
Вот ещё полезный словарик.
13 июн 09, 17:08    [7296034]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
http://www.recorder-fingerings.com/en/F.php?Tibia=mAul-Bar-1S
аппликатура для алта

aulos 309a
Картинка с другого сайта.
29 июн 09, 02:57    [7353214]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027


К сообщению приложен файл. Размер - 0Kb
29 июн 09, 02:59    [7353215]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
//http://www.recorder-fingerings.com

Сообщение было отредактировано: 1 фев 21, 11:39
29 июн 09, 03:07    [7353222]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027


К сообщению приложен файл. Размер - 0Kb
29 июн 09, 03:36    [7353242]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
Garya
Member

Откуда: Москва
Сообщений: 32365
Блог
Чингиз, ты на флейте играешь?
29 июн 09, 10:56    [7353738]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
блок флейта (recorder)
там какаято существенная разница,
блокфлейты от 8 до 60 долларов
а все приличное от 150 до 2500 долларов
))
29 июн 09, 22:34    [7356422]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027


К сообщению приложен файл. Размер - 0Kb
25 сен 09, 00:55    [7706163]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
Sand Winter
Member

Откуда: ­ Д
Сообщений: 3272
айти-Клоп статью подбросил, как раз про память:)
Память и Личность как пакет воспоминаний
25 сен 09, 01:28    [7706203]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
IWH
Member

Откуда:
Сообщений: 5337
Может, пригодится кому? А каждый раз искать аналоги долго.

К сообщению приложен файл. Размер - 0Kb
6 окт 09, 14:15    [7748100]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
tchingiz
Member

Откуда:
Сообщений: 39027
о, блин, какая полезная таблица, а я позапозавчера слово кларитин вспоминал.
Безуспешно. Надо шото от склероза еще вспомнить.
7 окт 09, 02:48    [7751007]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
Ъй
Member

Откуда:
Сообщений: 2747
tchingiz
о, блин, какая полезная таблица, а я позапозавчера слово кларитин вспоминал.
Безуспешно. Надо шото от склероза еще вспомнить.

Склероз - народное название, за которым кроются два достаточно разных заболевания: рассеянный склероз, и атеросклероз. Подразумевалось, скорее всего, первое. В этом случае рекомендуется курс ноотропов. Можно порекомендовать фезам (пироцетам+циннаризин, первый - ноотроп, второй - селективный блокатор медленных кальциевых каналов, улучшает мозговое кровообращение). Это можно сочетать с курсом витаминов группы B (например, нейромультивит). Кстати, циннаризин помогает и на начальных стадиях атеросклероза.
P.S. В таблице есть неточности. Навскидку видно, что гептрал - это не антидепрессант, а в первую очередь гепатопротектор, его антидепрессивное действие носит побочный эффект, основанный на холикинетическом действии препарата, что в области антидепрессантов уже позапрошлый век - сейчас используются механизмы селективного ингибирования обратного захвата нейромедиаторов.
7 окт 09, 08:49    [7751231]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
Garya
Member

Откуда: Москва
Сообщений: 32365
Блог
Ъй
Можно порекомендовать фезам (пироцетам+циннаризин, первый - ноотроп, второй - селективный блокатор медленных кальциевых каналов, улучшает мозговое кровообращение).
О как! Принял колесо, и памяти стало на террабайт больше... :)
7 окт 09, 08:58    [7751254]     Ответить | Цитировать Сообщить модератору
 Re: вместо долговременной памяти +  [new]
i see
Member

Откуда:
Сообщений: 145412
Garya
О как! Принял колесо, и памяти стало на террабайт больше... :)
Да нам хотя бы дефрагментацию :)
7 окт 09, 09:13    [7751320]     Ответить | Цитировать Сообщить модератору
Топик располагается на нескольких страницах: [1] 2 3 4 5 6 7 8 9   вперед  Ctrl      все
Все форумы / Вопрос-Ответ Ответить