Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Episode 47: Combinatory Logic!
Manage episode 304678865 series 2827294
In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is!
Date Recorded: 2021-10-03
Date Released: 2021-10-15
- Functional vs Array Programming Talk
- ArrayCast: Why Tacit?
- The Wolfram S Combinator Challenge
- On the building blocks of mathematical logic - 1924, Schönfinkel
- An Analysis of Logical Substitution, 1929, Curry
- Combinatory logic. Volume I, 1958, Curry and Feys
- SKI Combinator Calculus
- Higher-order function
- C++20 std::identity
- J language isPalindrome tweet
- C++ std::reverse
- C++ std::equal
- J |. (reverse)
- J -: (match)
- Haskell . (Bluebird)
- J Essays/Hook Conjunction?
- APL/J Trains
- Haskell intersect
- Haskell null
- Haskell Data.Composition
- Haskell .: (Blackbird)
- C++20 std::ranges::sort
- Haskell on
- C++ std::mismatch
- C++ std::accumulate
- C++ std::transform
- C++ std::min_element
- C++ std::max_element
- C++ std::minmax_element
- John Backus’s FP
- C++North Conference
Intro Song Info
Miss You by Sarah Jansen https://soundcloud.com/sarahjansenmusic
Creative Commons — Attribution 3.0 Unported — CC BY 3.0
Free Download / Stream: http://bit.ly/l-miss-you
Music promoted by Audio Library https://youtu.be/iYYxnasvfx8
179 tập
Manage episode 304678865 series 2827294
In this episode, Conor waxes rhapsodic about how beautiful combinatory logic is!
Date Recorded: 2021-10-03
Date Released: 2021-10-15
- Functional vs Array Programming Talk
- ArrayCast: Why Tacit?
- The Wolfram S Combinator Challenge
- On the building blocks of mathematical logic - 1924, Schönfinkel
- An Analysis of Logical Substitution, 1929, Curry
- Combinatory logic. Volume I, 1958, Curry and Feys
- SKI Combinator Calculus
- Higher-order function
- C++20 std::identity
- J language isPalindrome tweet
- C++ std::reverse
- C++ std::equal
- J |. (reverse)
- J -: (match)
- Haskell . (Bluebird)
- J Essays/Hook Conjunction?
- APL/J Trains
- Haskell intersect
- Haskell null
- Haskell Data.Composition
- Haskell .: (Blackbird)
- C++20 std::ranges::sort
- Haskell on
- C++ std::mismatch
- C++ std::accumulate
- C++ std::transform
- C++ std::min_element
- C++ std::max_element
- C++ std::minmax_element
- John Backus’s FP
- C++North Conference
Intro Song Info
Miss You by Sarah Jansen https://soundcloud.com/sarahjansenmusic
Creative Commons — Attribution 3.0 Unported — CC BY 3.0
Free Download / Stream: http://bit.ly/l-miss-you
Music promoted by Audio Library https://youtu.be/iYYxnasvfx8
179 tập
Tất cả các tập
×Chào mừng bạn đến với Player FM!
Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.