Philosophers of mathematics

Haskell Curry

Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic. While the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science. (Wikipedia).

Video thumbnail

The BuShou of HanZi :田

A brief description of the BuShou of 田.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :耳

A brief description of the BuShou of 耳.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :囗

A brief description of the BuShou of 囗.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :禾

A brief description of the BuShou of 禾.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :宀

A brief description of the BuShou of 宀.

From playlist The BuShou of HanZi

Video thumbnail

C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 3 of 13

We've kicked off C9 Lectures with a journey into the world of Functional Programming with functional language purist and high priest of the lambda calculus, Dr. Erik Meijer (you can thank Erik for many of the functional constructs that have shown up in languages like C# and VB.NET. When yo

From playlist Haskell - Functional Programming Fundamentals (Dr. Erik Meijer )

Video thumbnail

PROG2006 - Haskell: simple I/O, word count, currying

PROG2006 Advanced Programming Haskell * simple I/O, `putStr`, `getLine`, `getContents`, `show` * word count * currying (Haskell Curry)

From playlist PROG2006 - Programming

Video thumbnail

Fun with Music and Programming by Connor Harris and Stephen Krewson

Students who want to do final projects involving music have a wealth of free, open-source resources available to them but may not know where to look. This seminar will serve as a quick introduction to libraries and programs for several common tasks, including sound processing and analysis,

From playlist CS50 Seminars 2015

Video thumbnail

RubyConf 2016 - Ruby versus the Titans of FP by Cassandra Cruz

RubyConf 2016 - Ruby versus the Titans of FP by Cassandra Cruz Clojure, Haskell and Javascript reign as the dominant functional languages of our era. But surely anything they can do, Ruby can do better? And what is it that they actually do? Come learn about three core concepts of function

From playlist RubyConf 2016

Video thumbnail

The BuShou of HanZi :目

A brief description of the BuShou of 目.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :彳

A brief description of the BuShou of 彳.

From playlist The BuShou of HanZi

Video thumbnail

Value Your Types!

You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each string is at least eight characters long”? Welcome to the wor

From playlist Software Development

Video thumbnail

The BuShou of HanZi :手

A brief description of the BuShou of 手.

From playlist The BuShou of HanZi

Video thumbnail

Haskell in 100 Seconds

Haskell is a purely functional programming language based on lambda calculus. It uses immutable values and expressions to produce terse code that is suitable for general-purpose software applications. #programming #compsci #100SecondsOfCode 🔗 Resources Haskell Docs https://www.haskell.

From playlist 100 Seconds of Code

Video thumbnail

!!Con West 2019 - Eric Weinstein: Value Your Types!

Presented at !!Con West 2019: http://bangbangcon.com/west You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each st

From playlist !!Con West 2019

Video thumbnail

GoRuCo 2013 - Functional Programming and Ruby by Pat Shaughnessy

While Ruby is object oriented and imperative, it does have some features that allow for functional programming. In this talk we'll compare Haskell, a functional programming language, with Ruby while exploring these common functional patterns: higher order functions, lazy evaluation, and me

From playlist GoRuCo 2013

Video thumbnail

PROG2006 Advanced Programming: Lab 6

PROG2006 Advanced Programming Lab 6 refresher: using monadic bind and sequence handling mouse events and World state in SDL2 starting error handling with Maybe

From playlist PROG2006 - Programming

Video thumbnail

The BuShou of HanZi :力

A brief description of the BuShou of 力.

From playlist The BuShou of HanZi

Related pages

Differential equation | Formalism (philosophy of mathematics) | Alonzo Church | Currying | Lambda calculus | David Hilbert | Curry's paradox | Paul Bernays | BrookGPU | Curry–Howard correspondence | Mathematics | Stephen Cole Kleene | Principia Mathematica | Mathematical logic | Intuitionistic logic | Formal system | Bertrand Russell | Curry (programming language) | Kleene–Rosser paradox | Alfred North Whitehead | Combinatory logic