payamvha/North_RAG huggingface dataset:
از دوران یک مثلث قائم الزاویه حول یکی از اضلاع مجاورش=مخروط از دوران یک مثلث قائم الزاویه حول وتر= دو مخروط از دوران یک دایره حول قطر به اندازه○180=کره از دوران یک نیم دایره حول قطر به اندازه○360=کره در دوران حجمی آن ضلعی که حول شکل آن دوران میدهد بچرخد ارتفاع میشود اما آن ضلعی که چرخیده میشود شعاع آن جسم است. آزمایشگاه مجازی دوران. آزمایشگاه دوران یک شکل چهار ضلعی قابل تغییر و دلخواه با مرکز دوران قابل تغییر.(با لغزنده ها کار کنید) آزمایش دوران 180 درجه و یا بازتاب نسبت به محور افقی. آزمایش دوران حول مبدا
بازتاب نسبت به محور افقی. آزمایش دوران حول مبدا برای یک تابع (ماشین عدد ساز دلخواه). آزمایشگاه دوران یک مثلث حول نقطه دلخواه قابل تغییر. آزمایشگاه دوران یک شکل حول محور طول ها و ایجاد حجم حاصل از دوران
اطّلاعات طبقه‌بندی شده اطلاعات حساسی است که، بر پایه قانون یا مقرّرات داخلی بنگاه‌های مالک آن، دسترسی به آن برای گروه خاصی منع شده‌است. گاه اصطلاح «اسناد طبقه‌بندی‌شده» یا «اطلاعات محرمانه» نیز در این مورد به کار می‌رود. تقریباً همه دولت‌ها ضوابطی برای طبقه‌بندی اسناد و اطلاعات دارند. بسیاری از شرکت‌های خصوصی نیز برای حفاظت از اطلاعات مالی و فنی خود نوعی نظام طبقه‌بندی دارند. در نظام دولتی ایران معمولاً اطلاعات طبقه‌بندی‌شده چهار دسته است: طبق ماده (۲) آئین‌نامه طرز نگهداری اسناد سری و محرمانه دولتی شماره
طرز نگهداری اسناد سری و محرمانه دولتی شماره ۱۴–۱۷۰/م - ۲/۱۰/۱۳۵۴ وزارت دادگستری، «اسناد سری و محرمانه دولتی به اعتبار مقدار مراقبتی که باید در حفظ آن‌ها بشود به چهار طبقه تقسیم می‌شوند: طبقه اول ـ اسنادی است که افشای غیرمجاز آن‌ها به اساس حکومت و مبانی دولت ضرر جبران ناپذیری برساند. طبقه دوم ـ اسنادی است که افشای غیرمجاز آن‌ها منافع عمومی و امنیت ملی را دچار مخاطره کند. طبقه سوم ـ اسنادی است که افشای غیرمجاز آن‌ها نظام امور سازمان‌ها را مختل و اجرای وظایف اساسی آن‌ها را ناممکن کند. طبقه چهارم ـ اسنادی است
آن‌ها را ناممکن کند. طبقه چهارم ـ اسنادی است که افشای غیرمجاز آن‌ها موجب اختلال امور داخلی یک سازمان شود یا با مصالح اداری آن سازمان مغایر باشد. اسناد سری در طبقات اول و دوم و اسناد محرمانه در طبقات سوم و چهارم قرار می‌گیرند. (اسناد طبقه اول با عنوان « کاملاً سری» و اسناد طبقه دوم با «عنوان سری» و اسناد طبقه سوم با عنوان «فوق محرمانه» و اسناد طبقه چهارم با عنوان «محرمانه» مشخص می‌شود).» اگرچه «اطلاعات طبقه‌بندی‌شده» به طبقه‌بندی رسمی و علامتگذاری اصولی بر حسب حساسیت اشاره دارد، ولی حسی شبیه به سانسور هم
حسب حساسیت اشاره دارد، ولی حسی شبیه به سانسور هم ایجاد می‌کند. اغلب بین طبقه‌بندی امنیتی رسمی و علائم حریم خصوصی مانند «تجاری با اطمینان» تمایز قائل می‌شوند. طبقه‌بندی‌ها را می‌توان با کلمات کلیدی دیگری استفاده کرد که دستورالعمل‌های دقیق‌تری در مورد نحوه استفاده یا محافظت از داده‌ها ارائه می‌دهد. برخی از شرکت‌ها و سازمان‌های غیردولتی نیز به دلیل محافظت از اسرار تجاری، یا قوانین و مقررات مربوط به امور مختلف از جمله حریم شخصی، رسیدگی به پرونده‌های قانونی و زمان انتشار اطلاعات مالی، یک سطح اطلاعاتی را به
و زمان انتشار اطلاعات مالی، یک سطح اطلاعاتی را به اطلاعات خصوصی خود اختصاص می‌دهند. با گذشت زمان بسیاری از اطلاعات طبقه‌بندی‌شده می‌توانند کمی حساس‌تر شده یا حساسیت کمتری داشته باشند، همچنین ممکن است رمزگشایی و عمومی شوند. از اواخر قرن بیستم در بعضی از کشورها قانون آزادی اطلاعات وجود داشته‌است که به موجب آن در نظر گرفته می‌شود که مردم دارای حق انتشار همه اطلاعاتی هستند که در صورت انتشار آن‌ها، آسیبی وارد نمی‌شود. گاهی اسناد با اطلاعاتی که هنوز هم محرمانه تلقی می‌شوند، منتشر می‌شوند. طبقه‌بندی دولت. هدف از
می‌شوند، منتشر می‌شوند. طبقه‌بندی دولت. هدف از طبقه‌بندی، محافظت از اطلاعات است. طبقه‌بندی‌های بالاتر، تحت عنوان طبقه‌بندی رسمی، برای محافظت از اطلاعاتی است که ممکن است امنیت ملی را به خطر اندازد و به اصطلاح «اسرار دولت» نامیده می‌شود و واجد سطوح مختلف حفاظت، براساس خسارتی‌ست که ممکن است انتشار آن اطلاعات ایجاد کند. با این حال اطلاعات طبقه‌بندی‌شده اغلب توسط مسئولان در جهت اهداف سیاسی به خبرنگاران گفته می‌شوند. چندین رئیس‌جمهور ایالات متحده آمریکا اطلاعات حساس را به دست آورده‌اند تا نقطه نظراتشان را به
حساس را به دست آورده‌اند تا نقطه نظراتشان را به اطلاع مردم برسانند.
آزمایشگاه پیش‌رانش جت موسوم به جی‌پی‌ال ("JPL") یک آزمایشگاه علمی و فناوری ناسا است. این آزمایشگاه مسئول پرتاب و کنترل ماموریت‌های بی‌سرنشینی است که به مسافت‌های بسیار دور، از جمله مسافت‌هایی خارج از سامانه خورشیدی، پرتاب می‌شوند. آزمایشگاه پیش‌رانش جت در پاسادینا در کالیفرنیا قرار دارد، و زیر نظر کلتک است. شارل العشی از سال ۲۰۰۱ تا ۲۰۱۶ ریاست این آزمایشگاه را بر عهده داشت.
جابجایی، در دینامیک حرکتی است که در آن، همهٔ نقاط جسم به یک اندازه و در یک جهت حرکت کنند. در جسمی که حرکت جابجایی انجام می‌دهد، اگر خط راستی در صفحه روی جسم رسم شود، امتداد خط در طول مدت حرکت ثابت می‌ماند. در جابجایی، هر نقطهٔ جسم مانند formula_1 با استفاده از رابطهٔ زیر به نقطهٔ جدید جابجا می‌شود: که در رابطهٔ بالا، formula_3 بردار ثابت جابجایی است. برای یک جسم در فضا، جابجایی می‌تواند حاصل جمع سه جابجایی در راستای سه محور باشد که به جسم سه درجه آزادی می‌دهد. در حقیقت حرکت کلی یک جسم صلب در فضای سه‌بعدی،
در حقیقت حرکت کلی یک جسم صلب در فضای سه‌بعدی، حاصل ۳ جابجایی در راستای ۳ محور و ۳ دوران به دور ۳ محور (۶ درجه آزادی) است؛ ولی برای یک ذره، با توجه به در نظر نگرفتن ابعاد آن، دوران معنی نمی‌دهد و ذره تنها ۳ درجه آزادی دارد. شکل نمودار مکان زمان در حرکت با سرعت یا شتاب ثابت. در حرکت با سرعت ثابت، شکل نمودار مکان-زمان به صورت یک خط است و معادله آن خط، همان معادله حرکت یا معادله جابجایی است. فرم کلی معادله مکان زمان به صورت x=vt+x0 است که در آن، x و v به‌ترتیب مکان و سرعت متحرک در لحظهٔ t و x0 مکان اولیهٔ
مکان و سرعت متحرک در لحظهٔ t و x0 مکان اولیهٔ متحرک است. حرکت با شتاب ثابت: در حرکت با شتاب ثابت، شکل نمودار مکان زمان به صورت یک سهمی به معادلهٔ x=1/2 at2 + v0t +x0است که در آن، x و a به‌ترتیب مکان و شتاب متحرک در لحظهٔ t و x0 و v0 به‌ترتیب مکان و سرعت اولیهٔ متحرک است.
سید محمد حسن الهی طباطبایی (متولد ۱۲۸۵ش تبریز – درگذشته ۱۳۴۷ش تبریز) از عرفای معاصر و فقیه و ریاضی‌دان و فیلسوف شیعه بود. او برادر کوچکتر سید محمدحسین طباطبایی بود. همچنین او شاگرد سید علی قاضی طباطبایی و مرتضی طالقانی بوده است. جد. محمد تقی قاضی طباطبایی (متوفی ۱۲۲۰ یا ۱۲۲۲ قمری) جد سوم محمد حسن الهی است. میرزا علی آقا قاضی و سید محمدعلی قاضی طباطبایی در این شخص با نامبرده و برادرش علامه طباطبایی اشتراک نسب دارد. نسب. وی از نوادگان عبدالوهاب تبریزی که نسب وی هم به حسن مثنی ابن حسن مجتبی می‌رسد. پدر. محمد
وی هم به حسن مثنی ابن حسن مجتبی می‌رسد. پدر. محمد قاضی طباطبایی (پدر محمد حسن الهی) خود از روحانیان شهر تبریز بوده که با خانواده یحیوی تبریز وصلت کرد و اولین ثمره این پیوند محمد حسین طباطبایی نامیده می‌شود. همسر. سید محمدحسن در سنین جوانی با دختر سید محمدباقر قاضی خواهر سید محمدعلی قاضی طباطبایی ازدواج کرد که ثمره این پیوند یک فرزند پسر به نام سید محمد الهی و سه دختر است. یکی از دخترانش در سن ۱۸ سالگی به دلیل بیماری درگذشت که سید محمدحسن را بسیار متأثر ساخت. اما او در این مصیبت صبر پیشه ساخت و کوچک‌ترین
اما او در این مصیبت صبر پیشه ساخت و کوچک‌ترین حالت گله و شکایت از خویش نشان نداد. دختر دیگر ایشان با آقای سلماسی (از بازرگانان تبریز) ازدواج کرد و دختر کوچکتر ایشان نیز همسر آقای دکتر عبدالحمید شهیدی می‌باشد. تولد تا کودکی. محمد حسن الهی در سال ۱۲۸۵ خورشیدی در تبریز متولد شد. ۱۸ ماهه بود که مادرش و ۴ ساله بود که پدرش را از دست داد. سرپرستی و نظارت بر اموال و زندگی او و برادرش در منزل پدری واقع در خیابان مسجد کبود تبریز به یکی از محترمین خانواده پدری سپرده شد. او دوازده ساله بود که درس و کتاب را شروع کرد و
او دوازده ساله بود که درس و کتاب را شروع کرد و به همراه برادر به مکتب رفت. استادان. از استادان محمدحسن الهی سید ابوالحسن اصفهانی، محمدحسین نائینی، سید حسین بادکوبه‌ای را می‌توان نام برد. او همچنین از شاگردان سید علی قاضی طباطبایی و مرتضی طالقانی بوده است. شاگردان. محمدعلی ارتقایی و میرزا موسی تبریزی از شاگردان وی بودند که نقل‌های زیادی از روابط ایشان در کتاب‌های متعدد وجود دارد. حسن حسن‌زاده آملی از دیگر شاگردان اوست که در مورد استادش چنین می‌نویسد: درگذشت. محمدحسن الهی در روز دوشنبه ۲۰ خرداد ۱۳۴۷ (۱۳
محمدحسن الهی در روز دوشنبه ۲۰ خرداد ۱۳۴۷ (۱۳ ربیع‌الاول ۱۳۸۸ ه‍. ق) درگذشت و در مقبره‌ای معروف به " «ابو حسین»" در شهر قم به خاک سپرده شد. پیوند به بیرون. پرتال جامع اینترنتی متقین
سوفیت گرانت متولد ۱۳ نوامبر ۱۹۶۴ در پتح تیکوا، اسرائیل زاده شد. او بازیگر سینما و تلویزیون است و در گذشته مجری چند برنامه در تلویزیون اسرائیل بود. سوفیت الیاشوا در سال ۱۹۹۳ با آورام گرانت مربی سابق باشگاه فوتبال چلسی و تیم ملی فوتبال اسرائیل ازدواج کرد. آورام هم از اهالی پتح تیکوا و در آن هنگام مربی تیم مکابی تل‌آویو بود. آن‌ها صاحب دو فرزند شدند؛ یک پسر و یک دختر و هم‌اکنون در شهر لندن زندگی می‌کنند.
سینِتیک یا جُنبِشی فیزیک و مهندسی، از واژگان مورد استفاده در مکانیک کلاسیک است و هدف آن بررسی رابطهٔ میان حرکت اجسام و دلایل آن، نیروها و گشتاورها، است. پس از نیمهٔ قرن بیستم، واژهٔ «دینامیک» (یا دینامیک تحلیلی) به طرز گسترده‌ای جایگزین «سینتیک» در کتب فیزیک شده‌است؛ واژهٔ «سینتیک» همچنان در مهندسی استفاده می‌شود. برای مثال طبق رائو و سایرین: در فیزیک پلاسما، سینتیک اشاره به پیوستگی در فضای سرعت دارد. این معمولاً در متن‌های توزیع‌های سرعت غیرحرارتی (غیر ماکسولی) یا فرآیندهایی است که موجب آشفتگی توزیع‌های
یا فرآیندهایی است که موجب آشفتگی توزیع‌های حرارتی می‌گردند. چنین پلاسماهایی را نمی‌توان به سادگی با معادلات سیالات بیان کرد. چنین پلاسماهایی را پلاسماهایی سینتیکی گویند. واژهٔ سینتیک همچنین برای اشاره به "سینتیک شیمیایی" به کار می‌رود، خصوصاً در فیزیک‌شیمی یا شیمی‌فیزیک. برای چنین کاربردهایی معمولاً یک کلمهٔ توصیفی استفاده می‌شود (یا به‌طور ضمنی) برای مثال: «سینتیک فیزیکی»، «سینتیک رشد کریستالی».
تبکبقنن
در علوم کامپیوتر، برنامه‌نویسی تابعی یک رویکرد برنامه‌نویسی است که در آن برنامه‌ها توسط محاسبه و ترکیب توابع ساخته می‌شوند. برنامه‌نویسی تابعی یک رویکرد برنامه‌نویسی اعلانی است که در آن تعریف توابع درخت‌هایی از عبارت‌ها هستند که هر کدام از این عبارات به جای یک توالی از عبارات دستوری که وضعیت برنامه را تغییر می‌دهند؛ صرفاً یک مقدار برمی‌گردانند. در برنامه‌نویسی تابعی، توابع به عنوان شهروندان درجه یک تلقی می‌شوند، این بدان معنی است که توابع را می‌توان به نام‌ها (از جمله شناسه‌های محلی) مقید کرده، به عنوان
(از جمله شناسه‌های محلی) مقید کرده، به عنوان آرگومان ارسال کرده و یا از توابع دیگر بازگرداند. دقیقاً مانند هر نوع داده دیگر. این ویژگی این امکان را فراهم می‌کند که برنامه‌ها به شکل اعلانی و ترکیب‌پذیر نوشته شوند، به‌طوری که که توابع کوچک به صورت پودمانی با هم ترکیب می‌شوند. برنامه‌نویسی تابعی گاهی به عنوان مترادفی برای برنامه‌نویسی تابعی محض در نظر گرفته می‌شود. این نوع برنامه‌نویسی زیرمجموعه‌ای از برنامه‌نویسی تابعی است که در آن تمام توابع به عنوان توابع ریاضی و قطعی یا تابع سره تلقی می‌شوند. هنگامی که یک
و قطعی یا تابع سره تلقی می‌شوند. هنگامی که یک تابع سره با مجموعهٔ آرگومان‌های ثابت فراخونی می‌شود، همیشه همان نتیجه را برمی‌گرداند و نمی تواند تحت تأثیر هیچ‌گونه حالت قابل تغییر یا اثر جانبی دیگری باشد. این برخلاف توابع غیرسره است که معمولاً در برنامه‌نویسی دستوری استفاده می‌شود و می‌تواند اثرات جانبی داشته باشد (مانند تغییر وضعیت برنامه یا گرفتن ورودی از یک کاربر). طرفداران برنامه‌نویسی تابعی محض ادعا می‌کنند که با محدود کردن اثر جانبی، برنامه‌ها اشکالات کمتری داشته؛ همچنین اشکال‌زدایی و تست نرم‌افزار
کمتری داشته؛ همچنین اشکال‌زدایی و تست نرم‌افزار آسان‌تر می‌شود. از سوی دیگر استفاده از این رویکرد برای دستیابی به درستی‌یابی صوری نرم‌افزار مناسب‌تر است. منشأ برنامه‌نویسی تابعی ریشه در تحقیقات دانشگاهی دارد و از حساب لامبدا تکامل پیدا کرده است. حساب لاندا یک سیستم صوری محاسبات است که صرفاً مبتنی بر توابع می‌باشد. برنامه‌نویسی تابعی به شکل تاریخی کمتر از برنامه‌نویسی دستوری محبوب بوده است. با این حال بسیاری از زبان‌های تابع‌گرا امروزه در صنعت و آموزش دیده می‌شوند. از جمله لیسپ معمولی، اسکیم، کلوژر ، زبان
می‌شوند. از جمله لیسپ معمولی، اسکیم، کلوژر ، زبان برنامه‌نویسی ولفرام، راکت ، ارلنگ، اوکمل، هسکل، و F#. برنامه‌نویسی تابع‌گرا همچنین برای برخی از زبان‌های خاص‌منظوره موفق نقش کلیدی ایفا می‌کند. مانند R در آمار، J ، K و Q در آنالیز مالی، و XQuery / XSLT برای XML. زبان‌های اعلانی خاص‌منظوره مانند SQL و Lex / Yacc از برخی عناصر برنامه‌نویسی تابع‌گرا استفاده می‌کنند. مانند ممنوع کردن مقادیر قابل تغییر. همچنین بسیاری از زبان‌های برنامه‌نویسی، برنامه‌‌نویسی به سبک تابع‌گرا را پشتیبانی کرده و یا ویژگی‌های
به سبک تابع‌گرا را پشتیبانی کرده و یا ویژگی‌های تابع‌گرایی پیاده‌سازی کرده‌اند. مانند C++11 ، کاتلین، پرل، پی‌اچ‌پی، پایتون، و اسکالا. تاریخچه. جبر لاندا که در دههٔ ۱۹۳۰ توسط آلونزو چرچ ابداع شد، یک سیستم صوری محاسباتی است که براساس کاربرد توابع ساخته شده است. در سال ۱۹۳۷ تورینگ ثابت کرد که حساب لاندا و ماشین تورینگ مدل‌های محاسباتی هم‌ارز هستند. او نشان داد که حساب لاندا تورینگ-کامل است. حساب لاندا اساس همهٔ زبان‌های برنامه‌نویسی تابعی را تشکیل می‌دهد. همچنین یک فرمول نظری هم‌ارز به نام منطق ترکیبیاتی،
یک فرمول نظری هم‌ارز به نام منطق ترکیبیاتی، توسط موسی شونفینکل و هاسکل کاری در دهه‌های ۱۹۲۰ و ۱۹۳۰ ساخته شد. چرچ بعدها یک سیستم ضعیف‌تر به نام حساب لاندا با نوع‌گذاری ساده را توسعه داد که حساب لاندا را با اختصاص یک نوع به همهٔ عبارت‌ها گسترش می‌داد. این پایه و اساس برنامه‌نویسی عملکردی با سیستم نوع ایستا را تشکیل می‌دهد. اولین زبان برنامه‌نویسی تابعی، LISP، در اواخر دههٔ ۱۹۵۰ برای کامپیوترهای علمی IBM سری 700/7000 توسط جان مک کارتی در انستیتوی فناوری ماساچوست (MIT) توسعه داده شد. توابع LISP با استفاده از
(MIT) توسعه داده شد. توابع LISP با استفاده از نماد لاندای چرچ تعریف شده و به‌وصیلهٔ یک «برچسب» گسترش یافته‌اند تا امکان استفاده تعریف توابع بازگشتی میسر شود. لیسپ برای اولین بار بسیاری از ویژگیهای رویکردی برنامه‌نویسی تابعی را معرفی کرد، هرچند که در نسخه‌های اولیهٔ لیست زبان‌هایی با رویکرد چندگانه بودند و همزمان با تکامل رویکردهای جدید، از سبک‌های برنامه نویسی متعددی پشتیبانی می‌کردند. گویش‌های بعدی این زبان، مانند Scheme و Clojure، و شاخه‌هایی مانند Dylan و جولیا، به دنبال ساده‌سازی و منطقی‌سازی Lisp
و جولیا، به دنبال ساده‌سازی و منطقی‌سازی Lisp پیرامون یک هستهٔ کاملاً تابعی بودند. در حالی که لیسپ معمولی به منظور حفظ و به‌روزرسانی ویژگی‌های رویکردی گویش‌های قدیمی که جایگزین‌شان شد، طراحی شده است. مفاهیم. تعدادی مفهوم و رویکرد ویژهٔ برنامه‌نویسی تابع‌گرا بوده و به طور کلی برای برنامه‌نویسی دستوری (از جمله برنامه‌نویسی شیءگرا) بیگانه هستند. با این حال، زبان‌های برنامه‌نویسی اغلب از چندین الگوی برنامه‌نویسی پشتیبانی می‌کنند. بنابراین برنامه‌نویسان با استفاده از زبان های «عمدتاً دستوری» می‌توانند از برخی
از زبان های «عمدتاً دستوری» می‌توانند از برخی از این مفاهیمِ ویژهٔ تابع‌گرایی استفاده بکنند. توابع مرتبه یک و مرتبهٔ بالاتر. توابع مرتبه بالاتر توابعی هستند که می‌توانند توابع دیگری را به عنوان آرگومان به کار گرفته و یا آن‌ها را به عنوان نتیجه برگردانند. در حسابان، مثالی از یک تابع مرتبهٔ بالاتر عملگر دیفرانسیلی formula_1 است که مشتق تابع formula_2 را برمی‌گرداند. توابع مرتبهٔ بالاتر ارتباط نزدیکی با توابع مرتبهٔ اول دارند زیرا توابع مرتبه بالا و توابع مرتبه یک هر دو توابع را به عنوان آرگومان دریافت کرده و
یک هر دو توابع را به عنوان آرگومان دریافت کرده و به عنوان نتیجه برمیگردانند. تمایز بین این دو ظریف است: «مرتبهٔ بالاتر» یک مفهوم ریاضی از توابعی که بر روی توابع دیگر کار می‌کنند توصیف می‌کند؛ در حالی که «مرتبهٔ اول» یک اصطلاح علوم کامپیوتر برای موجودیت‌هایی در زبان‌های برنامه‌نویسی است که هیچ محدودیتی در استفاده از آن‌ها وجود ندارد (بنابراین توابع مرتبهٔ اول می‌تواند در هر جایی از برنامه که سایر موجودیت‌های مرتبهٔ اول - مانند اعداد - مجاز هستند؛ استفاده شوند. این شامل آرگومان‌های ورودی و مقادیر بازگشتی از
این شامل آرگومان‌های ورودی و مقادیر بازگشتی از توابع نیز هست). توابع مرتبه بالا امکان استفاده از روش‌های برنامهٔ جزئی یا کارینگ را فراهم می‌کنند. در این تکنیک یک تابع بر روی آرگومان‌های خود یکی یکی اعمال شده و در هر مرحله تابع جدیدی برگردانده می‌شوند که روی آرگومان بعدی اعمال می‌شود. به‌عنوان مثال این روش به برنامه‌نویس اجازه می‌دهد به طور خلاصه تابع پسین را به شکل اپراتور جمع روی عدد طبیعی یک توصیف کند. توابع سره. توابع سره (یا عبارت‌ها) هیچ‌گونه اثر جانبی (حافظه یا ورودی/خروجی) ندارند. این بدان معنی است
(حافظه یا ورودی/خروجی) ندارند. این بدان معنی است که توابع سره دارای چندین خاصیت مفید هستند که بسیاری از آن‌ها می‌توانند برای بهینه‌سازی کد استفاده شوند: اکثر کامپایلرهای زبان‌های دستوری؛ توابع سره را تشخیص داده و بهینه‌سازی «حذف زیرعبارت مشترک» را روی آن‌ها انجام می‌دهند. با این وجود، همیشه نمی‌توانند این کار را برای کتابخانه‌های از پیش کامپایل شده انجام دهند. این کتابخانه‌ها عموماً این‌گونه اطلاعات را در معرض نمایش نمی‌گذارند، بنابراین بهینه‌سازی‌هایی که شامل اینگونه توابع است را غیرممکن می‌سازند. برخی از
اینگونه توابع است را غیرممکن می‌سازند. برخی از کامپایلرها، مانند جی‌سی‌سی، کلمات کلیدی دیگری را برای برنامه‌نویس فراهم کرده‌اند تا توابع خارجی را به صورت سره علامت‌گذاری کنند. بدین ترتیب این دست بهینه‌سازی‌ها فعال می‌شود. فورترن ۹۵ همچنین اجازه می‌دهد توابع به‌صورت "سره" تعریف شوند. در C++11 کلمهٔ کلیدی codice_1 با معانی مشابه اضافه شده است. بازگشت. تکرار (حلقه) در زبان‌های تابعی معمولاً از طریق بازگشت انجام می‌شود. توابع بازگشتی خود را فراخوانی کرده، یک عمل را آنقدر تکرار می‌کنند تا کنترل اجرا به شرط پایه
را آنقدر تکرار می‌کنند تا کنترل اجرا به شرط پایه برسد. به طور کلی، بازگشت نیازمند نگهداری یک پشته است، که در آن به نسبت خطی با عمق تکرار، حافظه مصرف می‌شود. به همین دلیل استفاده از توابع بازگشتی به جای حلقه در زبان‌های دستوری امری بسیار پرهزینه است به طوری که استفاده از تکرار معمولاً ناممکن است. با این حال، یک فرم خاص از بازگشت وجود دارد که به عنوان فراخوانی از انتها شناخته می‌شود. در این حالت خاص کامپایلر می‌تواند همان کدی را تولید کند که در صورت نوشتن حلقه تولید می‌شد. بهینه‌سازی بازگشتی می‌تواند به شکل
تولید می‌شد. بهینه‌سازی بازگشتی می‌تواند به شکل تبدیل برنامه در حین کامپایل به CPS پیاده‌سازی شود. همچنین روش‌های دیگری برای پیاده‌سازی این بهینه‌سازی وجود دارد. استاندارد زبان اسکیم پیاده‌سازی بازگشت از انتها را الزام می‌کند. به این معنی که پیاده‌سازی‌ها باید تعداد نامحدودی از فراخوانی‌های فعال بازگشت از انتها را پشتیبانی کنند. بازگشت از انتها صرفاً به‌منظور بهینه‌سازی استفاده نمی‌شود: این ویژگی به کاربران اطمینان می‌دهد که می‌توانند برای توصیف یک حلقه از بازگشت استفاده کنند؛ با این تضمین که انجام این کار
استفاده کنند؛ با این تضمین که انجام این کار از نظر حافظه بهینه است. علاوه بر این، بر خلاف نام آن، تمام فراخوانی‌های انتها را شامل می‌شود (نه فقط بازگشت از انتها). اگرچه بازگشت از انتها معمولاً با تبدیل کد به حلقه‌های دستوری پیاده‌سازی می‌شود؛ پیاده‌سازی‌ها می‌توانند آن را به روش‌های دیگری نیز پیاده‌سازی کنند. به‌عنوان مثال، CHICKEN عمداً یک پشته نگهداری کرده و اجازه می‌دهد سرریز کند. با این حال، هنگامی که این اتفاق می‌افتد، زباله‌روب آن حافظه را برمی‌گرداند به این ترتیب تعداد نامحدودی از فراخوانی‌های فعال
به این ترتیب تعداد نامحدودی از فراخوانی‌های فعال از نوع فراخوانی از انتها پشتیبانی می‌شوند. (علی‌رغم این که حلقه‌ای تولید نشده است). الگوهای بازگشتی متداول را می‌توان به وسیلهٔ انتزاع توابع مرتبهٔ بالاتر کنار زد. معروف‌ترین مثال‌های این روش کاتامورفیزم و آنامورفیزم (یا همان «تا کردن» و «باز کردن») هستند. این چنین طر‌ح‌های بازگشتی، نقشی مشابه ساختارهای کنترل داخلی مانند حلقه‌ها در زبان‌های دستوری دارند. اغلب زبان‌های برنامه‌نویسی تابعی، توابع بازگشتی را به‌صورت نامحدود پشتیبانی کرده و تورینگ-کامل هستند. به
نامحدود پشتیبانی کرده و تورینگ-کامل هستند. به این ترتیب مسئلهٔ توقف در این زبان‌ها تصمیم‌ناپذیر بوده و می‌تواند باعث ناکامل بودن استدلال جبری شوند. بر همین اساس به طور کلی نیاز به وارد کردن ناسازگاری در منطق بیان شده توسط سیستم نوع زبان وجود دارد. بعضی از زبان‌های خاص‌منظوره مانند کو فقط بازگشت خوش‌تعریف را پشتیبانی کرده و قویاً نرمالیزه هستند. (به این معنی که محاسبات بی‌توقف را تنها می‌توان با استفاده از جریان بی‌نهایتی از مقادیر به نام codata بیان کرد). در نتیجه این زبان‌ها تورینگ-کامل نیستند و تعریف
در نتیجه این زبان‌ها تورینگ-کامل نیستند و تعریف ردهٔ خاصی از توابع در آن‌ها ناممکن است، با این وجود با استفاده از این زبان‌ها می‌توان ضمن جلوگیری از مشکلات ایجاد شده توسط بازگشت نامحدود؛ ردهٔ گسترده‌ای از محاسبات کاربردی را توصیف کرد. برنامه‌نویسی کاربردی که محدود به توابع بازگشتی خوش‌تعریف بوده و چند محدودیت دیگر نیز بر آن اِعمال شده باشد، برنامه‌نویسی کاملاً تابعی نامیده می‌شود. ارزیابی دقیق در مقابل ارزیابی نادقیق. زبان‌های تابعی را می‌توان براساس نحوهٔ ارزیابی آرگومان‌های توابع، به دو دستهٔ "دقیق
ارزیابی آرگومان‌های توابع، به دو دستهٔ "دقیق (مشتاق)" یا "نادقیق (تنبل)" دسته‌بندی کرد. تفاوت فنی در معناشناسی عبارات حاوی محاسبات خطادار یا واگرا است. در ارزیابی دقیق، ارزیابی هر جمله حاوی زیرمجموعه‌ای خطادار، با خطا مواجه می‌شود. به عنوان مثال، عبارت: &lt;syntaxhighlight&gt; print length([2+1, 3*2, 1/0, 5-4]) &lt;/syntaxhighlight&gt; تحت ارزیابی دقیق، به دلیل تقسیم صفر در عنصر سوم لیست خطا ارزیابی می‌شود. تحت ارزیابی تنبل، تابع طول مقدار 4 را برمی‌گرداند؛ زیرا تلاش نمی‌کند تمام جملات تشکیل دهندهٔ لیست را
زیرا تلاش نمی‌کند تمام جملات تشکیل دهندهٔ لیست را ارزیابی کند. به طور خلاصه، ارزیابی دقیق همیشه به طور کامل آرگومان‌های تابع را قبل از فراخوانی ارزیابی می‌کند. ارزیابی تنبل آرگومان‌های تابع را ارزیابی نمی‌کند، مگر اینکه مقادیر آن‌ها برای فراخوانی تابع ضروری باشد.
بیگُم دختر هاتف، متخلص به رَشحه*، (۱۱۹۸ ه‍.ق - ؟) شاعر ایرانی در دوران قاجار بود. زندگی‌نامه. پدرِ بیگم (هاتف اصفهانی)، شوهرش (میرزا علی‌اکبر، متخلص به «نظیری»)، پسرش (میرزا احمد متخلص به «کشته»)، و برادرش (سید محمد متخلص به «سحاب») نیز همگی شاعر بودند.مقام شعریِ بیگم از برادرش «سحاب» بلندتر بود. او از سادات بود و مدح بعضی از دختران و پسران فتحعلی‌شاه قاجار می‌گفت. محمودمیرزا در "تذکرهٔ نقل مجلس" می‌نویسد «رشحه شاعری بسیار توانا بود و «با لاله خاتون و مهری هروی و مهستی گنجوی، که مهتر و بهترِ شعرای نسوان
هروی و مهستی گنجوی، که مهتر و بهترِ شعرای نسوان می‌باشند، همسر و برابر است.»تاریخ دقیق مرگ وی مشخص نیست، ولی تا سال ۱۲۳۱ ه‍. ق رشحه هنوز زنده بوده‌است.یگم دختر هاتف، متخلص به رَشحه متولد 1168 شمسی یک شاعره ایرانی در دوران قاجار بود. او و پدرش هاتف اصفهانی، شوهرش میرزا علی اکبر (نظیری)، پسرش میرزا احمد (کشته) و برادرش سید محمد (سحاب)، همگی شاعر بودند. مقام و جایگاه شعری بیگم از برادرش «سحاب» بلندتر و پر آوازه تر بود، او همچنان از خانواده سادات بود. او در مدح دختران و پسران فتحعلی شاه قاجار شاعری توانا بود
دختران و پسران فتحعلی شاه قاجار شاعری توانا بود شعر های زیادی سرود و مورد توجه ویژه دربار قاجاری بود. محمودمیرزا از توانایی شعری او تعریف کرده و دیوان شعر بیگم را به گفته‌ی او از بهترین دیوان‌های یک زن شاعر ایرانی دانسته است. متأسفانه دیوان او در دسترس نیست ولی تذکره نقل مجلس به شعرهایش اشاره شده. رشحه در اشعار او به معنای چکه و قطره بوده و او از پدرش علوم انسانی و صرف و نحو را آموخته و با نظیری ازدواج کرده است. آثار. "دیوان شعر بیگم"، به گفتهٔ محمودمیرزا، سه‌هزار بیت شعر داشت که از بهترین و بزرگترین
سه‌هزار بیت شعر داشت که از بهترین و بزرگترین دیوان‌های یک زن شاعر ایرانی بود که در دست نیست. در تذکرهٔ "نقل مجلس" صد بیت از شعرهای او و در ضمیمهٔ "دیوان هاتف" هفتادوپنج بیت آمده‌است. نمونه شعر. بخشی از یک غزل:
گونار اکلوف شاعر و نویسنده سوئدی است. از او به عنوان "اولین شاعر سوررئالیست سوئد" یاد می‌شود. وی از سال ۱۹۵۸ تا زمان مرگش (۱۹۶۸) عضو فرهنگستان سوئد بود. زندگی‌نامه. گونار اکلوف در خانواده‌ای ثروتمند در ۱۵ سپتامبر ۱۹۰۷ در استکهلم به دنیا آمد. در جوانی مجذوب عرفان شرقی شد. با نوشته‌های «ابن‌عربی» آشنا گشت، به قول خودش، آنچه را که «سمبولیسم» و «سوررآلیسم» می‌توان دانست، نخست از این راه دریافت. در اندیشه مهاجرت به هند بود به همین خاطر به لندن سفر نمود تا در «مدرسهٔ السنهٔ شرقی» تحصیل کند، اما بعد از مدتی از این
السنهٔ شرقی» تحصیل کند، اما بعد از مدتی از این تصمیم منصرف شد و به سوئد بازگشت تا در رشته زبان و ادبیات فارسی در دانشگاه اوپسالا تحصیل کند. هر چند بعد از مدتی، به علت بیماری طولانی از ادامهٔ تحصیل دست کشید. زمانی بود که وی نخستین شعرش را نگاشت. دومین سودای بزرگ و دیرپایش موسیقی بود و در سال‌های ۱۹۲۰ به پاریس رفت تا موسیقی بیاموزد، اما دیگر غرق جذبه‌های شعر شده بود. در پاریس بود که بیشتر شعرهای نخستین کتابش «دیرگاه بر زمین» را نوشت. این کتاب در ۱۹۳۲ منتشر شد و توجه ناقدان شعر را چندان جلب نکرد. اما هنگامی
و توجه ناقدان شعر را چندان جلب نکرد. اما هنگامی که کتاب «آواز گذر» را در ۱۹۴۱ منتشر کرد، دیگر به‌عنوان یکی از پیشروان شعر معاصر سوئد شناخته شده بود. دیوان شاهزاده Emgion (۱۹۶۵) و «قصهٔ فاطمه» (۱۹۶۶) از دیگر آثار اکلوف می باشند. وی آخرین کتابش را با عنوان «راهنمای جهان زیرین» در سال ۱۹۶۷ منتشر شد. اکلوف بر اثر بیماری سرطان گلو در ۱۶ مارس ۱۹۶۸ در سن در سیگتونا درگذشت.
عالمتاج قائم‌مقامی متخلص به ژاله (اسفند ۱۲۶۲، فراهان – ۵ مهر ۱۳۲۶، تهران) شاعر ایرانی بود. حسین پژمان بختیاری فرزند اوست. در دوران عمرش اشعار بسیاری گفته که آنها را سوزانده و از بین برده است. ۹۱۷ بیت از اشعارش باقی مانده که پسرش حسین پژمان بختیاری، آن‌ها را بازبینی، جمع‌آوری و چاپ کرد. اشعار این شاعر نشان می‌دهد که چقدر پاکدامن و طرفدار حقوق زن بوده و عفت و پاکی را با صراحت در گفتار درهم آمیخته است. اگر اشعارش را از بین نبرده بود، یکی از سرآمدان شاعران این مملکت بود. اگر چه با همین مقدار هم مقام او بسیار
مملکت بود. اگر چه با همین مقدار هم مقام او بسیار بالا است. او را به دلیل توجه بسیار به اشیا به ویژه به آینه، «شاعر آینه‌ها» نام داده‌اند. زندگی‌نامه. ژاله در اسفندماه ۱۲۶۲ خورشیدی در فراهان زاده شد. مادرش مریم یا گوهر ملک دختر معین الملک بود و پدرش میرزا فتح‌الله نوه قائم مقام فراهانی. او در پنج سالگی خواندن فارسی و عربی را نزد یک شیخ آغاز کرد و تا پانزده سالگی دروس دیگر را آموخت. در پانزده سالگی همراه خانواده اش به تهران رفت و در سال ۱۳۱۷ ق. با دوست پدرش، علی‌مرادخان بختیاری (علی‌مراد خان میرپنج بختیاری،