Functional Programming

functional_programming@programming.dev

PostsComments

demesisx@infosec.pubEnglish · 3 months ago

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

0

1

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

demesisx@infosec.pubEnglish · 3 months ago

0

洪民憙 (Hong Minhee)@lemmy.mlEnglish · 7 months ago

8 months of OCaml after 8 years of Haskell in production

0

1

8 months of OCaml after 8 years of Haskell in production

洪民憙 (Hong Minhee)@lemmy.mlEnglish · 7 months ago

0

lysdexic@programming.devEnglish · 7 months ago

Monad (functional programming) - Wikipedia

en.wikipedia.org

0

1

Monad (functional programming) - Wikipedia

en.wikipedia.org

lysdexic@programming.devEnglish · 7 months ago

0

demesisx@infosec.pubEnglish · 8 months ago

Lambda Calculus vs. Turing Machines (Theory of Computation)

0

2

Lambda Calculus vs. Turing Machines (Theory of Computation)

demesisx@infosec.pubEnglish · 8 months ago

0

wargreymon2023@sopuli.xyz · 8 months ago

If "category" has a better name....

0

1

If "category" has a better name....

wargreymon2023@sopuli.xyz · 8 months ago

0

wargreymon2023@sopuli.xyz · 8 months ago

Understanding the Type of call/cc

www.youtube.com

0

1

Understanding the Type of call/cc

www.youtube.com

wargreymon2023@sopuli.xyz · 8 months ago

0

demesisx@infosec.pubEnglish · 9 months ago

"Propositions as Types" by Philip Wadler

0

1

"Propositions as Types" by Philip Wadler

demesisx@infosec.pubEnglish · 9 months ago

0

matcha_addict@lemy.lol · 9 months ago

How to convert imperative side-effectful program to functional (in Ocaml)?

0

1

How to convert imperative side-effectful program to functional (in Ocaml)?

matcha_addict@lemy.lol · 9 months ago

0

Mac@programming.dev · 9 months ago

How I learned Haskell in just 15 years - duckrabbit solutions

duckrabbit.tech

0

1

How I learned Haskell in just 15 years - duckrabbit solutions

duckrabbit.tech

Mac@programming.dev · 9 months ago

0

Mac@programming.dev · 9 months ago

Learn Lambda Calculus in 10 minutes with OCaml

0

1

Learn Lambda Calculus in 10 minutes with OCaml

Mac@programming.dev · 9 months ago

0

matcha_addict@lemy.lolEnglish · 9 months ago

Using Ocaml to learn FP. What FP concepts should I touch on?

0

1

Using Ocaml to learn FP. What FP concepts should I touch on?

matcha_addict@lemy.lolEnglish · 9 months ago

0

Mac@programming.dev · 10 months ago

Concepts of Functional Programming

0

1

Concepts of Functional Programming

Mac@programming.dev · 10 months ago

0

lysdexic@programming.devEnglish · 10 months ago

Functional Classes (2023)

blog.cleancoder.com

0

1

Functional Classes (2023)

blog.cleancoder.com

lysdexic@programming.devEnglish · 10 months ago

0

Mac@programming.dev · 1 year ago

15-150: Principles of Functional Programming

brandonspark.github.io

0

1

15-150: Principles of Functional Programming

brandonspark.github.io

Mac@programming.dev · 1 year ago

0

ericjmorey@beehaw.orgEnglish · 1 year ago

Gopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

0

1

Gopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

ericjmorey@beehaw.orgEnglish · 1 year ago

0

foobarbruh@programming.dev · 1 year ago

Fearless Tinkering with Nix

0

1

Fearless Tinkering with Nix

foobarbruh@programming.dev · 1 year ago

0

Phoenix3875@lemmy.worldEnglish · 1 year ago

Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023

www.youtube.com

0

1

Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023

www.youtube.com

Phoenix3875@lemmy.worldEnglish · 1 year ago

0

foobarbruh@programming.dev · 1 year ago

Fearless Tinkering is Functional

0

1

Fearless Tinkering is Functional

foobarbruh@programming.dev · 1 year ago

0

demesisx@programming.devEnglish · 1 year ago

Fixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?

share.transistor.fm

0

1

Fixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?

share.transistor.fm

demesisx@programming.devEnglish · 1 year ago

0

canpolat@programming.devEnglish · 1 year ago

The one thing you cannot do in object-oriented programming but you can in functional

www.youtube.com

0

1

The one thing you cannot do in object-oriented programming but you can in functional

www.youtube.com

canpolat@programming.devEnglish · 1 year ago

0

programming.dev

A collection of programming communities

Welcome Programmers!

programming.dev is a collection of programming communities and other topics relevant to software engineers, hackers, roboticists, hardware and software enthusiasts, and more.

The site is primarily english with some communities in other languages. We are connected to many other sites using the activitypub protocol that you can view posts from in the “all” tab while the “local” tab shows posts on our site.

🔗 Site with links to all relevant programming.dev sites

🟩 Not a fan of the default UI? We have alternate frontends we host that you can view the same content from

ℹ️ We have a wiki site that communities can host documents on

⚖️ All users are expected to follow our Code of Conduct and the other various documents on our legal site

❤️ The site is run by a team of volunteers. If youre interested in donating to help fund things such as server costs you can do so here

💬 We have a microblog site aimed towards programmers available at https://bytes.programming.dev

🛠️ We have a forgejo instance for hosting git repositories relating to our site and the fediverse. If you have a project that relates and follows our Code of Conduct feel free to host it there and if you have ideas for things to improve our sites feel free to create issues in the relevant repositories. To go along with the instance we also have a site for sharing small code snippets that might be too small for their own repository.

🌲 We have a discord server and a matrix space for chatting with other members of the community. These are bridged to each other (so you can interact with people using matrix from discord and vice versa.

Fediseer