Luận văn: Mô phỏng lập trình hướng đối tượng trong lập trình hàm

Trong ngành khoa học máy tính, lập trình hàm là một mô hình lập trình xem việc tính toán là sự đánh giá các hàm toán học và tránh sử dụng trạng thái và các dữ liệu biến đổi. Lập trình hàm nhấn mạnh việc ứng dụng hàm số, trái với phong cách lập trình mệnh lệnh, nhấn mạnh vào sự thay đổi trạng thái.[1] Lập trình hàm xuất phát từ phép tính lambda, một hệ thống hình thức được phát triển vào những năm 1930 để nghiên cứu định nghĩa hàm số, ứng dụng của hàm số, và đệ...
Nội dung trích xuất từ tài liệu:
Luận văn:Mô phỏng lập trình hướng đối tượng trong lập trình hàm B GIÁO D C VÀ ĐÀO T O Đ I H C ĐÀ N NG TR N TH OANH KHUYÊNMÔ PH NG L P TRÌNH HƯ NG Đ I TƯ NG TRONG L P TRÌNH HÀM Chuyên ngành : KHOA H C MÁY TÍNH Mã s : 60.48.01 TÓM T T LU N VĂN TH C SĨ K THU T ĐÀ N NG - 2011 Công trình ñư c hoàn thành t i Đ I H C ĐÀ N NG Ngư i hư ng d n khoa h c: PGS.TS. Phan Huy Khánh Ph n bi n 1 : PGS.TS. Lê Văn Sơn Ph n bi n 2 : TS. Trương Công Tu nLu n văn ñư c b o v trư c H i ñ ng ch m Lu n văn t tnghi p th c sĩ k thu t h p t i Đ i h c Đà N ng vào ngày 16tháng 10 năm 2011 Có th tìm hi u lu n văn t i: - Trung tâm Thông tin - H c li u, Đ i h c Đà N ng - Trung tâm H c li u, Đ i h c Đà N ng. 3 CHƯƠNG 1. M Đ U1. Lý do ch n ñ tài Ngành công nghi p ph n m m ñã chuy n sang m t knguyên m i. Ngày nay, các ph n m m không ñư c phát tri n nh lmà thư ng là nh ng h th ng l n, t p trung, ph c t p. Đó là s k th p c a nhi u thành ph n dư i d ng thư vi n, gói, d ch v ,…ñư cphát tri n trên nh ng n n t ng chuyên bi t, ñ m nh n nh ng ch cnăng và nhi m v khác nhau. Do ñó nh ng mô hình l p trình cũ trlên b t c p, thi u linh ñ ng, ph c t p,… S ra ñ i c a l p trình hư ng ñ i tư ng ñánh d u m t sphát tri n nh y v t trong l p trình máy tính. L p trình hư ng ñ i tư ng ra ñ i như m t bư c ti n hóa c atư duy thi t k ph n m m. Mô hình ñó cho phép chúng ta k t h p trith c bao quát v quá trình v i nh ng khái ni m tr u tư ng ñư c sd ng trong máy tính. Ph ng theo m t ñ i tư ng trong th gi i th c,các ñ i tư ng trong ph n m m ñư c t o xác ñ nh chính xác nh ngñ c trưng, thành ph n, hành vi, kh năng, m i quan h dli u,…Chúng ta có th t o ra m t ho c nhi u ñ i tư ng t m t khuônhình cài ñ t s n v i d li u m i, ñ c l p [18]. L p trình hư ng ñ i tư ng (Object-Oriented Programming,vi t t t là OOP) là m t phương pháp m i trên bư c ñư ng ti n hóac a vi c l p trình máy tính, nh m làm cho chương trình tr nên linhho t, tin c y và d phát tri n. Ngôn ng l p trình hư ng ñ i tư ng không ch ñơn thu n làng pháp ngôn ng , trình biên d ch hay toàn b môi trư ng pháttri n ng d ng mà nó bao g m r t nhi u nh ng thư vi n quan tr ngtr giúp vi c thi t k , s d ng ñ i tư ng t t hơn. L p trình hư ng 4ñ i tư ng có th ñư c h tr b i b t c ngôn ng l p trình nào. Hi nnay h u h t các ngôn ng thông d ng ñ u h tr l p trình hư ng ñ itư ng. Trong logic toán h c và khoa h c máy tính, phép tínhlambda (ti ng Anh:lambda calculus) hay còn ñư c vi t là λ-calculus,là m t h th ng hình th c dùng trong vi c ñ nh nghĩa hàm s , ngd ng hàm s và ñ quy. Phép tính lambda ñư c Alonzo Church ñxu t vào nh ng năm 193x như là m t ph n c a m t nghiên c u vcác n n t ng toán h c. H th ng nguyên th y ñã ñư c ch ng minh làxung kh c logic vào năm 1935 khi Stephen Kleene và J. B. Rosserphát tri n ngh ch lí Kleene–Rosser. Phép tính lambda sau ñó ñã ñư cphát tri n ñ tr thành m t công c quan tr ng trong vi c nghiên c ucác v n ñ lý thuy t tính toán và lý thuy t ñ quy, và hình thành nênn n t ng cơ b n c a mô hình l p trình hàm L p trình hàm là phong cách l p trình d a trên ñ nh nghĩahàm s d ng phép tính lambda (λ-calculus). L p trình hàm không sd ng các l nh gán bi n và không gây ra hi u ng ph như v n g ptrong l p trình m nh l nh. Trong các ngôn ng l p trình hàm, hàm(th t c, chương trình con) ñóng vai trò trung tâm, thay vì th c hi nl nh, máy tính tính bi u th c. Đã có r t nhi u ngôn ng hàm ñư cphát tri n và ng d ng như Miranda, Haskell, ML, các ngôn ng hLisp : Scheme, Common Lisp... Ngôn ng Scheme có tính sư ph m cao, gi i quy t thích h pcác bài toán h c và x lý ký hi u.Scheme có cú pháp ñơn gi n, dl p trình. M t chương trình Scheme là m t dãy các ñ nh nghĩa hàmgóp l i ñ ñ nh nghĩa m t ho c nhi u hàm ph c t p hơn. Scheme làmvi c theo ch ñ thông d ch, tương tác v i ngư i s d ng. 5 Đ tài này mô ph ng l p trình hư ng ñ i tư ng trong l ptrình hàm (Scheme).2. M c tiêu và nhi m v c a ñ tài M c tiêu Mô ph ng ñư c ngôn ng l p trình hư ng ñ i tư ng trongl p trình hàm. Nhi m v Khái quát l i l p trình hư ng ñ i tư ng. Nghiên c u cơ s l p trình hàm và ng d ng. Nghiên c u kh năng mô ph ng l p trình hư ng ñ i tư ngtrong l p trình hàm. Th c hi n mô ph ng l p trình hư ng ñ i tư ng trong l ptrình hàm .3. Đ i tư ng và ph m vi nghiên c u Nghiên c u v l p trình hàm, l p trình hư ng ñ tư ng, cácñ c trưng cơ b n. Mô ph ng l p trình hư ng ñ i tư ng s d ng l p trình hàm. Cài ñ t, th nghi m: ñưa ra bài toán x lý hình 2D gi i quyêtb ng phương pháp l p trình hư ng ñ i t ...