# Questions tagged [functional-programming]

The tag has no usage guidance.

119 questions
Filter by
Sorted by
Tagged with
3k views

Let $C$ be a CCC. Let $(\times)$ be a product bifunctor on $C$. As Cat is CCC, we can curry $(\times)$: $curry (\times) : C \rightarrow(C \Rightarrow C)$ $curry (\times) A = \lambda B. A \times B$ ...
321 views

### Automatic proofs or model checking in an extremely simplified functional language

Imagine a stripped down functional programming language, that has the following properties The only value type is an integer There are no side effects Functions are defined as a single expression, ...
1k views

### What are the relationships between Functional Reactive Programming, Automatic Differentiation, Self-Adjusting Computation and Partial Evaluation?

Self-adjusting computation seems to be related to all of the other topics, but I would like to get a clearer sense of how they all relate. For example, do any of them subsume or obsolete any of the ...
356 views

### What function has the signature $A \times \left ( B + C \right ) \rightarrow \left ( A \times B \right ) + \left ( A \times C \right )$?

$A \times \left ( B + C \right )$ is isomorphic to $\left ( A \times B \right ) + \left ( A \times C \right )$, right? That means there's a function from one to the other and another function back....
2k views

### Purely Functional Equivalent of B-Tree?

I am exploring the idea of writing a DBMS in purely functional way. The traditional data structure used for indexing is B-Tree. I'd like to know some purely functional equivalent of B-Tree that would ...
421 views

### What is the origin and meaning of the phrase “Lambda the ultimate?”

I've been messing around with functional programming languages for a few years, and I keep encountering this phrase. I understand what lambda means, the idea of an anonymous function is both simple ...
380 views

### How can I call functions that are not “first-class functions”?

I mean, is there an antonym for "first-class function"?
348 views

### Implications of the rule of cumulativity in the Calculus of Constructions

Please help me understand some type theory research. As suggested in "Type Checking with Universes" by Robert Harper and Robert Pollack, we can add the following rule to our otherwise standard COC or ...
513 views

1k views

### Difference lists in functional programming

The question What's new in purely functional data structures since Okasaki?, and jbapple's epic answer, mentioned using difference lists in functional programming (as opposed to logic programming), ...
474 views

### Which algorithms can be expressed using a total functional language with data parallel operators?

Imagine a functional programming language whose only data types are numerical scalars and arbitrary nestings of arrays. The language lacks any means of unbounded iteration, so the following are ...
516 views

### What are the theoretical limits of the Stratego Programming Language?

Stratego is a programming transformation language/Rewriting DSL. Anthony Sloane has done some work doing an implementation that runs on Scala. What are the theoretical limits of Stratego as a ...
656 views

### Simple balanced trees with O(1) concat?

In Purely Functional Worst Case Constant Time Catenable Sorted Lists, Brodal et al. present purely functional balanced trees with O(1) concatenate and O(lg n) insert, delete, and find. The data ...