File:GorodnyayaKondratyev.pdf

Summary

The talk presents one scheme of teaching functional programming, which has developed in many years of teaching experience on the basis of Mechanics and Mathematics Faculty of Novosibirsk State University. The issues of mastering functional programming are considered as a methodology for solving new and research problems of applied and system programming. It turned out to be useful for use the results of analysis and comparison of programming paradigms as distinguishing features of functional programming. Specifically, these are the priorities of decision-making at different stages of teaching programming and debugging programs, including the analysis of problem statements and options for their solutions. The current trend in the use of functional programming for the organization of parallel computing and functional modeling in solving applied programming problems is taken into account.

In general, the learning scheme is based on laboratory practice, familiarization with a number of functional programming languages and the principles formulation of the functional programming paradigm that distinguish it from other paradigms. As a result, the learning process becomes clearer, which gives structure to the system of learning tasks. Consequences are derived from these principles, showing the methods of successful functional programming application in solving complex problems, such as organizing parallel computing and improving the performance of programs created within the framework of functional programming paradigm. Attention is paid to the complexity of creating programs for solving new problems on the example of parallel computing. The requirements for an educational parallel computing language that supports the metaparadigm of functional programming are presented. For educational and new research problems, the correctness of solutions is more important than the effectiveness of the programs obtained. It is this choice of priorities that allows functional programming to be considered as a general technique for preparing functional models both in the educational process and in the production of software tools. This suggests that functional programming serves as a training studio for programmers.