Un texte supplémentaire est mon point de vue. Peut-être que cela permettra à quelqu'un de jeter un regard neuf sur la conception des langages de programmation ou de voir certains avantages et inconvénients de fonctionnalités spécifiques. Je n'entrerai pas dans des détails particuliers du type «le langage devrait avoir un certain temps», mais je décrirai simplement les approches générales. PS J'ai eu une fois l'idée de créer mon propre langage de programmation, mais cela s'est avéré être un processus assez compliqué, que je n'ai pas encore maîtrisé.

L'influence de l'expérience antérieure

Cet article m'a inspiré pour écrire un article . L'auteur est venu avec son propre langage de programmation, et ce langage avec sa syntaxe et ses fonctionnalités s'est avéré être étrangement similaire à Free Pascal, sur lequel la mise en œuvre de la machine virtuelle pour le langage a été écrite. Et ce n'est pas un hasard. Les langages de programmation que nous avons écrits précédemment poussent la réflexion dans le cadre du langage. Nous ne le remarquons peut-être pas nous-mêmes, mais un observateur extérieur ayant une expérience différente peut conseiller quelque chose d'inattendu ou apprendre quelque chose de nouveau.

Le cadre de la pensée s'éloigne un peu après avoir maîtrisé plusieurs langues. Ensuite, dans la langue A, vous voudrez peut-être avoir une fonctionnalité de B et vice versa, et une prise de conscience des forces et des faiblesses de chaque langue apparaîtra également.

Par exemple, lorsque j'ai essayé de penser et de créer mon propre langage, mes pensées étaient radicalement différentes de celles décrites dans l'article ci-dessus. J'ai pensé à des choses complètement différentes dans des termes complètement différents. Ci-dessous, je décrirai les caractéristiques du langage que j'aimerais voir dans le langage de programmation "idéal".

Mon expérience: j'ai une fois commencé avec pascal, plus tard j'ai fait connaissance avec Java, Kotlin, C ++, Python, Scheme, et je considère Scala comme le langage principal. Comme dans le cas décrit ci-dessus, ma langue «parfaite» a beaucoup en commun avec Scala. Au moins, je suis conscient de cette similitude)

L'effet de la syntaxe sur le style de code

"Vous pouvez écrire en Fortran dans n'importe quelle langue"

Il semblerait que presque n'importe quelle idée puisse être exprimée dans n'importe quel langage de programmation, et la syntaxe du langage n'est pas importante. Mais un programme typique est écrit aussi simple et court que possible, et certaines fonctionnalités du langage peuvent prévaloir sur d'autres. Exemples de code (je n'ai pas vérifié l'exactitude, ce n'est qu'une démonstration de l'idée)

Python:

filtered_lst = [elem for elem in lst if elem.y > 2]
filtered_lst = list(filter(lambda elem: elem.y > 2, lst))

, . , .

Scala:

val filteredLst = lst.filter(_.y > 2)

, . . , it => it.y > 2, .

, lst.map(_.x).filter(_>0).distinct() , , . , .

[elem for elem in , . , - .

... = set(filter(lambda it: it > 2, map(lambda it: it.x, lst))))

!

lst.filter(...).map(...) , , . , numpy max — . , , - .

, java:

int x = func();
final int x = func();

, , , . Rust , .

let x = 1;
let mut x = 1;

, , . . ++, , template, typename, inline, virtual, override, const, constexpr "" .

, , , , .

. , , , . , . , - , , .

, , . , hashmap -.

, . - , . (, - , , )

— must have . , , . — , .

Unit, void

/delphi ( ) (- ). , . . ? , . , Java, ++ . : " void!" , void , , . , Java HashSet<T> HashMap<T, Boolean>. boolean — , . , HashMap , , . /++ sizeof(void).

, Unit, 0 ( , , Unit, ). , , . HashSet<T> HashMap<T, Unit> .

- , , , . , . ?! , :

• — . - .
• , . .

, "" — , , .

std::tuple ++, , , , , (T1, T2). (, Unit ). T => U, T U — - . , - Unit, , . , , . , .

Union, / , - . scala/kotlin/rust — .

val a = 10 * 24 * 60 * 60
val b = {
    val secondsInDay = 24 * 60 * 60
    val daysCount = 10
    daysCount * secondsInDay
}

Enums, Union Tagged Union

, , , , go.

-, -. , . , 0 , true (1) false (0) . . , , - success | fail ok|failReason1 | failReason2.

, -, . , ok | error(code) Pointer[MyAwesomeClass] |null .

-. . Union Tagged Union , , int | int. Union int | int == int, . - union . int | int tagged union , int — .

, - (Union), .

List(x) = Unit | (x, List(x))

.
- ( ), , :

f(x) = 1 + x * f(x)

, f(x) = 1 + x + x*x + x*x*x + ..., - () -

List(x) = Unit | (x, Unit) | (x, (x, Unit)) | ...  = Unit | x | (x, x) | (x, x, x) | ...

C x = , x, , ...

, (x, Unit) == x, x * 1 = x, (x, (x, (x, Unit))) (x, x, x).

, , , , , ( ), . , . , — , ++ -, .

, - , , - (). (A, B | C) == (A, B) | (A, C)

, , . .

2. , "" , - (, )
3. , .
4. , .

2 3 , : , ++ . - , , .
— , -, . - . — final java.

, 1-2 /. , , . , "" — , , , , .
( , jvm , const)

, — . , D. - static value = func(42); .

- gradle, , , build "wtf? ?"

android {
    compileSdkVersion 28
}

Groovy. android { compileSdkVersion 28}, - - , . groovy — , .

, , -

class UnderlyingAndroid(){
     compileSdkVersion: Int = 42
}

fun android(func: UndelyingAndroid.() -> Unit) ....

, -, / UnderlyingAndroid, .

, :

android { it =>
    it.compileSdkVersion = 28
}

! ? + DSL. , gradle , . , .

extension . , . , . - . — . , T, , sum, , T .

Call-by-name

, , . , map.getOrElse(key, new Smth()) , . , assert(cond, makeLogMessage()) .

, — , assert if (cond) { log(makeLogMessage())}, .

, must have , .

----

. "" , "" , , . , .

, . , , . , , . , int long.

?

. , . ( , ++). , ( ) .

, ,

. ++ , T - . , , rvalue-, const. , , , . - Scala Kotlin, "" , .

# — , - . ( , # Unity) , , . 3 ! , , , - . , — .

kotlin/scala — , . , . , .

— inline C++/Kotlin. ! inline , inline , (++) return (kotlin). forced_inline__, noinline, crossinline, - . , , inline , .

, . . , ++ , , . lisp scheme, , .

. - - , — , - . : , "" .

Substructural type system

, . , , , .
? Move- , . , . , , - /, . , () .

- , - , .

, , , . , , , , 5, 3, , .

-, . -, (, ), . , ( ++ ).
, , , . - , .

, , :

• ,
  
  • -
  • , .
• 
  
  • .
  • ()
  • ide .
• extension- .
• , AST

/ , , .

, . , .

, — .