Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [domain-specific-languages]

14 questions
5
votes
1 answer

Type system for Query DSL with only simple GADTs: what typing judgments are needed?

Background I have several F# codebases with reasonably high level of complexity of code. In order to convince myself that the code is solid I do whatever I can to write as much of it as possible type-driven and pure (up to what I am able to…
Kazark
  • 253
  • 1
  • 9
5
votes
3 answers

Terminology needed for the computational solution to the Rubik's Cube

I apologize if this question is out of the guidelines of this forum. If it is please let me know and I will abstain from requesting definitions and terminology. Hello! I am currently writing a program to find the shortest path solution in a…
TestingTuring
  • 51
  • 1
2
votes
0 answers

What is the difference between ADTs and ASDLs?

ASDL stands for Abstract Syntax Description Language (ASDL), whereby ADT stands for Algebraic data type. By looking at Python.asdl it appears to me to be the same thingy, just with different names, which I highly assume is wrong. Can anyone explain…
denis631
  • 133
  • 5
2
votes
0 answers

Typed representation of a memory model

Assume a simple procedural language, where statements write and read from local memory via references and procedures accept arguments of n different scalar types (say floats, ints and strings) and tuples (or records or other structured monomorphic…
choeger
  • 620
  • 3
  • 8
1
vote
0 answers

Languages with Multiple Arbitrary Return Values

I am designing a DSL for writing numerical simulations. I am working on a specific issue related to returning values from functions, and I am wondering if any other existing language solves the same problem. A toy example of a basic "simulation…
n00b101
  • 111
  • 2
1
vote
0 answers

Domain Specific Language for Data Structures

Question Does there exist a DSL for describing data structures and their manipulation? I realize that a "normal" programming language describes data structures, but they also do a lot more (e.g. IO). I'm curious what the smallest language is…
geofflittle
  • 161
  • 2
1
vote
0 answers

Resources on designing query languages

I'm looking for resources (books, papers, tutorials) on designing domain-specific query languages. I'm mostly interested in the design of syntax and grammar, rather than the implementation. Any UX-focused resources on designing general-purpose…
Tim
  • 111
  • 3
1
vote
1 answer

What is the difference between a Task-Specfic Programming (TSP) language and a Domain-Specific Language (DSL)?

As a software engineer, I am familiar with "domain-specific languages" (DSLs), such as PCRE and SQL, which aim to eschew complexity by only providing functionality specific to a given domain (e.g. string matching and database querying for PCRE and…
J3RN
  • 113
  • 4
1
vote
0 answers

How to create model for a powerful language whose programs are guaranteed to terminate?

I'm creating a powerful regular expression matching system that can be augmented by adding small microprograms to deterministic finite automaton (DFA) states. The microprogram solves the big bang issue where a rule of the form .*ab.*cd doubles the…
juhist
  • 293
  • 2
  • 7
0
votes
0 answers

Standards for storing computer readable description of finite groups

Finite Groups are groups which act on finite sets. They occour in many areas of computer science. There are many way to define a group such as defining the undelying set, the group operation, the neutral element and the inverse…
worldsmithhelper
  • 213
  • 1
  • 6
0
votes
2 answers

How to define a formal language for describing procedural activities

I do not have a formal computer science background here so I am looking for pointers. How would you advice I go about describing a formal way to describe procedures like cooking recipes, manufacturing process, driving to a location etc. Given the…
Finlay Weber
  • 145
  • 4
0
votes
1 answer

If there is any research on Goal Based Programming (GBP)?

The more I think about programming and optimization, the more I think "why not just specify a goal and have the program figure out the optimal solution to it". I am familiar with basic "optimization problems" such as finding the best fit line to a…
Lance Pollard
  • 2,323
  • 1
  • 19
  • 34
0
votes
0 answers

Why was R designed as a 1-starting indexes language?

Spawning from here: We usually don't care whether indices start at $0$ or $1$ (except in the sense we'd rather start with our favourite if it doesn't matter, and the old joke is that set theorists start at $0$ and non-Peano number theorists start…
108880
  • 27
  • 1
  • 11
0
votes
0 answers

Program synthesis based on function properties

I am fairly new at program synthesis and the use of SMT solvers for this purpose. Given a function g, I want to generate all the functions f and h such that the following holds: f . g = h . f Are there program synthesis tools and techniques that…
user5803465
  • 143
  • 3