आगे का पाठ मेरा नज़रिया है। शायद यह किसी को प्रोग्रामिंग भाषाओं के डिजाइन पर एक नया नज़र डालने या विशिष्ट विशेषताओं के कुछ फायदे और नुकसान देखने की अनुमति देगा। मैं विशेष प्रकार के विवरण में नहीं जाऊंगा "भाषा का निर्माण थोड़ी देर से होना चाहिए", लेकिन सामान्य दृष्टिकोण का वर्णन करें। PS मुझे एक बार अपनी प्रोग्रामिंग भाषा बनाने का विचार था, लेकिन यह एक जटिल प्रक्रिया थी, जिसे मैंने अभी तक पूरा नहीं किया है।

पिछले अनुभव का प्रभाव

इस लेख ने मुझे एक लेख लिखने के लिए प्रेरित किया। लेखक अपनी स्वयं की प्रोग्रामिंग भाषा के साथ आया, और यह भाषा इसके वाक्यविन्यास और विशेषताओं के साथ नि: शुल्क पास्कल के समान संदिग्ध रूप से बदल गई, जिस पर भाषा के लिए वीएम का कार्यान्वयन लिखा गया था। और यह कोई संयोग नहीं है। प्रोग्रामिंग लैंग्वेज जो हमने पहले लिखी थी, वह लैंग्वेज के फ्रेमवर्क में सोच रही थी। हम स्वयं इस पर ध्यान नहीं दे सकते हैं, लेकिन विभिन्न अनुभव वाले एक बाहरी पर्यवेक्षक कुछ अप्रत्याशित की सलाह दे सकते हैं या कुछ नया सीख सकते हैं।

कई भाषाओं में महारत हासिल करने के बाद सोच का ढांचा थोड़ा अलग हो जाता है। फिर भाषा ए में, आप बी और इसके विपरीत से एक विशेषता चाहते हैं, और प्रत्येक भाषा की ताकत और कमजोरियों के बारे में जागरूकता भी दिखाई देगी।

उदाहरण के लिए, जब मैंने अपनी भाषा बनाने और सोचने की कोशिश की, तो मेरे विचार मूल रूप से ऊपर के लेख में वर्णित लोगों से अलग थे। मैंने पूरी तरह से अलग शर्तों के भीतर पूरी तरह से अलग चीजों के बारे में सोचा। नीचे मैं उस भाषा की विशेषताओं का वर्णन करूंगा, जिसे मैं "आदर्श" प्रोग्रामिंग भाषा में देखना चाहता हूं।

मेरा अनुभव: मैंने एक बार पास्कल के साथ शुरुआत की थी, बाद में मैं जावा, कोटलिन, सी ++, पायथन, स्कीम से परिचित हुआ, और मैं स्काला को मुख्य भाषा मानता हूं। जैसा कि ऊपर वर्णित मामले में, मेरी "परिपूर्ण" भाषा में स्काला के साथ बहुत कुछ है। कम से कम मुझे इस समानता के बारे में पता है)

कोड शैली पर वाक्य रचना का प्रभाव

"आप किसी भी भाषा में फोरट्रान में लिख सकते हैं"

ऐसा लगता है कि किसी भी प्रोग्रामिंग भाषा में लगभग किसी भी विचार को व्यक्त किया जा सकता है, और भाषा का वाक्यविन्यास महत्वपूर्ण नहीं है। लेकिन एक सामान्य कार्यक्रम जितना संभव हो उतना सरल और छोटा लिखा जाता है, और कुछ भाषा सुविधाएँ दूसरों पर हावी हो सकती हैं। कोड उदाहरण (मैंने शुद्धता की जांच नहीं की, यह केवल विचार का प्रदर्शन है)

अजगर:

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

/ , , .

, . , .

, — .