_:HtIEePhC1168 "Functional_programming". _:HtIEePhC1168 . _:HtIEePhC1177 "functional_programming". _:HtIEePhC1177 . _:HtIEePhC1170 "Functional_language". _:HtIEePhC1170 . _:HtIEePhC1174 "Functional_Programming". _:HtIEePhC1174 . _:HtIEePhC1173 "Functional_programming_languages". _:HtIEePhC1173 . _:HtIEePhC1175 "Functionalprogramming". _:HtIEePhC1175 . _:HtIEePhC1169 "Functional_programming_language". _:HtIEePhC1169 . _:HtIEePhC1176 "Functional_$0028programming$0029". _:HtIEePhC1176 . _:HtIEePhC1172 "Functional_languages". _:HtIEePhC1172 . . . . . . . . "Source: Freebase - The World's database". _:HtIEePhC1168. _:HtIEePhC1177. _:HtIEePhC1170. _:HtIEePhC1174. _:HtIEePhC1173. _:HtIEePhC1175. _:HtIEePhC1169. _:HtIEePhC1176. _:HtIEePhC1172. _:HtIEePhC1167. _:HtIEePhC1171. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "\uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D"@ko. "Funktionell programmering"@sv. "\u0424\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435"@ru. "\u95A2\u6570\u578B\u8A00\u8A9E"@ja. "Programaci\u00F3n funcional"@es. "Funkcion\u00E1ln\u00ED programov\u00E1n\u00ED"@cs. "Functional programming"@en. "Programmation fonctionnelle"@fr. "Programowanie funkcyjne"@pl. "Funktionaalinen ohjelmointikieli"@fi. "Funktionale Programmierung"@de. "\u0424\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F"@uk. "Programare func\u0163ional\u0103"@ro. "Programmazione funzionale"@it. "Functionele programmeertaal"@nl. "\u51FD\u6578\u5F0F\u7DE8\u7A0B"@zh. "Programa\u00E7\u00E3o funcional"@pt. "\u05EA\u05DB\u05E0\u05D5\u05EA \u05E4\u05D5\u05E0\u05E7\u05E6\u05D9\u05D5\u05E0\u05DC\u05D9"@he. "Funkcion\u00E1lne programovanie"@sk. "In many ways, the entire discipline of functional programming is an outcome of Church's lambda calculus and the Curry-Howard correspondence between proofs and programs. Church and Curry lived to see their abstract theories have an impact on practical programming languages. They were guests of honor at the 1982 conference on Lisp and Functional Programming, both highly bemused by what had been done with their work."@en. . . . . . "Haskell.Org"@en. . "http://haskell.org". _:HtIEePhC1167 "10933". _:HtIEePhC1167 . _:HtIEePhC1171 "Functional_program". _:HtIEePhC1171 .