functional-programming tutorials

How could collateral effects be managed in Java8 streams

Mar 22, 2022

On Haskell, what is the linguistic way to represent a card effect for a card game?

May 06, 2022

haskell design-patterns functional-programming dsl

What does fun keyword do in Coq?

Sep 26, 2021

lambda functional-programming coq dependent-type

How to compare two sets in Agda?

Jul 22, 2020

haskell functional-programming agda

Functional programming in javascript - add(a)(b)(c)

Jun 10, 2022

javascript functional-programming

How to deal a card using F#

Oct 18, 2022

functional-programming f#

How can I restrict types in overridden method in Scala?

Apr 23, 2022

scala functional-programming

How to mock out rich dependencies when testing F#

May 15, 2021

unit-testing f# functional-programming

Apply a stream of mappers to another stream in Java8

Sep 06, 2020

java functional-programming java-8 java-stream

Does case class' copy-method use Structural Sharing?

Nov 07, 2022

scala functional-programming copy clone immutability

Understanding nested lambda function behaviour in python

May 14, 2022

python python-2.7 python-3.x lambda functional-programming

Support for functional pattern matching in Elm

Sep 02, 2022

functional-programming pattern-matching elm

Circular function calls when evaluating AST nodes for interpreter

Oct 01, 2021

compiler-construction f# functional-programming

F# Function Addition

Nov 10, 2022

math f# functional-programming

F# functional coupled iteration: performance issue and preferred functional style

Apr 07, 2022

.net data-structures f# functional-programming purely-functional

Cannot guess decreasing argument of fix for nested match in Coq

Jun 29, 2022

functional-programming coq totality

Kotlin - Convert while loop to functional style

Jun 02, 2020

while-loop functional-programming kotlin

What is code introspection in haskell?

Apr 20, 2021

haskell functional-programming template-haskell

Difference between curry and curryRight in Lodash

Feb 01, 2022

javascript functional-programming lodash currying

`decide equality` for Mutually Recursive Types in Coq?

Jan 26, 2022

functional-programming coq dependent-type theorem-proving coq-tactic

New posts in functional-programming