Skip to main content
Share Your Experience: Take the 2024 Developer Survey
5 votes
Accepted

Is there a high level (functional) language compiling to Mixed Integer Linear Programming problems?

Here are the systems/languages I know of for representing these kinds of problems at a higher level of abstraction: The Z3 solver has higher-level constructs for words (fixed-length bit-strings), ...
D.W.'s user avatar
  • 12.1k
4 votes
Accepted

Is Linear Evaluation Parametric?

Here's an Agda formalization of the non-linear version of your argument, and my comment above: ...
Dan Doel's user avatar
  • 1,021
4 votes

Is data structure necessarily a functor?

To give a context to your question, let us formulate it mathematically. For simplicity I shall work with the category of sets $\mathsf{Set}$, but it ought to be clear that one can replace it with many ...
Andrej Bauer's user avatar
  • 29.2k
3 votes

In logic programming, what would a language with second-order model theory gain?

An actual second-order logic programming language would allow you to use second-order quantifiers in a computationally meaningful way. Second-order logic without quantifiers ranging over second-order ...
Andrej Bauer's user avatar
  • 29.2k
3 votes

A few questions about ISWIM

I was around when ISWIM was being formulated, including an implementation project on the Univac 1107 in the mid 1960s. It never struck me that there were no anonymous functions. But functions were ...
orcmid's user avatar
  • 161
3 votes

Generating grammar from a string

You might be interested in Sequitur (given a single string, it compresses it by finding a grammar that generates just that one string) or in grammar induction (given a set of strings, it finds a ...
D.W.'s user avatar
  • 12.1k
2 votes
Accepted

Can you regain the Church-Rosser property in languages with continuations?

A simple fix is to add call-by-value let-expressions$$\text{let } x := t\text{ in }u$$that evaluate $t$ to a value and then substitute it for $x$. Having these in the language allows to restrict $+$ ...
xavierm02's user avatar
  • 556

Only top scored, non community-wiki answers of a minimum length are eligible