『प्रोग्रामिंग भाषाओं में Types』 पुस्तक परिचय
(blog.hjaem.info)Insight प्रकाशन एक ऐसी पुस्तक की योजना बना रहा है जो कुछ हद तक प्रोग्रामिंग अनुभव रखने वाले लोगों को केंद्र में रखकर type theory को वैचारिक रूप से समझाती है, और बताया गया है कि उसका draft सार्वजनिक कर दिया गया है (यह draft है, यह बात मुझे संपादक से पूछकर पता चली)।
कोरियाई में programming language theory से संबंधित पुस्तक का आना भी आम बात नहीं है, और भले ही पूरी किताब अभी draft हो, उसका पूरा का पूरा सार्वजनिक होना भी अपने आप में दुर्लभ लगता है, इसलिए मैं इसका परिचय दे रहा हूँ। यह कोरियाई में नहीं है, लेकिन इसी लेखक की सह-लेखित Introduction to Programming Languages नाम की एक पाठ्यपुस्तक भी है।
3 टिप्पणियां
यह बहुत आम नहीं है, लेकिन हाल में proof के लिए इस्तेमाल होने वाली भाषाओं में जो types जोड़े जा रहे हैं, वे भी काफ़ी दिलचस्प हैं.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical agda
https://dl.acm.org/doi/10.1145/3341691
यह उन लोगों के लिए ऐसी किताब कम लगती है जो सीधे अपने काम में तुरंत उपयोगी चीज़ें ढूंढ रहे हों,
बल्कि यह स्पष्ट रूप से सिद्धांत और मूलभूत principles पर ज़्यादा फोकस करती दिखती है।
ऐसी किताबें भी बीच-बीच में पढ़ते रहना चाहिए.. T_T
माफ़ कीजिए, अगर कोई एक पूरा चिकन ही खरीद दे तो बड़ी मेहरबानी होगी