Haskell 25 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Новая страница: «== Промышленное программирование на Haskell == Весенний курс по выбору для студентов 4 курса…»)
 
(→‎Setting up)
Строка 25: Строка 25:
 
== Setting up ==
 
== Setting up ==
  
−
<ol>
+
# Установка компилятора, системы сборки, языкового сервера
−
  <li> Установка компилятора, системы сборки, языкового сервера
+
#* (Рекомендованный способ.) Через [https://www.haskell.org/ghcup/ ghcup]:
−
  <ul>
+
#*# Скачайте [https://downloads.haskell.org/~ghcup/ бинарный файл] сами либо введите одну любимую команду:
−
    <li> Установите [https://www.haskell.org/ghcup/ ghcup] &mdash; скачайте [https://downloads.haskell.org/~ghcup/ бинарный файл] сами
+
#*#* '''MacOS''': <pre>brew install ghcup</pre>
−
    либо введите одну любимую команду:
+
#*#* '''Arch'''-based distros: <pre>yay -S ghcup-hs-bin</pre>
−
    <ul>
+
#*#* '''WSL2''', '''MacOS''' >= 10.13, '''Linux''': <pre>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</pre>
−
      <li> '''MacOS''': <pre>brew install ghcup</pre></li>
+
#*#* '''Windows''': Команда доступна по [https://www.haskell.org/ghcup/install/#installation ссылке].
−
      <li> '''Arch'''-based distros: <pre>yay -S ghcup-hs-bin</pre></li>
+
#*# Убедитесь, что путь до места установки <code>ghcup</code> содержится в <code>$PATH</code> &mdash; запустите <code>ghcup list</code>.
−
      <li> '''WSL2''', '''MacOS''' >= 10.13, '''Linux''': <pre>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</pre></li>
+
#*# Установите '''<code style="background-color:black;color:rgb(0,255,0)">recommended</code>''' версии компилятора, системы сборки и языкового сервера:<pre>
−
      <li> '''Windows''': Команда доступна по [https://www.haskell.org/ghcup/install/#installation ссылке]</li>
+
−
    </ul>
+
−
    </li>
+
−
  <li>Убедитесь, что путь до места установки <code>ghcup</code> содержится в <code>$PATH</code> &mdash; запустите <code>ghcup list</code>.</li>
+
−
  <li>
+
−
    Установите '''<code style="background-color:black;color:rgb(0,255,0)">recommended</code>''' версии компилятора, системы сборки и языкового сервера:<pre>
+
 
ghcup install ghc recommended
 
ghcup install ghc recommended
 
ghcup install stack recommended
 
ghcup install stack recommended
 
ghcup install hls recommended</pre>
 
ghcup install hls recommended</pre>
−
  </li>
+
#*# Убедитесь, что путь <code>~/.ghcup/bin</code> содержится в <code>$PATH</code>. При необходимости добавьте этот путь сами.
−
  <li>Убедитесь, что путь <code>~/.ghcup/bin</code> содержится в <code>$PATH</code>. При необходимости добавьте этот путь сами.</li>
+
#*# Создайте символические ссылки на установленные версии программ:<pre>
−
  <li>
+
−
    Создайте символические ссылки на установленные версии программ:<pre>
+
 
ghcup set ghc recommended
 
ghcup set ghc recommended
 
ghcup set stack recommended
 
ghcup set stack recommended
 
ghcup set hls recommended</pre>
 
ghcup set hls recommended</pre>
−
  </li>
+
#* (Если предыдущий вариант не сработал) '''Windows''': <pre>choco install haskell-language-server haskell-stack && refreshenv</pre>
−
  </li>
+
# Настройте LSP client в своей любимой среде разработки:
−
  <li> (Если предыдущий вариант не сработал) '''Windows''': <pre>choco install haskell-language-server haskell-stack && refreshenv</pre></li>
+
#* Для '''VS Code''' есть [https://github.com/haskell/vscode-haskell плагин]. Настройка: TBD
−
  </ul>
+
#* В '''NeoVim''' настройте [https://github.com/neovim/nvim-lspconfig nvim-lspconfig], он знает про HLS.
−
  </li>
+
#* Инструкцию для других сред можно найти [https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-editor здесь].
−
  <li>
+
# (Опционально.) Установите [https://hoogle.haskell.org Hoogle] локально:
−
    Настройте LSP client в своей любимой среде разработки:
+
## <code>cabal install hoogle</code>
−
    <ul>
+
## Допишите в файл <code>~/.ghci</code> следующее:<pre>
−
      <li>Для '''VS Code''' есть [https://github.com/haskell/vscode-haskell плагин]. Настройка: TBD</li>
+
−
      <li>В '''NeoVim''' настройте [https://github.com/neovim/nvim-lspconfig nvim-lspconfig], он знает про HLS.</li>
+
−
      <li>Инструкцию для других сред можно найти [https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-editor здесь].</li>
+
−
    </ul>
+
−
  </li>
+
−
  <li>Опционально &mdash; установите [https://hoogle.haskell.org Hoogle] локально:
+
−
    <ol>
+
−
      <li><code>cabal install hoogle</code></li>
+
−
      <li>
+
−
        Допишите в файл <code>~/.ghci</code> следующее:<pre>
+
 
:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
 
:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
 
:def hdoc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""</pre>
 
:def hdoc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""</pre>
−
      </li>
+
## Теперь можно пользоваться Hoogle прямо из ghci с помощью команд <code>:hoogle</code> и <code>:hdoc</code>
−
      <li>Теперь можно пользоваться Hoogle прямо из ghci с помощью команд <code>:hoogle</code> и <code>:hdoc</code></li>
+
−
    </ol>
+
−
  </li>
+
−
</ol>
+
  
 
== План курса ==
 
== План курса ==

Версия 20:11, 16 января 2025

Промышленное программирование на Haskell

Весенний курс по выбору для студентов 4 курса ФКН ВШЭ.

Команда курса

Лектор: Павел Соколов aka @TurtlePU.

Семинарист: Илья Костюченко aka @ilyakooo0.

Ассистенты: Ислам Талипов aka @lishy2 и Глеб Смирнов aka @liferooter.

Ссылки

Канал в телеграм: https://t.me/+Is4I3YPaBWk3NjIy

Чат в телеграм: https://t.me/+lcim6Ukmojc5ZGUy

Материалы курса: https://github.com/Haskell-HSE

Записи лекций и семинаров: TBD

Таблица с оценками: TBD

Setting up

  1. Установка компилятора, системы сборки, языкового сервера
    • (Рекомендованный способ.) Через ghcup:
      1. Скачайте бинарный файл сами либо введите одну любимую команду:
        • MacOS: 
          brew install ghcup
        • Arch-based distros: 
          yay -S ghcup-hs-bin
        • WSL2, MacOS >= 10.13, Linux: 
          curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
        • Windows: Команда доступна по ссылке.
      2. Убедитесь, что путь до места установки ghcup содержится в $PATH — запустите ghcup list.
      3. Установите recommended версии компилятора, системы сборки и языкового сервера:
        4. 

      

      • 

    

    2. 


ghcup install ghc recommended
ghcup install stack recommended
ghcup install hls recommended

    

    1. 

      • 

      1.  Убедитесь, что путь ~/.ghcup/bin содержится в $PATH. При необходимости добавьте этот путь сами.

        2. 

      2.  Создайте символические ссылки на установленные версии программ:
        3. 

      

      • 

    

    2. 


ghcup set ghc recommended
ghcup set stack recommended
ghcup set hls recommended

    

    1. 

    •  (Если предыдущий вариант не сработал) Windows: 
      choco install haskell-language-server haskell-stack && refreshenv
      

      • 

    

    2. 

  2.  Настройте LSP client в своей любимой среде разработки:

      

    •  Для VS Code есть плагин. Настройка: TBD

      • 

    •  В NeoVim настройте nvim-lspconfig, он знает про HLS.

      • 

    •  Инструкцию для других сред можно найти здесь.

      • 

    

    3. 

  3.  (Опционально.) Установите Hoogle локально:

      

    1.  cabal install hoogle

      2. 

    2.  Допишите в файл ~/.ghci следующее:
      3. 

    

    4. 


:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
:def hdoc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""

    

    1. 

    1.  Теперь можно пользоваться Hoogle прямо из ghci с помощью команд :hoogle и :hdoc

      2. 

    

    2. 



План курса


Лекции, семинары


    

  •  Лекция I (14 янв). Где и почему используют Haskell? Синтаксис. Ленивые вычисления. Конспект. [ Запись].

    • 

  •  Семинар I (15 янв). ???. [ Материалы]. [ Запись].

    • 

  •  Лекция II (21 янв). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар II (22 янв). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция III (28 янв). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар III (29 янв). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция IV (04 фев). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар IV (05 фев). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция V (11 фев). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар V (12 фев). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция VI (18 фев). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар VI (19 фев). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция VII (25 фев). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар VII (26 фев). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция VIII (04 мар). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар VIII (05 мар). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция IX (11 мар). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар IX (12 мар). TBA. [ Материалы]. [ Запись].

    • 

  •  Лекция X (18 мар). TBA. [ Конспект]. [ Запись].

    • 

  •  Семинар X (19 мар). TBA. [ Материалы]. [ Запись].

    • 



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


Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.



    

  •  [ Домашнее задание 1]. Дедлайн TBA.

    • 

  •  [ Домашнее задание 2]. Дедлайн TBA.

    • 

  •  [ Домашнее задание 3]. Дедлайн TBA.

    • 

  •  [ Домашнее задание 4]. Дедлайн TBA.

    • 



Проект


В качестве проекта предлагается доработать одно из домашних заданий следующим образом:



    

  • Расширить функционал приложения, выполненного в домашнем задании (масштаб работ нужно обсудить с лектором либо с семинаристом) (4 балла из 10);
    • 

  • Покрыть код тестами (2 балла из 10);
    • 

  • Не использовать unsafe, если это не было обговорено заранее (2 балла из 10);
    • 

  • Проанализировать производительность приложения (1 балл из 10; 2 балла, если в проекте разрешён unsafe);
    • 

  • Поддерживать чистоту кода (1 балл из 10; 2 балла, если в проекте разрешён unsafe):
  
      
  
    • предпочитать использовать готовые комбинаторы из стандартной библиотеки вместо явного паттерн-матчинга стандартных типов данных;
      • 
  
    • предпочитать point-free стиль, где это разумно;
      • 
  
    • предпочитать пользоваться подсказками HLint;
      • 
  
    • код должен быть консистентно отформатирован, неиспользованных импортов быть не должно;
      • 
  
    • если в проекте разрешён unsafe, он должен быть отделён от остального приложения какой-то безопасной абстракцией.
      • 
  
    

    • 



Возможны групповые проекты. Также возможны инициативные темы; они обсуждаются индивидуально, но разбалловка остаётся такой же.

Проект должен быть оформлен в приватном репозитории на github. Оценка выставляется за проект в том состоянии, в котором находилась default ветка репозитория (скорее всего main либо master) в полночь перед защитой. Либо можно оформить сдачу в виде пулл-реквеста.

Защита проекта проводится во время весенней сессии.



Оценивание


Итог = Округление(min(10, 0.64 * ДЗ + 0.36 * ПР)),

где ДЗ – средняя оценка за все домашние задания, ПР – оценка за проектную работу.

Округление арифметическое.



Дополнительная литература


    

  •  Will Kurt – Get Programming with Haskell

    • 

  •  Bryan O'Sullivan, Don Stewart, John Goerzen – Real World Haskell

    • 

  •  Alexander Granin – Functional Design and Architecture

    • 

  •  Sandy Maguire – Algebra-Driven Design

    • 





								

				Источник — «http://wiki.cs.hse.ru/index.php?title=Haskell_25&oldid=89121»