courses:functional_programming:materials
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
courses:functional_programming:materials [2018/09/15 17:21] vnikolenko |
courses:functional_programming:materials [2022/12/10 09:08] (current) |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | ||
| * [[http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=18231|ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)]] | * [[http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=18231|ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)]] | ||
| + | * [[https://www.youtube.com/playlist?list=PL6ZCZFyULOwcrPT_Dui26bZqaIX023zde|МИАН. Спецкурс «Лямбда-исчисление или вычислительная теория доказательств». Кузнецов С.Л.]] | ||
| ===== Haskell ===== | ===== Haskell ===== | ||
| === Литература === | === Литература === | ||
| Line 16: | Line 17: | ||
| * [[https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749|Обзор свежих англоязычных книг по Haskell. Брагилевский В.]] | * [[https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749|Обзор свежих англоязычных книг по Haskell. Брагилевский В.]] | ||
| * [[https://github.com/ruHaskell/ruhaskell/wiki/Translation|Перевод терминов, имён и названий]] | * [[https://github.com/ruHaskell/ruhaskell/wiki/Translation|Перевод терминов, имён и названий]] | ||
| + | * [[https://wiki.haskell.org/Typeclassopedia | Typeclassopedia (немного устарела)]] | ||
| + | * {{ :courses:functional_programming:Type_Classes_in_Haskell_Tom_Schrijvers.pdf| Презентация о классах типов в Haskell и внутренней реализации через словари}} | ||
| + | * {{ :courses:functional_programming:fold_Hutton.pdf| A tutorial on the universality and expressiveness of fold (Hutton)}} | ||
| + | * [[https://www.schoolofhaskell.com/user/mgsloan/monoids-tour| Monoids Tour (немного устарела, но объяснение доступное с примерами)]] | ||
| + | * {{ :courses:functional_programming:theory_and_practice_of_fusion.pdf| Theory and Practice of Fusion (Ralf Hinze, Thomas Harper, and Daniel W. H. James)}} | ||
| + | * [[http://fprog.ru/2009/issue1/dan-piponi-haskell-monoids-and-their-uses/ | Моноиды в Haskell и их использование (немного устарела, но объяснение доступное с примерами) ]] | ||
| + | * [[https://wiki.haskell.org/Monoid | Monoid (Haskell wiki)]] | ||
| + | * [[https://eli.thegreenplace.net/2018/haskell-functions-as-functors-applicatives-and-monads|Haskell functions as functors, applicatives and monads]] | ||
| + | * [[https://habr.com/post/183150|Функторы, аппликативные функторы и монады в картинках]] | ||
| === Видео === | === Видео === | ||
| * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | * [[https://www.youtube.com/watch?v=7BPQ-gpXKt4&list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr|CSCenter. Функциональное программирование. Москвин Д.Н.]] | ||
| * [[https://stepik.org/course/75|Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.]] | * [[https://stepik.org/course/75|Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.]] | ||
| * [[https://stepik.org/course/693|Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.]] | * [[https://stepik.org/course/693|Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.]] | ||
| + | === Код с пар === | ||
| + | * {{ :courses:functional_programming:2018_haskell_2_datatypes.zip |Типы данных, ленивость, списки}} | ||
| + | * {{ :courses:functional_programming:2018_haskell_3_typeClasses.zip|Классы типов}} | ||
| + | * {{ :courses:functional_programming:2018_haskell_4_folds.zip|Свертки, моноиды}} | ||
| + | * {{ :courses:functional_programming:2018_haskell_5_functors.zip|Функторы}} | ||
| ===== Scala, Java, Python... ===== | ===== Scala, Java, Python... ===== | ||
| * [[https://www.coursera.org/learn/progfun1|Coursera. Functional Programming Principles in Scala. Odersky M.]] | * [[https://www.coursera.org/learn/progfun1|Coursera. Functional Programming Principles in Scala. Odersky M.]] | ||
| Line 34: | Line 48: | ||
| * [[https://en.wikibooks.org/wiki/LaTeX|Wiki-книга о LaTeX c кучей примеров(англ.)]] | * [[https://en.wikibooks.org/wiki/LaTeX|Wiki-книга о LaTeX c кучей примеров(англ.)]] | ||
| * [[https://iq.hse.ru/latex/|Видео курса по LaTeX от ВШЭ.]] | * [[https://iq.hse.ru/latex/|Видео курса по LaTeX от ВШЭ.]] | ||
| + | * [[https://cremeronline.com/LaTeX/minimaltikz.pdf|A very minimal introduction to TikZ]] | ||
| ===== Для повышения уровня математической культуры и общего развития ===== | ===== Для повышения уровня математической культуры и общего развития ===== | ||
| > Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе) | > Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе) | ||
| Line 42: | Line 57: | ||
| * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.]] | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.]] | ||
| * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.]] | * [[https://compsciclub.ru/courses/codes/2017-autumn/classes/|CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.]] | ||
| + | * [[https://www.youtube.com/watch?v=p2r0OiQlhg0&list=PLGKCrWr6FQjBbIyfEFVwZKI0CSBktRXsx&t=0s&index=30|Математика для всех. Алексей Савватеев. Лекция 4.2. Теорема Брауэра]] | ||
| + | * [[https://www.youtube.com/watch?v=cVbfjKqRR5A|Неподвижные точки(Vsauce)]] | ||
| | | ||
| | | ||
courses/functional_programming/materials.1537032090.txt.gz · Last modified: 2022/12/10 09:08 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
