functional-programming

functional-programming

Confusion in understanding Substitution / `ap` type signature and different implementations (functional programming)

How to use the Free Monad

Is this a referentially transparent function?

Ways to (refine? is it?) type variables to concrete types in Idris? For a dependently typed HOAS Zipper

SMLNJ powerset function

Kotlin arrow-kt Flatten nested Either

How do you add a new argument to a pure function without having to update all calls to the function?

Elixir spawn processes without self recursion in anonymous function

I'm trying to create a function in scheme which sums numbers from 1 to n but I keep getting error messages

Concept of datatypes representing a value "over time"

`decide equality` for Mutually Recursive Types in Coq?

Difference between closures and endomorphisms

Elm Specify Different Value for Other Item in Model

Balanced tree for functional symbol table

Boolean type checking

is the execution of the same function twice worse than associating the result to a variable?

Idris - Type errors in dependently typed functions

FRP vs. State Machine w/ Lenses for Game Loop

How to complete this proof of commutativity with `replace`?

WebStorm importing lodash/fp/xxx

Infinite loop with counter in elixir

or as procedure in scheme

Ocaml pattern matching for "square" tuple?

Coq: proof of "lens is closed under composition"

Why do we give InitialValue to reduce() or alike?

how to create an alist with initial values

shared data without using mutable variables

Typed Racket convert Any to All (a)

deleting values from elm model

Lisp - Split list in n lists

How best to find an element in nested lists?

How to functionally convert a nested hash to a list of records?

How to create a list of colors for perlin-noise (2d)? [duplicate]

Kotlin Either monad: Refactoring a constructor call to handle CPS

What are the differences between imperative and functional programming languages?

How to define an alias in Agda's type delaration?

How can I iterate two list of maps at once?

Dr. Racket, help getting element from a list

expression has type 'a list -> 'b list but an expression was expected of type 'b list

Pattern matching with logic?

How to convert character to ASCII value in ELM

Difference between unit type and 'a in ocaml

Elixir Get Map containing maximum values of specific field

How to implement this foldl0 function without helper method?

SML: Sublime interpreter working incorrectly?

tail rec kotlin list

this pattern-matching is not exhaustive. Ocaml

What type of algebraic data type is Option[T] or Optional<T>

Functional way to accumulate within a Unit function in Kotlin?

Functional programming: how far should immutability go? [closed]

Maximal Information Coefficient vs Hierarchical Agglomerative Clustering

Writing the function "once" in Elixir

How can i make this function in a functional programming way?

Sum of the digits of a number?

lambda calculus xor expression by true false

Octave map over matrix with row and column indexes

Type of recursively-typed functions in Ceylon

Pure functions and I/O

Getting Bad function Error in Elixir

Converting to functional Java style

page:11 of 32 prev page next page main page

Categories

aws-code-deploy

adafruit-circuitpython

nestedrecyclerview

github-enterprise

apache-commons-text

ios-universal-links

oracle-service-bus

vector-graphics

gaps-and-islands

forms-authentication

change-management

angular-promise

jenkins-email-ext

video-intelligence-api

jet-ef-provider

google-shared-contacts

pattern-recognition

php-zip-archive

drupal-content-types

cordova-facebook

requestanimationframe

parse-javascript-sdk

semantic-markup

unreal-development-kit

chained-assignment

android-gpuimageview

document-management

angularjs-filter

jquery-dynatree

working-directory

codeigniter-form-helper

gwt-2.2-celltable

application-data

Resources