Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in functional-programming

Questions about a la carte data types

scala haskell functional-programming

Is Eta interoprable with Java and/or Kotlin yet?

haskell functional-programming jvm eta

How to make Haskell compute the correct polymorphic type?

haskell functional-programming types polymorphism

Scalaz Kleisli question

scala functional-programming scala-2.8 scalaz

Faster permutation generator

list optimization scala functional-programming permutation

Implementing replays with MonadPrompt

haskell functional-programming monads

type inference in argument list in combination with setter not working

scala functional-programming anonymous-function type-inference

Has this been done before? (Monad view wrapping c++ collections/types for chain operations)

c++ c++11 functional-programming monads c++14

Convenience functions for operators in Java 8?

java functional-programming java-8

Self referencing a val during definition in scala

scala recursion functional-programming akka

How to early return in Scala [duplicate]

scala functional-programming

What constitutes codata in the context of programming?

haskell recursion functional-programming corecursion codata

When using spread syntax on a generator why return value is not retrieved

javascript ecmascript-6 functional-programming generator spread-syntax

When using type classes, how to deal with object in different ways?

scala types functional-programming scalaz

Javascript: why the access to closure variable might be slow

javascript performance functional-programming closures interpreter

How Type inference work in presence of Functional Dependencies

haskell types functional-programming type-inference functional-dependencies

Scala SortedMap.map method returns non-sorted map when static type is Map

scala collections functional-programming higher-order-functions sortedmap

Find indexes from list in Elixir

arrays functional-programming elixir

Coq can't see that two types are the same

types functional-programming coq

Is it usual to wrap a variable in an useless `id` call to avoid eta-conversion issues on proofs?

haskell functional-programming lambda-calculus
« Newer Entries Older Entries »