Original on http://www.info.ucl.ac.be/~pvr/book.html

MIT Press, цвёрды пераплёт, 900pp + XXIX, ISBN 0-262-22069-5, сакавік 2004

ад Пятра Рой Ван і Сеиф Haridi

"Больш не лепш (ці горш), чым менш, проста іншы."
- Парадыгма парадокс.

"Выдатная кніга, вельмі цікавая, дзіўна лёгка чытаецца (не зразумеў, што з яшчэ няма), вельмі незвычайны ў многіх адносінах."
- Дуг Мерритт.

"Ўсёабдымнага дасягнення гэтай кнігі настолькі правакацыйным, што хто-небудзь хоча займацца аўтарамі ў дыскусію пра амаль усё, што яны кажуць. Часткова гэта звязана з жывой [...] стыль лісты, але ў асноўным гэта іх смачным іканаборства. "
- Пётр Гамі, Кніжны агляд, Часопіс функцыянальнага праграмавання, сакавік 2009 года.

Памылкі друку

Дадаткі

Навін
URL-адрасы Навіна
Парадыгмы праграмавання плаката Плакат з указаннем усіх асноўных парадыгмаў праграмавання і іх адносіны.
Пераклады З канца 2007 года, пераклады кніг існуюць на французскай, польскай і японскай мовах. Іспанскі пераклад маючых адбыцца (кантактныя Хуан Дыяс ).
CTM Wiki Існуе Wiki прысвечаны дыскусіі аб кнізе і яе падыход (дзякуй Дамінік Фокс).
Курс па-французску Ёсць у цяперашні час усе матэрыялы, вядома, кнігі, праграмнае забеспячэнне і па-французску.
КИКА і UPMC П. Ван Рой даў перамовы па парадыгмаў праграмавання, уключаючы функцыянальныя, адначасова, і мультиагентных праграмавання на IRCAM і UPMC у 2006, 2007 і 2008 гадах.
Актыўны кнігі дэма Дэманстрацыя была зроблена з актыўных варыянт кіраўніка 4 (дэкларатыўных паралелізм) на UPMC / ScienceActive стэндзе калоквіум L'Універсітэт a l'Эрэ дзю Numerique, 22-24 мая 2006, Парыж, Францыя.
Абгрунтаваныя Шернер ў Оз Шматлікія прыклады з Абгрунтаваныя Шернер былі перакладзеныя на Оз Крыс Rathman.
FLOPS 2006 П. Ван Рой даў Даклад на FLOPS 2006 (24-26 красавіка 2006 года, Fuji Sosono, Японія) аб тым, што мы можам даведацца пра канчатковага мова праграмавання ( артыкулы, казаць слайды, дэма-код ).
Калюмбійскія выданне Кнігу можна набыць у калумбійскіх выданні з канца 2005 года, Універсітэт дэль Валье і Pontificia Універсітэт Хавериана (гл. Tienda Хавериана захоўваць пры Хавериана).
Лекцыя тур П. Ван Рой наведаў і даў перамоваў у пяці амерыканскіх універсітэтаў на працягу тыдня 07/11 лістапада 2005 года.
Springer вэб-сайт, зместа, форму замовы Жнівень 2004 разгляду зараз даступныя як Springer LNCS аб'ём 3389, з прадмовай Пятра Норвиг з Google, Inc
Ядраў 2005 Ядраў з'яўляецца галоўнай штогадовай лацінаамерыканскай канферэнцыі інфарматыцы (10-14 кастрычніка, 2005). П. Ван Рой выступіў з асноўным казаць і падручніка па канцэпцыям аснове выкладання праграмавання.
Prentice-Hall Індыі Існуе Усходняй эканомікі Edition для Індыі, Пакістане і суседніх краінах, якія даступныя з пачатку 2005 года.

Гэты падручнік прыносіць студэнту інфарматыку ўсёабдымнай і сучасныя ўяўленні ўсіх асноўных паняццяў праграмавання, метады і парадыгмы ў адзіную структуру. Падручнік прызначаны для другога года ў аспірантуры ў кампутарным праграмаванні. Ён таксама прызначаны для спецыялістаў-практыкаў і даследчыкаў: ён дае праніклівы дыскусіі па многіх тэмах, прымірае супрацьлеглыя пункту гледжання, і падкрэслівае, паняцці маюць вечную каштоўнасць. Яна мае наступныя характэрныя асаблівасці:

  • Паралельнае праграмаванне: шырокае ўяўленне практычнага паралельнага праграмавання даступныя ў любым месцы. Адна трэць кнігі прысвечана паралельнага праграмавання. Усе важныя парадыгмаў прадстаўлены, у тым ліку трох найбольш карысныя з іх: дэкларатыўныя (струмень дадзеных) паралелізм, перадачы паведамленняў паралелізму і агульныя стану паралелізму.
  • Выманне дадзеных: шырокі прэзентацыі даступныя ўсюды розныя спосабы зрабіць абстракцыі дадзеных. Чыста аб'ектна-арыентаваныя мовы выкарыстоўваюць толькі адзін спосаб, але мы пакажам, што існуюць прынамсі чатырма рознымі спосабамі. Кожны мае свае ўласныя кампрамісы і ў рэальным свеце метафар. Напрыклад, мы тлумачым кампрамісаў паміж аб'ектамі і абстрактнымі тыпамі дадзеных, і як выкарыстоўваць палімарфізм з імі абодвума.
  • Парадыгмы праграмавання: найбольш поўнай інтэграцыі парадыгмаў праграмавання даступныя ў любым месцы. Пакажам, што Мультипарадигмальное праграмавання з'яўляецца натуральным і, што ўмоўныя межы паміж парадыгма з'яўляюцца штучнымі і абмежаванні. Пакажам, праграмавання, як адзінай дысцыпліны. Мы вылучым чатыры мовы Erlang, Haskell, Java, Prolog і ў якасці прадстаўніка членаў важных парадыгмаў і размясціць іх у нашу адзіную аснову.
  • Практычнасць: З дакладам аб практычных метадах праграмавання, ілюстраваныя больш за 1000 праграм і праграмных фрагментаў. Усё можа быць запушчаны на суправаджаючых адкрытая платформа распрацоўкі крыніцы, Моцарт Сістэма праграмавання.
  • Фармальная семантыка: поўны і просты фармальнай семантыкі прызначаны для практыкуючых праграмістаў. Яна дазваляе зразумець, праграм, для прагназавання паводзінаў, і для разліку часу выканання і памяці. Фармальная семантыка з'яўляецца на службу праграмавання. Гэта так жа проста, наколькі гэта магчыма без шкоды для строгасці або пакрыццё.
Кніга арганізавана вакол канцэпцыі праграмавання. Яна пачынаецца з малога мовы, які змяшчае толькі некалькі канцэпцый. Ён паказвае, як дызайн, пісаць праграмы, і таму ў гэтым мове. Затым ён дадае канцэпцыі па адным для пераадолення абмежаванняў у выразнасці. Такім чынам, ён змяшчае ўсе асноўныя парадыгмы праграмавання ў адзіную аснову, то ёсць як мага больш простым, але не прасцей (гл. змест ). Больш за дваццаць парадыгмы дадзены, усё прадстаўлены як падмноства Мультипарадигмальное мовай Оз. Мы лічым, што ўсе маюць права на існаванне: "больш не лепш (ці горш), чым менш, проста іншы".

Вось некалькі асноўных момантаў кнігі. • • прэзентацыя дэкларатыўны паралелізму, малавядомых, але вельмі карысная парадыгма для паралельнага праграмавання без гонкі. З дэкларатыўны паралелізму, функцыянальных блокаў, такіх як карты, FORALL, і раз набываюць новы сэнс, як паралелізм мадэляў. Гэтая парадыгма асабліва карысна для шмат'ядравых праграмавання і для размеркаванага паралельнага праграмавання (напрыклад, MapReduce). • • тлумачэнне таго, чаму правы па змоўчванні для структуравання праграм, як адначасовае кампаненты, якія ўзаемадзейнічаюць праз асінхронны абмен паведамленнямі. • • змешаная дэкларатыўны / імператыўнага падыходу да графічнага інтэрфейсу карыстальніка, які добра падыходзіць для кантэкстнае-залежнай і пластыкавыя карыстацкіх інтэрфейсаў. • • сістэма кіравання ліфтамі выкарыстаннем многоагентных праграмавання. • • здзелкі сістэмы з выкарыстаннем кіраванне аптымістычным паралелізм са строгім двухфазнай блакавання і взаимоблокировки пазбягання. • • глыбокае абмеркаванне выкарыстання і абмежаванні дэкларатыўнага праграмавання. • • агляд метадаў праграмавання выкарыстаннем лянівых вылічэнняў. • • эфектыўны падыход да сеткі празрыстай размеркаванага праграмавання. • • Уводзіны ў праграмаванне ў абмежаваннях.

Што кажуць іншыя людзі

Водгукі

Рэцэнзія на кнігу па Скот Джонсан на арыгінальнай WikiWikiWeb размяшчэнне Каннингэм & Каннингэм, Inc

Рэцэнзія на кнігу ад Yves Девилл і інш ў тэорыі і практыцы праграмавання логікі, Cambridge University Press, аб. 5, выпуск 4-5, стр. 595-600, ліпень 2005 года.

Рэцэнзія на кнігі Эдгара Р. Чавес у ACM вылічальных Водгукі 18 ліпеня 2006 г. (ACM патрабуе рахунку).

Рэцэнзія на кнігу па Ранджит Мэцью, 21 студзеня 2007 года.

Рэцэнзія на кнігу Пятра Гамі ў часопісе функцыянальным праграмаванні, Cambridge University Press, аб. 19, выпуск 2, стр. 254-256, сакавік 2009 года.

Спытайце Google аб папулярных падручніках праграмавання і ўбачыць, дзе мы знаходзімся: спытаеце аракула

Спытайце Google Image Search аб парадыгмаў праграмавання і ўбачыць, дзе мы знаходзімся: спытаеце аракула

TUNES праекта рэкамендуе кнігу ў PL 101 Навучанне Lounge курс па Мовы праграмавання.

Некаторыя каментары, якія з'явіліся на блогах, групах навін, і іншых грамадскіх форумах, у дачыненні да кніг і інтэрнэт-праектаў з 2003 года. • • "Толькі што скончыў чытанне, і я адчуваю, што я чытаў Біблію." ( Slashdot артыкула, 18 чэрвеня 2003 ) • • "У многіх адносінах [назва кнігі] адчувае сябе (пратэрмінаваныя) абнаўленне" Структура і інтэрпрэтацыя праграмы для ЭВМ "." • • "Rosetta Stone праграмнага забеспячэння." • • "Адзін з лепшых кніг CS, што я калі-небудзь чытаў." • • "Адзін з рэдкіх кніг, якія можна сапраўды навучыцца праграмаванні навукі ад". • • "Кніга аб вялікай мудрасці." • • "Здаецца, амаль на кожнай старонцы кнігі ўводзіць некаторыя новыя канцэпцыі патрабуе сузірання і стрававання." • • "Калі вы сумняваецеся, што любы мова мог аб'яднаць усе гэтыя парадыгмы і ўсё яшчэ быць карысным, паглядзець на праект будучай кнігі [назву кнігі], дзе асноўныя ідэі дакладна вызначаны. "• •" Я рэкамендую гэтую кнігу ўсім, думаць аб праграмаванні. "• •" Ван Рой і Haridi можа быць першым добрым тэкст на мовах праграмавання. "• •" Карацей кажучы, гэта ступень магістра ў галіне камп'ютэрных навук на адной мове і тэкст ".

Бясплатныя навучальныя матэрыялы, гутаркі і артыкулы

  • Плакат : паказаны галоўныя парадыгмы праграмавання і іх адносіны ( парадыгмаў праграмавання плакат ў фармаце JPEG ). Плакат натхнёны CTM і паказвае больш чым 20 парадыгмаў.
  • Дапаўненняў Вэб-сайт : вялікая колькасць навучальных матэрыялаў (больш за 2000 слайдаў), аніміраваныя інтэрпрэтатар мовы ядра, код дабаўкі і тэхнічнай інфармацыі для сістэмы Моцарта, і спіс памылак друку.
  • Выпраўленні раз : да сучасных спіс выпраўленняў для розных друкаваных выданнях кнігі.
  • CTM Wiki : прысвечаны дыскусіі аб кнізе (так званы "СТМ") і свой ??падыход. Мы дзякуем Дамінік Фокс за ініцыятыву ў стварэнні і падтрыманні гэтай Wiki.
  • CTM на іншых мовах : ёсць пераклады з многіх праграм, ад многіх вядомых кніг па праграмаванні і праектаў (SICP, ТРС, EOPL, CLRS, PFDs, 99 праблем, праект Эйлера і інш) у Oz, а таксама іншыя мовы (Alice ML, Erlang і г.д.). Мы дзякуем Крыса Rathman для выканання гэтых перакладаў.
  • Так як кніга цяпер даступная, мы выдалілі онлайн праект па просьбе выдаўца. Калі вы знайшлі копію гэтага праекта ў Інтэрнэце, калі ласка, майце на ўвазе, што апублікаваная кніга мае велізарную колькасць паляпшэнняў і выпраўленняў. На вэб, мы выявілі, нізкія кошты ў розных месцах (скідкі змены хутка, так што варта паглядзець на розных кніжных крамах). Amazon (ЗША і Вялікабрытанія) мае некаторыя цікавыя агляды кніг.

Перамовы

Артыкулы

  • Падыход быў прадстаўлены ў артыкуле навучання праграмаванню з ядром мовы падыход, семінар па функцыянальным і дэкларатыўнага праграмавання ў галіне адукацыі (FDPE02), частка PLI2002, кастрычнік 2002, Пітсбург, штат Пэнсыльванія ( PostScript, PDF ). Ранняя версія з'явілася ў ИФИП Рабочай групы 03/02 Рабочая канферэнцыя "Інфарматыка Навучальныя праграмы, метады выкладання, і найлепшай практыкі" (ICTEM 2002), ліпень 2002 года, Флорианополис, Бразілія.
  • Падыход быў прадстаўлены ў артыкуле праграмавання як інжынернай дысцыпліны Юрыс Рэйнфельд, 32 ASEE / IEEE межаў у канферэнцыі па пытаннях адукацыі (FIE 2002), лістапад 2002, Бостан, Масачусэтс ( PDF ).
  • Канцэпцыі падыходу, які прызначаны ў кнізе на другі год у аспірантуры, быў абмеркаваны ў якасці магчымага падыходу да ўступных (першы год) курсы ў рамках рабочай групы адбылося ў 2003 ITiCSE з 28 чэрвеня па 2 ліпеня 2003 у Салоніках, Грэцыя. Рабочая група дакладу ў выглядзе Research Report RR2003-08 з UCL кафедра вылічальнай навукі і тэхнікі ( PDF ).

Іншыя спасылкі

Адкрыты зыходны код праграмнага забеспячэння

Кніга прызначана для суправаджацца версіі 1.3.0 Моцарта Сістэма праграмавання (выпушчаны 15 Красавік 2004) і ўсіх больш позніх версій. Моцарт вытворчасці якаснага развіцця платформы, якія могуць працаваць усе фрагменты кода, у кнізе. Вэб-сайт дапаўненняў дае код дабаўкі да Моцарта, якія выкарыстоўваюцца ў кнізе. Моцарт даступны бясплатна пад ліцэнзіяй Open Source. Яна існуе для розных водараў Unix і Windows і для Mac OS X. Моцарта актыўна развіваецца і падтрымліваецца супольнасцю Моцарта (версіі 1.4.0 быў выпушчаны 3 ліпеня 2008 г.).

Мы выбралі Моцарта для падручніка, паколькі ён рэалізуе Оз, Мультипарадигмальное мове, які падтрымлівае канцэпцыі падыходу, заснаванага на выдатна. Оз спалучае ў натуральны шлях многія паняцці, звязаныя з традыцыйна розных парадыгмаў праграмавання. Гэта робіць Oz цяжка класіфікаваць: гэта функцыянальны мова, логіка мовы, аб'ектна-арыентаваны мова, струмень дадзеных мовы, абмежаванне мовы, і многае іншае. Выкарыстаньне адной мовы замест некалькіх (напрыклад, Java, Prolog, Haskell і Erlang) робіць яго лягчэй паказаць глыбокія адносіны паміж парадыгма, а таксама зніжэнне адміністрацыйнай нагрузкі на студэнтаў і выкладчыкаў (толькі адна сістэма павінна быць ўстаноўлена і даведаўся замест шматлікіх).

Навучанне з кнігай

Ёсць некалькі набораў навучальных матэрыялаў даступная бясплатна (больш за 2000 слайдаў лекцый, а таксама навучальныя дапаможнікі, лабараторыі сесій і экзаменаў) на вэб-сайце дабаўкі. Вы можаце выкарыстоўваць і змяняць гэты матэрыял вольна для вашага ўласнага курса. CTM у Эліс сайце пераклады многіх з кнігі напрыклад праграм у статычна типизированных мовах Аліса. ТРС на іншых мовах сайце пераклады шматлікіх прыкладаў з Абгрунтаваныя Шернер ў Оз.

Кніга была даступная з сакавіка 2004 года, але праекты былі выкарыстаныя да гэтага на працягу навучання. Ніжэй у гэтым раздзеле прыведзены спіс некаторых установах, якія выкарыстоўваюць кнігі і іх курсы. Калі вы вучыце курс з кнігай або думаць аб выкладанні адзін, мы будзем рады пачуць ад вас.

Поўныя курсы

Некаторыя курсы, выкарыстоўваць кнігу ў якасці асноўнай тэкст (на жаль, гэты спіс ўсё больш і больш ад даты, калі ласка, дашліце мне пошту, калі вы хочаце быць згаданыя тут):
  • Com S 541 - Мовы праграмавання 1, аспірантуру дадзенага універсітэта штата Аёва (Эймса, штат Аёва) (восень 2006) і COP4020 - Мовы праграмавання я ў Універсітэце Цэнтральнай Фларыды (г. Арланда) (восень 2007), як Гэры Т. Лівенсам.
  • CS 330: Прынцыпы Мовы праграмавання, паколькі ў Brigham Young University (провада, штат Юта) Ірэн Langkilde Гіры (восень 2005).
  • 689 --- Мова праграмавання Дызайн, улічваючы, у Тэхасе і M універсітэта (Каледж-Стейшн, штат Тэхас) на Яака Ярви (вясна 2005).
  • CSCI-4430 Мовы праграмавання, улічваючы Дэвід Р. Массер (восень 2004), і CSCI-4430/6969 Мовы праграмавання, даецца Карлас Варэла (вясна 2005, восень 2005), верхні ўзровень курсу бакалаўрыяту дадзена ў Rensselaer Polytechnic Institute (Troy, Нью-Ёрк).
  • CS 68: Прынцыпы Мовы праграмавання, улічваючы Дартмуцкага каледжа (Hanover, NH) Крыс Бейлі-Келлога (зіма 2005-6).
  • TDT4165 Мовы праграмавання, трэці курс дадзена ў Нарвежская універсітэт навукі і тэхналогій (Тронхейм) на Oystein Nytro і Пер Holager (вясна 2004-5, восень 2005).
  • Асноўныя прыёмы праграмавання, майстар-ўзроўню курса дадзена ў Універсітэце дэль Валье (Гартуй, Калумбія) Хуан Франсіска Дыяс Фрыяс і Андрэс Бесерра Сандовал (вясна 2004).
  • Мовы праграмавання, аспірантуру дадзенага ў Universita дельи Studi дэль Sannio (Бэнэвента, Італія) Мікеле Ды Санта (вясна 2004-5).
  • CS 460 штучны інтэлект, старэйшых курсаў курс дадзенай Каліфарнійскага універсітэта Лос-Анджэлесе Русі Abbott (восень 2005).
  • CSCI 300, Мовы праграмавання, бакалаўрыят дадзена на Xavier University (Цынцынаці, штат Агаё) Гэры Левандоўскі (восень 2005).
  • Канцэпцыі, метады і мадэлі праграмавання, бакалаўрыят дадзена ў Linkoping University (Швецыя) Андэрс Харальдссон (восень 2005).
  • CS2104 Мова праграмавання канцэпцый, бакалаўрыят нададзена першага і другога года навучання ў Нацыянальным універсітэце Сінгапура Сейф Haridi (восень 2003) і Вэй-Нган Чын і Штэфан Андрэй (восень 2004-5).
  • Datalogi II, другі год ўвядзенне ў праграмаванне канцэпцый для спецыяльнасцяў CS і не маёраў CS дадзена ў Каралеўскім тэхналагічным інстытуце (КТН), Швецыі, Сейф Haridi ( восень 2001 ), Крысціян Шульте ( восень 2002-3 ), і Dilian Гураў ( восень 2004-5 ).
  • Informatique 2 (FSAB1402) (восень 2005), інфарматыцы T4 (FSAC1450) (восень 2004), і LINF1251 (вясна 2002-5), усе другі год ўвядзенне ў праграмаванне, INGI2131, трэцяга курсу Уводзіны ў паралельнае праграмаванне (вясна 2003-5), і INGI2650, трэцяга курсу Увядзенне ў структуру алгарытмічных моў (восень 2001), усё ў Каталіцкага універсітэта Левена дэ, Лувен-ла-Нев, Бельгія, Пятром Ван Рой.
  • CS532, аспірантуру на дэкларатыўнае праграмаванне (восень 2001-3), і CS437, чацвёрты курс на размеркаваных сістэмах (вясна 2001), як дадзена ў Каірскім універсітэце, Егіпет, Рым Bahgat.
  • Programmierkurs Моцарта, аспірантуру на дэкларатыўных і праграмаванне ў абмежаваннях прыведзена ў універсітэце горада Дортмунд, Нямеччына, Штэфан Lehmke і Хьюберт Вагнер (лета 2003).
  • EE590, аспірантуру на размеркаваных вылічэнняў (восень 2001), і EE490/590, аспірантуру па праграмаванні паняццяў, як дадзена ў Нью-Мексіка дзяржаўны універсітэт, Лас-Крусес, Юрыс Рэйнфельд (вясна 2002).

Частковае курсы

Некаторыя курсы, якія выкарыстоўваюць кнігу для значнай часткі іх навучальны матэрыял:
  • Высокага ўзроўню паняцці вылічэнняў і мова праграмавання канцэпцый, аспірантуру дадзенага універсітэта Линчепинг (Швецыя) Андэрс Харальдссон (вясна 2005).
  • Праграмаванне ў абмежаваннях, бакалаўрыят дадзенай ў Універсітэце дэль Валье (Гартуй, Калумбія) Хуан Франсіска Дыяс Фрыяс (вясна 2004).
  • PC111, выпускных факультатыўны курс на абмежаванне праграмавання на дадзеным Pontificia Універсітэт Хавериана (Гартуй, Калумбія) па Камило Руэда (вясна 2004).
  • CS5340, перадавой аперацыйнай сістэмы і размеркаваных вылічэнняў, аспірантуру дадзенага універсітэта Тэхаса ў Эль-Паса Юрыс Рэйнфельд (вясна 2004).
  • CS5223, увядзенне ў размеркаваныя сістэмы, алгарытмы і вылічальныя дадзена ў Нацыянальным універсітэце Сінгапура Сейф Haridi (вясна 2004).
  • 2G1915, чацвёрты год курс па паралельны праграмаванню ў дадзенай KTH Уладзімір Уласаў (вясна 2002).
  • INGI2655, чацвёртага курса Уводзіны ў семантыку моў праграмавання, паколькі ў Каталіцкага універсітэта Левена дэ, Лувен-ла-Нев, Бельгія, Пятром Ван Рой (вясна 2002-3).
  • SOFTENG 325 SC, трэці год курс па архітэктуры праграмнага забеспячэння дадзена ў універсітэце Окленда, Новая Зеландыя. Курс складаецца з трох частак, першая частка выкарыстоўвае кнігі. Першая частка вучыць Джон ХАМЕР (лета 2003).
  • Multi-парадыгму праграмавання ў Оз, для апрацоўкі натуральнай мовы, улічваючы пры Вышэйшай школе моўных тэхналогій, Гётэборг універсітэт, Швецыя, па Torbjorn Lager і Дзяніс Duchier (вясна 2003).
  • EE590, аспірантуру на размеркаваных вылічэнняў на дадзеным Нью-Мексіка дзяржаўны універсітэт, Лас-Крусес, Юрыс Рэйнфельд (восень 2001).

Канцэпцыі падыходу для навучання праграмаванню

Навуковыя асновы

Навуковыя асновы кніга мове падыход ядра. Пры такім падыходзе, практычных моў праграмавання вызначаны шляхам пераводу іх у ядро мовы, якія складаюцца з невялікага ліку праграмістаў значных канцэпцый. Шырокі спектр моў праграмавання і парадыгмы могуць быць вызначаны як падмноства агульнай мовы ядра. Агульную мову лёгка зразумець, практыкуючы праграмістаў і просты фармальнай семантыкі, што дазваляе праграмістам разважаць аб правільнасці і складанасці на высокім узроўні абстракцыі. Прастата семантыка азначае, што паводзіны мовы лёгка прадказаць. Нават калі праграмісты не выкарыстоўваюць семантыку непасрэдна, само яго існаванне гарантуе, што Ёсць ніякіх непрыемных сюрпрызаў. Семантыкі падтрымлівае любой ступені фармальнасці лепш за ўсё падыходзіць праблемы: ад самых строгіх фармальных метадаў для найбольш інтуітыўны майстэрства.

Двух падыходаў найбольш блізкі да падыходу моў ядра асноватворных вылічэння і віртуальнай машыны. Мы тлумачым, як падыход ядро ??мовы адрозніваецца ад гэтых падыходаў. Асноватворным вылiчэння, як лямбда-вылічэння або пі-вылічэння, зніжае праграмавання на мінімальны лік прымітыўных паняццяў. Гэта асабліва карысна для тэарэтычнага даследавання вылічэнняў. Віртуальная машына вызначае мову з пункту гледжання рэалізацыі на ідэалізаванай машыны. Гэта асабліва карысна для мовы распрацоўнікі і кампілятараў. Праблема з абодвух падыходаў з'яўляецца тое, што які-небудзь рэальнай праграмы, напісанай на іх будзе завалены тэхнічныя дадзеныя аб моўных механізмаў. Падыход ядро ??мовы дазваляе пазбегнуць гэтага бязладзіцы, выбраўшы канцэпцыі мудра. Ядро мовы прызначаны для праграмістаў.

Як паняццяў прыводзіць да Мультипарадигмальное праграмавання

Мы вызначаем дакладнае паняцце разліковай мадэлі для захопу інтуітыўнае паняцце "парадыгма праграмавання". Кожнае ядро ??мовы з'яўляецца асновай разліковай мадэлі. Кніга знаёміць больш за дваццаць разліковых мадэляў у адзіную аснову і ў прагрэсіўны спосаб. Парадыгмы праграмавання з'яўляюцца як свайго роду эпифеномен, у залежнасці ад канцэпцыі выкарыстоўваюцца. Мы разглядаем адносіны паміж мадэлямі і паказаць, як і чаму трэба выкарыстоўваць розныя мадэлі разам у той жа праграме. Гэта прыводзіць да Мультипарадигмальное праграмавання ў цалкам натуральным чынам. Часта мадэлі, якія здаюцца моцна адрозніваецца у ядра моў, якія адрозніваюцца толькі адно паняцце (напрыклад, гэта выпадак для дэкларатыўнай ад аб'ектна-арыентаванага праграмавання).

Агульныя мадэлі ўключалі дэкларатыўнага праграмавання (функцыянальныя і лагічныя), імператыўнага праграмавання (кампанентныя і аб'ектна-арыентаванай), і паралельнае праграмаванне (сінхронныя і асінхронныя, у тым ліку струмень дадзеных, патокі, гультаявата выканання, перадачы паведамленняў, а таксама агульнага стану). Спецыялізаваныя мадэлі ўключалі графічны праграмны інтэрфейс карыстальніка, размеркаванае праграмаванне, а праграмаванне ў абмежаваннях. Усе мадэлі выкананы ў поўным аб'ёме для практычнага праграмавання і ўключаюць многія з апошніх навуковых ідэй.

Цяперашняя тэндэнцыя ў кампутарных натуральна-навуковага адукацыі заключаецца ў абмежаванні студэнта аднаго або двух мадэляў. Самы экстрэмальны выпадак, дзе адзін даволі складаныя мадэлі і мовы, а менавіта аб'ектна-арыентаванае праграмаванне ў Java, выкарыстоўваецца ў якасці агульнага прызначэння падыход, з якім усе праблемы павінны быць вырашаны. Гэтая тэндэнцыя абумоўленая рынкавымі сіламі і не мае навуковай асновы. Адна з мэтаў кнігі павінен быць процівагу гэтай тэндэнцыі, паставіць аб'ектна-арыентаванага праграмавання ў больш агульным кантэксце. У дадатак да прадастаўлення студэнту глыбокае разуменне, гэта непасрэдныя практычныя выгады. Многія праблемы, якія цяжка вырашыць у Java становяцца простымі, калі глядзець у прыдатную мадэль вылічэнняў. Напрыклад, як паралельнае праграмаванне і графічны дызайн карыстальніцкага інтэрфейсу цяжка ў Java. Кніга паказвае, як гэтыя дзве вобласці, можа быць значна спрошчана.

Гісторыя

Моцарт савета

Сістэма Моцарта ў цяперашні час актыўна распрацоўваецца супольнасцю Моцарта, з кіраўніцтвам і адказнасці асноўнай групы, Моцарт савета. Моцарт Сістэма праграмавання быў распрацаваны кампаніяй Герт Смолка і яго даследчая група ў Універсітэце зямлі Саар ў пачатку 1990-х. У той час яна называлася DFKI Оз. У 1999 годзе, развіццё працягваецца з міжнароднай групай, Моцарт кансорцыума, які складаўся з Саар універсітэт, Шведскі інстытут кампутарных навук, і Каталіцкага універсітэта Левена дэ. У 2005 годзе адказнасць за кіраванне развіцця Моцарта быў перададзены ў Савет Моцарта, з відавочнай мэтай адкрыцця Моцарта развіцця для больш шырокага супольнасці.

Аўтары

Аўтары цесна супрацоўнічаюць з 1995 года. Яны пачалі пісаць падручнік у 1999 годзе. Абодва маюць шырокі вопыт у розных галінах камп'ютэрнай навукі, уключаючы апаратнае і праграмнае забеспячэнне сістэмы, праграмаванне мова дызайну і рэалізацыі, паралельных і размеркаваных сістэм, мадэлявання, логіка і абмежаванні праграмавання і распрацоўкі прыкладанняў.

Пітэр Ван Рой, прафесар у Дэпартаменце вылічальнай навукі і тэхнікі ў Каталіцкага універсітэта Левена дэ (UCL) у Лувен-ла-Нев, Бельгія ( даследаванняў старонкі ). Grand Challenge у Мовы праграмавання, ALP рассылку, тым 8 / 4, 1995 ( архіў, лакальная копія ).

Як Дарт Вейдер ў барацьбе з двума маладымі рыцараў Джэдай.

Як Пітэр Пэн выкладання курса INGI1131.

Сейф Haridi з'яўляецца прафесарам у Дэпартамент мікраэлектронікі і інфармацыйных тэхналогій у Каралеўскім тэхналагічным інстытуце (КТН) і галоўны навуковы саветнік Шведскі інстытут кампутарных навук (SICS), як недалёка ад Стакгольма, Швецыя.