Я могу попробовать рассказать что-нибудь про теоретический бэкграунд pattern matching-а
- Например, почему сопоставление любой сложности можно переписать вообще без case/match и т.д.
- Про паттерн-комбинаторы немножко, но вряд ли вам это понравится
- Про то какие фишки у сопоставления есть в разных языках: active patterns в F#, pattern synonyms в Haskell, extractors в Scala, и почему вообще они появились (там есть теоретические обоснования, нежели "ну давайте сделаем так, красиво будет")
Но мне почему-то кажется что большинство это все и так знает с:
Еще могу про то, какие там оптимизации на низком уровне производятся, но это language specific и будет рассказано довольно поверхностно, ибо большего понять за один рассказ все равно не получится
Суперски звучит! Обязательно приду на доклад. У меня есть забавная история как перестановкой двух строчек в match-выражении можно получить линейную сложность вместо квадратичной)
