Constraintlang

A Constraintlang or Constraint Language, is a concept created by User:Yayimhere, and MarkFan8901, which function similarly to an inequality, where in you have a set of constraints upon a variable, and you must find a variable that satisfies all of those. In a Constrainglang, you do the same, however one must find a programming language instead of number. This concept originated within Final Word Of The Day, and the first instance which was created with the concept of a Constrainglang was Bitch, Ienai!.

Functions

there exist a couple of functions which act upon sets of languages. These sets of languages are, in reality, constraint languages, in which the set of languages is that set:

• D(L), where L_n is single language in the, is the constraint language which set of solutions if the set of constraint languages which have L_n as a solution. The resulting set is the set of all these constraint languages.
• V(L) = V(D(L))
• V*(L) is the constraint language which has L as its set of solutions.