Відео доповіді «Функціональний C#»

26 липня у Харкові пройшов uDev Tech Meetup #10 «Функціональний C#» з Джошуа Лайтом. Джошуа розповів про історію функціонального програмування, машину Т’юринга та лямбда-числення. А також про те, як формальне рішення знаменитої Задачі розв’язності вплинуло на функціональне мислення, парадигми і те, якими вони вийшли. Потім усе це він відобразив на імперативній площині C#, з його класами та об’єктами.

Що було в доповіді

• Задача розв’язності. Давид Гільберт, машина Т’юринга та лямбда-числення Черча.
• Функціональні парадигми.
• Який код пише функціональний C#-мислитель?
• Діалектичний епілог.

Більше відео з зустрічей uDev – на нашому Youtube-каналі.

Дивіться фотозвіт з uDev Tech Meetup #10 та слідкуйте за анонсами нових подій у Facebook.