განზოგადოებული ფორმები სიების დამუშავების ფუნქციებისთვის ენა Haskell–ში

ავტორი: ნათელა არჩვაძე
საკვანძო სიტყვები: ფუნქციონალური ენა, პროგრამების ვერიფიკაცია, რეკურსიული ფუნქციები
ანოტაცია:

მონაცემების დინამიური სტრუქტურის აღწერის და მოცემული სტრუქტურისათვის პროგრამების ავტომატური აგებისა და ვერიფიკაციის ამოცანები მიეკუთვნება იმ ტიპიურ ამოცანებს, რომელთა ამოხსნა ხდება ფუნქციონალური პროგრამირების მეთოდებით. სწორედ მათ ამოხსნას განვიხილავთ ორი ფუნქციონალური ენის მაგალითზე: Haskell–ისა და Lisp–ის საშუალებით, და მოვახდენთ მათ ურთიერთშედარებას.

მიმაგრებული ფაილები:

The Generalized Forms for Processing the Lists in Haskell [en]
განზოგადოებული ფორმები სიების დამუშავების ფუნქციებისთვის ენა Haskell–ში [ka]