Помогите найти ebook. Abadi, Cardelli. Theory of objects.

← →
oxffff © (2010-01-10 13:41) [0]

Гуглил. Но ebook не нашел. Очень нужно для полного погружения. :)
Может кто читает(читал) на досуге.

Могу поделиться ebook

Foundations of Object-Oriented Languages Types and Semantics Kim Bruce
Programming in Martin-L¨of’s Type Theory
Б. Пирсом.
и др.

← →
oxffff © (2010-01-10 13:54) [1]

> Но ebook не нашел.

Да, на googlebook она есть. Но мне бы автономно. :)

← →
cwl © (2010-01-10 16:50) [2]

в осле не нашлось, в торрентах тоже :<

← →
oxffff © (2010-01-10 17:13) [3]

> cwl © (10.01.10 16:50) [2]
> в осле не нашлось, в торрентах тоже :<

Спасибо за содействие. Я периодически ищу ее. Уже месяца два. :)
Но знаю что в России есть обладатели ее.
Может отсканят. :))))

← →
cwl © (2010-01-10 18:33) [4]

если в поиске своем совсем падешь ухом, то http://www.abebooks.com/servlet/SearchResults?an=abadi&sts=t&tn=Theory+of+objects&x=0&y=0 :>

← →
oldman © (2010-01-10 21:30) [5]

> Да, на googlebook она есть. Но мне бы автономно. :)

Это?
http://books.google.ru/books?id=4xT3LgCPP5UC&dq=Abadi,+Cardelli.+Theory+of+objects.&printsec=frontcover&source=bl&ots=9FMzuCS74F&sig=Lgtiligf_oYD20s4c-QOvQDy4vU&hl=ru&ei=TxxKS96LHJbAmgOQ3qjsCQ&sa=X&oi=book_result&ct=result&resnum=2 &ved=0CA0Q6AEwAQ#v=onepage&q=&f=false

← →
oxffff © (2010-01-10 22:12) [6]

> oldman © (10.01.10 21:30) [5]
>
> > Да, на googlebook она есть. Но мне бы автономно. :)
>
>
> Это?

Да именно эта книга. :)
Пока не нашел полную. уже 8 часов ищу. :(

← →
oxffff © (2010-01-11 14:48) [7]

Вчера-сегодня искал ее до 3 ночи в различных ebook library.
Результат отрицательный.

← →
oldman © (2010-01-11 18:57) [8]

> oxffff © (11.01.10 14:48) [7]

А купить влом?
Я нагуглил пару инет-магазинов.
Ссылки не сохранил, гугли сам.

← →
oxffff © (2010-01-11 19:30) [9]

> А купить влом?

Идет месяц. :)
Да и честно купить влом.

← →
Rouse_ © (2010-01-11 22:04) [10]

Сереж, у тебя уже что пощупать есть?
Чес слов, хочется глянуть на результат...

> Rouse_ © (11.01.10 22:04) [10]

Я обязательно поделюсь. Но не раньше чем полгода.
Свяно с тем что на данный момент есть(и удивить ничем нельзя).

-Integer,Float,String,Char,Boolean types
-Operator and functions overloads (пока только внутреее задание)
-Type inference (при присвоении).
-интерпретатор(и уже на данном этапе я надумал от него отказаться).
-пока нет ни модулей ни прострастр имен(одно глобальное)
-синтаксический анализатор восходящий.

Однако с конца ноября я не занимался, поскольку делал ремонт дома.
После завтра выхожу на работу. И есть что программировать на ABAP на работе. А в свободное время буду читать теорию типов, системы типов.
Наступило время немного дозреть с мыслями.
Поскольку хотя основные правила мне известны ООП (включая ко(нтр)вариантность и F-bounded полиморфизм). Но есть и другое чего я данный момент пока не знаю. Хотелось бы почерпнуть знаний от гуру. Чтобы я мог с уверенность говорить что этот язык типобезопасный и выразительный.

На данный момент(точнее на конец ноября 2009 :) ) успешно выполнялся код

program Helloworld; NewTypeDef=record end; a,b,c:integer; d,ec,fg:float; j,z,i:integer; r,t,e,s:string; pp:char; q,w; Procedure1 (a:integer; b:sometype; d:GoodStuffType):VOID; af,ag,aa:integer; Procedure2 (var a:integer; b:sometype;var d:GoodStuffType):VOID; ia,ib,ic:integer; begin end; begin write "Function Decl"; end; Procedure3 (c:GoodStuffType); begin write "Procedure Decl"; end; Procedure4 ( a:integer; b:sometype):VOID; ia,ib,ic:integer; begin end; begin a:=5; r:="stuff"[1]; write r; d:=(a*100)/(200 AND (300))-600*100*5/a; write d; d:=trunc(7.23); a:=123+7; b:=a; c:=a+2*(b+2); if TRUE then write "something special"+" dododo"; write c; b:=321; ec:=c+100*-2--a/(b-100 AND NOT a)*200/300-400; q:=100/2; write ec; write a; r:=c.typename(); write r; write trunc(7.3+867/33).typename().typename().typename(); write 5.typename(); write c.typename(); 5.sizeof(); write 5.sizeof(); end

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

К, будем ждать...

> P.S. Да и значек мастера меня просто обязывает не упасть
> в грязь лицом(ну ошибки они у всех есть. Но чтобы не было
> фундаментальных).

Эт только на форуме значок обязывает. Но не в личном общении!

Удалось найти только pdf содержание-презентацию на 537стр.
Если кому понадобится,то могу поделиться.

Помогите найти ebook. Abadi, Cardelli. Theory of objects. Найти похожие ветки