Daniel P. Friedman
ڈینیل پال فریڈمین (پیدائش 1944) بلومنگٹن، انڈیانا میں انڈیانا یونیورسٹی میں کمپیوٹر سائنس کے پروفیسر ہیں۔ ان کی تحقیق پروگرامنگ زبانوں پر مرکوز ہے، اور وہ اس شعبے میں ایک ممتاز مصنف ہیں۔ ڈیوڈ وائز کے ساتھ، فریڈمین نے سست پروگرامنگ پر ایک انتہائی بااثر مقالہ لکھا، خاص طور پر سست اسٹریمز (ICALP 1976) پر۔ مقالہ، جس کا عنوان ہے "نقصانات کو اپنے دلائل کا جائزہ نہیں لینا چاہیے"، ان پہلی اشاعتوں میں سے ایک ہے جو ممکنہ طور پر لامحدود ڈیٹا ڈھانچے اور پروگرامنگ کی ایک ایسی شکل کے ساتھ پروگرامنگ کے انداز کی کھوج پر زور دیتی ہے جس میں کوئی کمپیوٹیشنل اثرات استعمال نہیں ہوتے ہیں (حالانکہ پروگرام مختلف ہو سکتے ہیں)۔ 1970 کی دہائی کے دوران، فریڈمین اور وائز نے اس موضوع کو گہرائی سے دریافت کیا اور متوازی کمپیوٹنگ کی دنیا میں توسیع پر بھی غور کیا۔ 1980 کی دہائی میں، فریڈمین نے اسکیم پروگرامنگ زبان کے مطالعہ کی طرف رخ کیا۔ انہوں نے پروگرامنگ زبانوں کی وضاحت کے لیے میکرو کے استعمال کی کھوج کی۔ یوجین کوہلبیکر، میتھیاس فیلیسن، اور بروس ڈوبا کے ساتھ، انہوں نے 1986 کے ایل ایف پی کے مقالے میں حفظان صحت میکرو کے تصور کو مشترکہ طور پر متعارف کرایا جس کا آج بھی بڑے پیمانے پر حوالہ دیا جاتا ہے۔ کرسٹوفر ٹی ہینس اور مچل وانڈ کے ساتھ، انہوں نے بیک وقت تسلسل اشیاء کی نوعیت، ان کے استعمال اور انہیں محدود کرنے کے امکانات کا مطالعہ کیا۔ اس کے بعد، فریڈمین اور فیلیسن نے تسلسل اور کنٹرول آپریٹرز کے ساتھ ایک لیمبڈا کیلکولس متعارف کرایا۔ ان کے کام نے سیمنٹکس، کلاسیکی منطق اور حساب کے درمیان روابط، اور تسلسل کی عملی توسیع پر کام کو جنم دیا ہے۔ فریڈمین ایک شاندار نصابی کتابوں کے مصنف بھی ہیں۔ ان کی پہلی نصابی کتاب، دی لٹل لائسر، 1974 کی ہے اور اب بھی اس کے چوتھے ایڈیشن میں پرنٹ میں ہے، جسے اب دی لٹل شیمر (فیلیسن کے ساتھ) کہا جاتا ہے۔ فریڈمین اور فیلیسن نے 1990 کی دہائی میں تین مزید "چھوٹی" کتابیں لکھیں: دی لٹل ایم ایلر، دی سیزنڈ شیمر، اور اے لٹل جاوا، اے فیو پیٹرنز۔ فریڈمین ایسینشیلز آف پروگرامنگ لینگویجز کے مرکزی مصنف بھی ہیں، جو پروگرامنگ زبانوں پر ایک نصابی کتاب ہے۔ اس طرح، اس نے 1980 کی دہائی میں زبان کی نصابی کتابوں کے منظر نامے کو تبدیل کر دیا، اور مترجموں کے سلسلے کے ذریعے زبانوں کے سروے سے اصولوں کے مطالعہ پر توجہ مرکوز کر دی۔ اس موضوع پر آج کی نصابی کتابیں ترجمانوں کے بجائے آپریشنل سیمنٹکس اور ٹائپ تھیوری کو استعمال کرتے ہوئے اس تنظیم کی پیروی کرتی ہیں۔ دی لٹل لائسر کی طرح، ایسینشیلز آف پروگرامنگ لینگویجز ایک طویل عرصے تک زندہ رہنے والی کتاب ہے اور اب اس کے تیسرے ایڈیشن میں ہے۔ حال ہی میں، فریڈمین نے درج ذیل عنوانات کے ساتھ اپنی "لٹل" سیریز پر کام دوبارہ شروع کیا: دی ریزنڈ شیمر (ولیم ای بیرڈ اور اولیگ کیسلیوف کے ساتھ) اسکیم کی توسیع کے ذریعے منطق پروگرامنگ کی وضاحت کرتا ہے۔ لٹل پروور (کارل ایسٹلینڈ کے ساتھ) کمپیوٹر پروگراموں کے بارے میں حقائق کا تعین کرنے کے طریقے کے طور پر تعمیری ثبوت متعارف کراتا ہے۔ لٹل ٹائپر (ڈیوڈ تھرین کرسچنسن کے ساتھ) منحصر اقسام کی وضاحت کرتا ہے، جس کا آغاز ایک بہت چھوٹی زبان سے ہوتا ہے جو بہت زیادہ اسکیم کی طرح نظر آتی ہے اور اسے منحصر اقسام کے ساتھ پروگرامنگ اور ریاضیاتی استدلال کے لیے منحصر اقسام دونوں کا احاطہ کرنے کے لیے بڑھاتی ہے۔ لٹل لرنر (انوراگ میندھیکر کے ساتھ) نچلی سطح سے گہری سیکھنے کا تعارف کراتا ہے، جس میں طلباء کو کر کے سیکھنے کی دعوت دی جاتی ہے۔ ڈینیل پی فریڈمین مندرجہ ذیل کتابوں کے مصنف یا شریک مصنف ہیں: دی لٹل لیسپر (ایم آئی ٹی پریس، 1987) دی لٹل شیمر (ایم آئی ٹی پریس، چوتھا ایڈیشن، 1996) دی لٹل ایم ایلر (ایم آئی ٹی پریس، 1998) اے لٹل جاوا، اے فیو پیٹرنز (ایم آئی ٹی پریس، 1998) دی سیزنڈ شیمر (ایم آئی ٹی پریس، 1996) دی ریزونڈ شیمر (ایم آئی ٹی پریس، 2018) دی لٹل پروور ایسینشیلز آف پروگرامنگ لینگویجز (ایم آئی ٹی پریس، تیسرا ایڈیشن۔ 2008) اسکیم اور آرٹ آف پروگرامنگ کوآرڈینیٹڈ کمپیوٹنگ: ٹولز اینڈ ٹیکنیکس فار ڈسٹری بیوٹڈ سافٹ ویئر دی لٹل ٹائپر دی لٹل لرنر (ایم آئی ٹی پریس، 2023) بیرونی روابط ڈینیل پی فریڈمین کا ہوم پیج دی لٹل شیمرز ہوم پیج کو اس کے دلائل کا جائزہ نہیں لینا چاہیے، ڈین فیسٹ کا تکنیکی رپورٹ ورژن ویب پیج، 2004 میں فریڈمین کی 60 ویں سالگرہ کا تعلیمی جشن "ڈین فریڈمین-کول آئیڈیاز"، ڈین فیسٹ میں گائے اسٹیل کی کلیدی تقریر جس میں فریڈمین کے کام پروگرامنگ زبان کے محققین انڈیانا یونیورسٹی فیکلٹی 1944 برتھز لیونگ پیپل کا جائزہ لیا گیا۔