globalf5-240972240972 (850810), страница 36
Текст из файла (страница 36)
ГородняяОсновы функционального программированияграмотногопрограммирования,организациииобеспечениятехнологических процессов реального времени, чувствительных кчеловеческому фактору.Направление развития парадигмы программирования отражаетизменение круга лиц, заинтересованных в развитии и примененииинформационныхсистем.Многиеважныедляпрактикипрограммирования понятия, такие как события, исключения и ошибки,потенциал, иерархия и ортогональность построений, экстраполяция иточки роста программ, измерение качества и т.д. не достиглидостаточного уровня абстрагирования и формализации. Это позволяетпрогнозировать развитие парадигм программирования и выбиратьучебный материал на перспективу компонентного программирования(COM/DCOM, Corba, UML и др.). Если традиционные средства иметодывыделениямногократноиспользуемых компонентовподчинялись критерию модульности, понимаемой как оптимальныйвыборминимальногосопряженияпримаксимальнойфункциональности, то современная элементная база допускаетоперирование поликонтактными узлами, выполняющими простыеоперации.Парадигма программирования в образовательном процессе являетсяинструментомформированияпрофессиональногоповедения.Программирование прошло путь от профессиональной деятельностивысококвалифицированной элиты технических специалистов инаучных работников до времяпрепровождения активной частицивилизованного общества.
Освоение информационных систем черезпонимание с целью компетентных действий и ответственногоприменения техники сменилось интуитивными навыками хаотичноговоздействия на информационную среду со скромной надеждой навезение, без претензий на знание.
Обслуживание центровколлективного пользования, профессиональная поддержка целостностиинформации и подготовки данных почти полностью отступили передсамообслуживанием персональных компьютеров, независимымфункционированием сетей и разнородных серверов со взаимодействиемразличных коммуникаций.Противопоставление разрабатываемых программ, обрабатываемыхданных и управления заданиями уступает представлению об243Л.В. ГородняяОсновы функционального программированияинтерфейсах, приспособленных для участия в информационныхпотоках подобно навигации. Прежние критерии качества: скорость,экономия памяти и надежность обработки информации — все большезаслоняются игровой привлекательностью и широтой доступа кмировым информационным ресурсам. Замкнутые программныекомплексы с известными гарантиями качества и надежностифорсированновытесняютсяоткрытымиинформационнымикомплектами с непредсказуемым развитием состава, способов храненияи обработки информации.Эти симптомы обновления парадигмы программирования определяютнаправление изменений, происходящих в системе базовых понятий, вконцепции информации и информатики.
Тенденция использованияинтерпретаторов (точнее неполной компиляции) вместо компиляторов,анонсированная в концепции языка Java в сравнении с Си, и соблазнобъектно-ориентированногопрограммированиянафонеобщепринятого императивно - процедурного стиля программированияможно рассматривать как неявное движение к функциональному стилю[2]. Моделирующая сила функциональных формул достаточна дляполноценного представления разных парадигм , что позволяет на ихоснове экстраполировать приобретение практических навыковорганизации информационных процессов на будущее.244Л.В.
ГородняяОсновы функционального программированияСписок литературы1. McCarthy J., LISP 1.5 Programming Mannual2. Гилдер Дж., Программное обеспечение: переворот грядет.3. П.Хендерсон., Функциональное программирование. Применение и реализация.4. А.Филд, П.Харрисон, Функциональное программирование5. Скотт Д., Теория решеток, типы данных и семантика6.
Хьювенен Э., Сеппанен Й., Мир Лиспа., т.1,2,7. Graham P., ANSI Common Lisp8. Оллонгрен А., Определение языков программирования интерпретирующимиавтоматами.9. Ершов А.П., Смешанные вычисления: потенциальные применения и проблемыисследования. — Тезисы докладов и сообщений. Всесоюзная конференция «Методыматематической логики в проблемах искусственного интеллекта и систематическоепрограммирование», ч.210.
Малпас Дж., Реляционный язык Пролог и его применение.11. Cann D.C., SISAL 1.2 : A Brief Introduction and Tutorial.12. Левин Д. Я., Язык сверх высокого уровня Сетл и его реализация (для БЭСМ-6)13. Knoop J., Optimal Interprocedural Program Optimization. A New Framework aand ItsApplication.14. Weinberg G.M., The Psychology of Computer Programming15. Поттосин И.В., Система СОКРАТ: Окружение программирования для встроенныхсистем16. Евстигнеев В.А., Касьянов В.Н., Графы в программировании: обработка,визуализация и применение17.
В.Е.Котов, В.К.Сабельфельд, Теория схем программ18. Дейкстра Э., Дисциплина программирования19. Мальцев А.И., Алгоритмы и рекурсивные функции20. Backus J., Can programming be liberated from the von Neumann style? A functionalstile and its algebra of programs.21. Ritchie D.M., Tompson K., The UNIX Time-Sharing System22.
Фуксман А.П., Технические аспекты создания программных систем23. Лавров С.С., Использование вычислительной техники, программирование иискусственный интеллект (перспективы развития)24. Лавров С.С., Силагадзе Г.С., Входной язык и интерпретатор системыпрограммирования на базе языка Лисп для машины БЭСМ-625. Городняя Л.В., Реализация Лисп-интерпретатора. ВЦ СО РАН СССР26.
Лавров С.С., Гончарова Л.И., Автоматическая обработка данных. Хранениеинформации в памяти ЭВМ27. Вирбицкайте И.Б., Семантические модели в теории параллелизма28. Лавров С.С., Лекции по теории программирования. Учебное пособие29. Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д., Структуры данных и алгоритмы30. Hudak P. Conseption,, Evolution and Application of Functional Languages31. Личный сайт Дж.
Мак-Карти с текстами его публикаций, URL: http://wwwformal.stanford.edu/jmc/245Л.В. ГородняяОсновы функционального программирования32. сайт ассоциации любителей Лиспа, URL: http://www.lisp.org/33.ДистанционныйучебникМ.Н..Морозова,URL:http://www.marstu.mari.ru/mmlab/home/lisp/title.htm34. Небольшой учебник для начального знакомства с Лиспом, URL:http://grimpeur.tamu.edu/~colin/lp/35. Интересные материалы по Clisp Паула Грэхема, автора книги по стандарту ANSIClisp, URL: http://www.paulgraham.com/onlisptext.html36. сайт по языку CMUCL – особо эффективная реализация Лиспа, URL:http://www.cons.org/cmucl/37.Материалыпограмотномупрограммированию(Д.Кнут),URL:http://www.literateprogramming.com38. подробное руководство по языку Lisp для начинающих, URL:http://www.psg.com/~dlamkins/sl/contents.html39.
материалы по функциональному программированию и сфере его применения,URL: http://www.franz.com/40. коллекция очень интересных материалов для любознательных и дотошных, URL:http://www.cliki.net/index41. Учебник по функциональному программированию со ссылками на большоечислоразнообразныхязыковпрограммирования,URL:http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/index.html246Основы функционального программированияЛ.В. ГородняяСодержаниеТитульная страницаВыходные данныеЛекция 1. Основные идеиЛекция 2. Элементарный ЛиспЛекция 3. Универсальная функцияЛекция 4. Отображения и функционалыЛекция 5.
Имена, определения и контекстыЛекция 6. Свойства атомов и категории функцийЛекция 7. Детализация базовых функцийЛекция 8. Компиляция функциональных программЛекция 9. Реализационные решенияЛекция 10. От ФП к ООПЛекция 11. Варианты, последовательности, множестваЛекция 12. Управление процессамиЛекция 13. Функции высших порядковЛекция 14. Макеты программ и тестыЛекция 15. Парадигмы программированияСписок литературы24723419446791109131143156169187197209225230245.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
