Function Application

Article URL: http://www.modernescpp.com/index.php/partial-function-application Comments URL: https://news.ycombinator.com/item?id=34372413 Points: 1 # Comments: 0

Article URL: http://sigusr2.net/metacircular-static-types.html Comments URL: https://news.ycombinator.com/item?id=32207717 Points: 1 # Comments: 0

Article URL: https://leontrolski.github.io/lambda-calculus.html Comments URL: https://news.ycombinator.com/item?id=30626568 Points: 1 # Comments: 0

Article URL: http://modernescpp.com/index.php/partial-function-application Comments URL: https://news.ycombinator.com/item?id=34308589 Points: 1 # Comments: 0

Description of the Unlambda Programming Language

Article URL: https://hbr.github.io/Lambda-Calculus/computability/text.html Comments URL: https://news.ycombinator.com/item?id=36157608 Points: 1 # Comments: 0

Bitwise arithmetic is not exotic to Haskell; it works just like any other language.

Article URL: https://oktagonia.github.io/blog/ternary/ternary.html Comments URL: https://news.ycombinator.com/item?id=35127347 Points: 1 # Comments: 0

An opinionated list of resources for learning Haskell - GitHub - soupi/haskell-study-plan: An opinionated list of resources for learning Haskell

Article URL: http://www.cburch.com/books/lambda/ Comments URL: https://news.ycombinator.com/item?id=32030653 Points: 1 # Comments: 0

As I've said before, PyFL is functional programming for the rest of us. (It's available at pyflang.com.) PyFL now has type checking – without type declarations. Instead the type i…

Article URL: https://kuruczgy.com/blog/2023/06/18/theorem-proving-in-coq/ Comments URL: https://news.ycombinator.com/item?id=36490811 Points: 1 # Comments: 0

In this post, we present several techniques for making Elm code more declarative and precise

Even though Rust and Haskell are quite different languages, they are also surprisingly alike. If you know Rust, you have a head start with Haskell, and vice versa.

Article URL: https://man.sr.ht/~icefox/garnet/generics.md Comments URL: https://news.ycombinator.com/item?id=34003281 Points: 1 # Comments: 0

In the second part of this two-part series, we'll look at more advanced Dialyzer use cases.

A proposal for adding a useful pipe operator to JavaScript. - tc39/proposal-pipeline-operator

Blazing-fast unreadably-dense mathematical objects for everyone.

A take on the bound Haskell library that uses a free-monad-like structure

Article URL: https://desislav.dev/blog/tsfp/ Comments URL: https://news.ycombinator.com/item?id=35588513 Points: 2 # Comments: 0