Домашние задания, контрольные работы, весна 2015, 244 группа

Домашние задания:

В табличке:
- - задачу не получал или не смотрел
0 - задача не зачтена
0.5 - в целом правильно, но надо кое-что поправить
1 - задача зачтена
зелёным выделены работы, зачтённые полностью

Контрольные работы:

В табличке:
- - задачу не получал
0 - задача не зачтена
1 - задача зачтена
зелёным выделены задачи, которые не надо переписывать

Курсовые работы

Условия задач:

1. 13.02.2015

Лямбда-исчисление для самых маленьких
Презентация с пары

1. Посчитать факториал
2. Посчитать числа Фибоначчи

2. 20.02.2015

Презентация с пары

1. Реализовать функцию обращения списка
2. Реализовать функцию, которая формирует список из 5 последовательных степеней двойки
3. Реализовать функцию, которая вычисляет произведение цифр данного числа
4. Реализовать функцию, которая выдает первую позицию вхождения заданного числа в список
5. Реализовать функцию, проверяющую, является ли строка палиндромом

3. 27.02.2015

Презентация с пары

1. Вывести позицию в списке, на которой сумма двух соседних элементов максимальна. Например, для [1, 5, 6, 2] функция должна вернуть значение 2.
2. Проверить, что все элементы списка различны
3. Реализовать три варианта функции, подсчитывающей количество четных чисел в списке (с использованием стандартных функций map, filter, fold). Использование рекурсии не допускается.
4. Посчитать высоту дерева
5. Посчитать значение дерева разбора арифметического выражения, заданного через вложенные discriminated union-ы
6. Реализовать функцию, генерирующую бесконечную последовательность простых чисел.

4. 06.03.2015

Презентация с пары
Хорошая статья про то, что такое типы (на английском)
Статья про то, почему Value restriction (тоже на английском)

1. Реализовать функцию, которая по произвольной строке проверяет корректность скобочной последовательности в этой строке. Скобки бывают трёх видов.
2. Записать в point-free стиле func x l = List.map (fun y -> y * x) l. Написать не только ответ, но и преобразования, которыми он был получен.
3. Написать программу - телефонный справочник. Она должна уметь хранить имена и номера телефонов, в интерактивном режиме осуществлять следующие операции:
   0 - выйти
   1 - добавить запись (имя и телефон)
   2 - найти телефон по имени
   3 - найти имя по телефону
   4 - сохранить текущие данные в файл
   5 - считать данные из файла
4. Дано выражение, содержащее переменную, константы, арифметические операции. Посчитать производную этого выражения по этой переменной, провести в полученном выражении для производной возможные упрощения (например, 1*x = x). Выражение можно задать через вложенные discriminated union-ы
5. Реализовать функцию, применяющую функцию к каждому элементу двоичного дерева и возвращающую новое двоичное дерево, каждый элемент которого --- результат применения функции к соответствующему элементу исходного дерева (map для деревьев).

5. 13.03.2015

Презентация с пары

1. Переписать на F# задачу про моделирование локальной сети прошлого семестра, в возможно более F#-овом стиле. Мутабельное состояние в этой задаче использовать можно. Оригинальное условие:
   Смоделировать работу локальной сети:
   a) в сети есть несколько компьютеров, связанных друг с другом (каким образом - можно задавать, например, матрицей смежности);
   b) на каждом компе стоит ОС (Windows, Linux, etc...);
   c) в сети гуляют вирусы, так что для каждой машины есть ненулевая вероятность заразиться (вероятность зависит от типа ОС), заражаются компьютеры, непосредственно соединённые с заражёнными;
   d) заражения (и проверки, заразился компьютер или нет) происходят дискретно - по ходам.
   Требуется периодически выводить состояние сети.
2. Переписать на F# задачу о двоичном дереве поиска с итератором. Оригинальное условие:
   Реализовать двоичное дерево поиска и итератор для его обхода

6. 27.03.2015

Презентация с пары
Конспект пары
Презентация про паттерны программирования на F#, в том числе и монады

1. Реализовать Workflow, выполняющий математические вычисления с заданной (как аргумент Builder-а) точностью. Например,

       rounding 3 {
           let! a = 2.0 / 12.0
           let! b = 3.5
           return a / b
       }
   

   должно возвращать 0.048

7. 10.04.2015

Презентация с пары

1. Написать функцию, в 100 потоков складывающую массив из миллиона единиц, чтобы каждый поток складывал свой кусок массива, получить странные результаты. Мутабельными переменными и ref-ами пользоваться можно.

8. 17.04.2015

Презентация с пары
Конспект с пары

1. Написать функцию, принимающую адрес веб-страницы, скачивающую все веб-страницы, на которые есть ссылки с указанной, и печатающую информацию о размере каждой в формате "адрес страницы --- число символов". Ссылки нужно обрабатывать только заданные в форме <a href="http://...">. Для поиска ссылок на странице могут быть полезны регулярные выражения (класс System.Text.RegularExpressions.Regex). Качать страницы надо параллельно.

Доклады

1. Юнит-тестирование в F# --- Галина Сазонова
2. Единицы измерения в F# --- Наталья Дымникова (презентация)
3. Ленивые вычисления в F# --- Полина Тарасова
4. Active patterns --- Юлия Храмышкина (презентация)
5. Практическое применение F# --- Станислав Приходько (презентация)
6. WebSharper --- Евгений Дудкин

9. 08.05.2015

Презентация с пары
Конспект с пары