হায়ার অর্ডার ফাংশন এবং / অথবা প্রথম শ্রেণির নাগরিক শব্দটি প্রথম কে তৈরি করেছিলেন?


9

আমি বুঝতে পেরেছি যে হাস্কেল, ও'ক্যামল বা এলআইএসপি-র অনেক আগে উচ্চতর অর্ডার ফাংশনগুলি একাডেমিক গবেষণার বিষয় ছিল এবং গণিতে শানফিনকেল (১৯67 in সালে) এবং হাস্কেল কারি (১৯68৮ সালে) ইতিমধ্যে কারিংয়ের মতো প্রযুক্তি প্রয়োগ করা হয়েছিল, তবে তা এটি কোনও প্রোগ্রামিং ভাষায় উপলব্ধ হওয়ার আগে ছিল।

উইকিপিডিয়া অনুসারে স্কিমটি প্রথম ভাষা ছিল প্রথম শ্রেণীর নাগরিক হিসাবে উপযুক্ত উচ্চ-অর্ডার কার্যকারিতা প্রবর্তন করার জন্য, তবে এমন কেউ কি আছে যা আমরা মূল ধারণাটিকে দায়ী করতে পারি? হতে পারে আলোনজো চার্চ, 1930-এর দশকে ল্যাম্বডা ক্যালকুলাস আবিষ্কার করেছিলেন কে? আরও সুনির্দিষ্টভাবে, নীচের সংজ্ঞাটি কে তৈরি করেছিলেন, যা আমি বিভিন্ন বইয়ের এবং অনলাইন সংস্থার চারপাশে বিভিন্ন প্যারাফ্রেজগুলিতে দেখেছি?

কোনও ক্রিয়াকলাপটি যখন অন্য কোনও ফাংশনটিকে আর্গুমেন্ট হিসাবে গ্রহণ করে বা কোনও ফাংশন ফিরিয়ে দেয় তখন এটি উচ্চতর অর্ডার হিসাবে বিবেচিত হয়। যে কোনও ক্রিয়াকলাপটি আর্গুমেন্ট হিসাবে বা রিটার্নের ধরন হিসাবে গ্রহণ না করে তাকে প্রথম অর্ডার ফাংশন বলে।


1
আপনি মূসা শানফিনকেল মানে? তারপরে 1967 সালে আপনাকে অবশ্যই তার সম্পর্কে ভুল হতে হবে । 1942 সালে তিনি দারিদ্রে মারা যান
পেটর পুদলক

বা এলআইএসপির আগে 1967 নয় is :-)
জিমવાઇ

উত্তর:


9

ফ্রেজ "ফানকশন অ্যান্ড বেগ্রিফ" (1891) তে বলেছেন:

ওয়াই নুন ফানকিশনেন ভন জেগেনস্টেডেন গ্রুন্ডভারসিডেন সিন, তাই সিন সিড আউচ ফানকিশনেন, ডেরেন আরগুমেন্টে ফানকশনেন সিন সিন্ড আন সেইন ম্যাসেন, গ্রুভারভারসিডেন ভন ফানকিশনেন, ডেরেন আরগুমেন্টে জেগেনস্ট্যান্ডে সিন্ড আন্ড নিকটস এনডেনস। ডেসে নেনে আইচ ফানকশনেন ইস্টার, জেন ফানকশনেন জুইটার স্টুফ।

ইংরাজীতে (আমার অনুবাদ):

জিনিস এবং ফাংশন যেমন পৃথক, তেমনি ফাংশনগুলিও, যার আর্গুমেন্টগুলি ফাংশনগুলি থেকে মূলত আলাদা যাঁর যুক্তিগুলি জিনিস হতে হবে। আমি প্রথম ক্রমের পরবর্তী ফাংশনগুলিকে, দ্বিতীয় ক্রমের পূর্ববর্তী ফাংশনগুলিকে কল করি।


1
দুর্দান্ত উদ্ধৃতি! অবশ্যই এটি ফ্রিজ হবে।
sclv

আকর্ষণীয় যে আধুনিক ক্রিয়ামূলক প্রোগ্রামিং বিপরীত দৃষ্টিভঙ্গি গ্রহণ করে - যতদূর সম্ভব (বা কমপক্ষে আপনি যখনই বদ্ধ বিভাগে কাজ করছেন) কোনও ফাংশন নেই যার আর্গুমেন্টগুলি ফাংশন, এবং ফাংশনগুলির মধ্যে যেগুলির আর্গুমেন্টগুলি জিনিস হতে হবে between
ক্রিস টেলর

@ ক্রিসটেলর :) এটি মিশ্রিত হয়ে গেলে টাইপচেকার এখনও আমাকে স্মরণ করিয়ে দেয় :)
ইনগো

1
ফাংশনও জিনিস, আমার বন্ধু। (মিট
রোমনিকে প্যারাফ্রেজ করতে

1
আমি একবার যুক্তিবিদ্যায় কোর্স করেছিলাম এবং আমরা ডোমেনগুলির জন্য এমন একটি সংজ্ঞা ব্যবহার করি যা ধ্রুবক এবং ক্রিয়াগুলির মধ্যে কোনও পার্থক্য রাখে না: একটি ধ্রুবক (মান) কেবল একটি আর্গুমেন্টবিহীন একটি ফাংশন, অর্থাত্ একটি ফাংশন যার মান কোনও ইনপুট মানের উপর নির্ভর করে না, এবং সুতরাং কো-ডোমেনের একটি মাত্র মান রয়েছে।
জর্জিও

3

উইকিপিডিয়া নিবন্ধটি ইতিমধ্যে স্ট্রেয়ের সাথে "প্রথম শ্রেণির নাগরিক" পরিভাষাটির জন্য দায়ী।

"উচ্চতর ক্রম ফাংশন" আমি উচ্চতর আদেশ এবং প্রথম আদেশ যুক্তির মধ্যে পার্থক্যের কল্পনা করব।

দেখুন https://en.wikipedia.org/wiki/Higher-order_logic এবং http://plato.stanford.edu/entries/logic-higher-order/


উচ্চতর-অর্ডার যুক্তি এবং উচ্চতর-আদেশ ক্রিয়াগুলি এত সহজে বিনিময়যোগ্য কিনা তা আমি পুরোপুরি নিশ্চিত নই। স্ট্রেকে নির্দেশ করার জন্য ধন্যবাদ, আমি একরকম এটি পড়েছি।
আবেল

2
লম্বা ক্যালকুলাসে চার্চের ভিত্তি রচনার অনেক আগে থেকেই ফ্রেজের কাজে (উদাহরণস্বরূপ যুক্তি হিসাবে ফাংশন গ্রহণকারী ফাংশন) "হাই অর্ডার ফাংশন" বিদ্যমান। শাস্ত্রীয় প্রথম ওডার যুক্তিতে একটি শিকারী হুবহু একটি বুলিয়ান মূল্যবান ফাংশন, তাই আমি দ্বিতীয় স্ক্ল্যাভের পরামর্শ যে এটি পরিভাষার উত্স হতে পারে।
ফিলিপ জেএফ
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.