Saint-Petersburg State University, Programming Technologies, 2023-2027

This repository contains tasks for the educational practice in programming.

Fourth semester includes the basics of functional programming in F# language.

Requirements

• .NET SDK version: 9.0.103
• .NET runtime version: 9.0.2

Repository structure

Tasks
├── Introduction : intro into F#, simple tail-recursive functions
│
├── Continuation : algebraic data types, sequences, partial application and CPS
│
├── LambdaCalculus : lambda term reduction in TeX
│
├── Generics : F# type system, point-free programming
│
├── PhoneBook : command-line phone book implemented in functional style
│
├── LocalNetwork : local network emulation in F# using object-oriented style
│
├── ComputationExpressions : monads in F#
│
├── MiniCrawler : asynchronous web-page hyperlink traversal
│
├── Lazy : single-thread, multi-thread and lock-free lazy evaluation
│
└── LambdaInterpreter : command-line lambda interpreter using normal order reduction