Haskel Kerri — Amerikalı riyaziyyatçı və kompüter alimidir, proqramlaşdırma dillərinin nəzəriyyəsinin əsasını qoyan şəxs olaraq tanınır. O, xüsusilə funksional proqramlaşdırmanın təməlini qoyan və "Curry" adını daşıyan nəzəriyyələrə töhfə vermişdir. Haskel Kerri-nin işi, müasir proqramlaşdırma dillərinin və kompüter elmlərinin inkişafına böyük təsir göstərmişdir. Erkən həyat və təhsil Haskel Kerri 1900-cü ilin sentyabrında ABŞ-ın Pensilvaniya ştatının Mill Hall şəhərində doğulub. O, riyaziyyat üzrə təhsilini Pensilvaniya Universitetində almış və burada məntiq və funksional proqramlaşdırma sahəsində maraq göstərmişdir. Karyera Kerri, riyaziyyat və məntiq üzrə işləyərkən, xüsusilə funksional proqramlaşdırma sahəsində mühüm tədqiqatlar aparmışdır. O, "Curry-Howard isomorphism" adlanan nəzəriyyə ilə tanınır, bu nəzəriyyə məntiq və funksional proqramlaşdırma arasında əlaqə qurur. O, həmçinin funksiya kalkulyusu və tərtib edilmiş riyaziyyat sistemləri üzrə işlər aparmışdır. Kerrinin bu sahələrdəki tədqiqatları, müasir kompüter proqramlaşdırma dillərinin inkişafına böyük təsir etmişdir. O, funksional proqramlaşdırmanın nəzəriyyə və praktik tərəflərini birləşdirərək bu sahəni yeni zirvələrə daşıyıb. Şəxsi həyat Haskel Kerri, həmçinin universitetlərdə tədris edərək gənc alımlara və tədqiqatçılara bu sahənin əhəmiyyətini izah etmişdir. Onun işləri, proqramlaşdırma elminin əsaslarını qoymuş və bir çox müasir kompüter elmləri tədqiqatları üçün bir bünövrə təşkil etmişdir.
https://iep.utm.edu/haskell-brooks-curry/
https://www.britannica.com/biography/Haskell-Brooks-Curry
https://mathshistory.st-andrews.ac.uk/Biographies/Curry/
https://wiki.haskell.org/Haskell_Brooks_Curry
https://archives.libraries.psu.edu/repositories/3/resources/4065
https://basvanfraassensblog.home.blog/2020/08/28/homage-to-haskell-b-curry/
https://en.wikipedia.org/wiki/Haskell_Curry
Tarix : 12 mart 2025
Əksi qeyd olunmayıbsa, bu məzmun CC BY-SA 4.0 çərçivəsində yayımlanır.
