payamvha/North_RAG huggingface dataset:
تشکیل یک برنامه اجرایی پیوند داده شده‌اند باید دارای رویهای باشد که با یکی از امضاها مطابقت داشته باشد: export proc ~start () export proc ~start (int argc, ref array ref array char argv) این مشابه تابع اصلی در زبان های C و جاوا است. دراینجا argc شامل تعداد پارامتر های ارسال‌شده در خط فرمان است و argv دارای ارجاع به آرایه‌ای از رشته های argc + 1 می‌باشد (یک رشته به ازای هر پارامتر موقعیتی به ترتیب و یک پایان nil داراست). علاوه بر این، ماژول‌ ها ممکن است به صورت اختیاری دارای رویه‌های راه‌اندازی و خاموش‌شدن
اختیاری دارای رویه‌های راه‌اندازی و خاموش‌شدن باشند که در هنگام راه‌اندازی و خاموش شدن برنامه فراخوانی شده‌اند که با آثار مطابقت داشته باشند: export proc ~startup () export proc ~shutdown () پیونددهنده هر گونه اطلاعات لازم header که مورد نیاز سیستم عامل است را برای اجرای برنامه اضافه می‌کند و مطمئن می‌شود که کد پشتیبانی اسمبلر کتابخانه زمان اجرا، اجرا می شود که محیط زمان اجرا (اشاره‌گرهای داده و پشته) را تنظیم می کند و کنترل را به رویه ی آغازین برنامه منتقل می‌کند. یک فایل راهنما (نقشه) که نام همه
منتقل می‌کند. یک فایل راهنما (نقشه) که نام همه ماژول‌های مرتبط برای تشکیل برنامه را به همراه داده‌های global و مراجع کد نشان می‌دهد به‌صورت اختیاری تولید می‌شود که می‌تواند توسط دیباگرها (Debuggers) و profilers استفاده شود. منابع. ISBN D-201-10073-8 Aho, Ullman Principles of Compiler Design ISBN D-201-10194-7 Aho, Sethi, Ullman Compilers Principles, Techniques and Tools Wade, Stephen (June 1996). "Charm or trinket?". Acorn User. pp. 50–51. Retrieved 28 August 2021. Wraith, Gavin (January 2012). "The Charm
2021. Wraith, Gavin (January 2012). "The Charm language: a review". Archive. Vol. 23, no. 4. p. 13. Retrieved 2021-08-28. June 2013 Kindle e-book Charm Programming on the Raspberry Pi Charm RISC OS, language page ISBN 0-9512579-0-0 Peter Cockerell ARM Assembly Language Programming لینک های خارجی. Charm for RISC OS Risc PC Emulator ARM Information Center
باشگاه فوتبال دیفردانژ ۰۳ () یک باشگاه فوتبال مستقر در دیفردانژ، لوکزامبورگ است. تاریخچه. این باشگاه در سال ۲۰۰۳ از ادغام دو باشگاه فوتبال دیفردانژ ردبویز و ای. اس دیفردانژ تشکیل شد.
ماه افتخار معمولاً ماه ژوئن است مجموعه‌ای از جشن‌ها و بزرگداشت‌هایی است که به لزبین‌ها، همجنس‌گرایان، دوجنس‌گرایان و تراجنسیتی‌ها (ال‌جی‌بی‌تی) اختصاص دارد. ماه افتخار پس از شورش‌های استون‌وال در سال ۱۹۶۹ آغاز شد و از آن زمان تا کنون در سرتاسر جهان برگزار می‌شود. تاریخچه. ریشه. مفهوم ماه افتخار با شورش‌های استون‌وال آغاز شد، مجموعه‌ای از شورش‌ها برای آزادی گی که طی چند روز از ۲۸ ژوئن ۱۹۶۹ شروع شد. شورش‌ها پس از حمله پلیس به بار استون‌وال، یک بار همجنس‌گرایان در منهتن جنوبی در نیویورک سیتی آغاز شد. سال بعد،
در منهتن جنوبی در نیویورک سیتی آغاز شد. سال بعد، اولین رژه افتخار در چندین شهر آمریکا برگزار شد. راهپیمایی در نیویورک سیتی، با هدف جشن گرفتن «روز آزادی خیابان کریستوفر»، در کنار راهپیمایی‌های هماهنگ دیگری در سراسر ایالات متحده، به عنوان نقطه عطفی برای حقوق دگرباشان جنسی در جهان در نظر گرفته می‌شود. فرد سارجنت، سازمان‌دهنده برخی از اولین راهپیمایی‌ها گفت که هدف از بزرگداشت شورش‌های استون‌وال، فشار بیشتر برای آزادی بود. او خاطرنشان کرد که در حالی که اولین راهپیمایی‌ها بیشتر به یک اعتراض شبیه بود تا یک جشن،
بیشتر به یک اعتراض شبیه بود تا یک جشن، به یادآوری جامعه دگرباشان جنسی کمک کرد. با این حال، زنان تراجنسیتی و رنگین‌پوستان در طول راهپیمایی‌های اولیه، طرد یا ساکت شدند. گسترش و جشن. به دنبال شورش‌های استون‌وال و اولین رژه‌های افتخار، تعداد گروه‌های دگرباشان جنسی به سرعت افزایش یافت، و جنبش افتخار پس از چند سال در سراسر ایالات متحده گسترش یافت. از سال ۲۰۲۰، بیشتر جشن‌های افتخار در مناطق شهری بزرگ در سراسر جهان در ماه ژوئن برگزار می‌شود، اگرچه برخی از شهرها این جشن‌ها را در زمان‌های مختلف سال برگزار می‌کنند تا
جشن‌ها را در زمان‌های مختلف سال برگزار می‌کنند تا حدی به این دلیل که آب و هوای ماه ژوئن برای چنین رویدادهایی در آنجا نامناسب است. روز جهانی افتخار. روز جهانی افتخار ال‌جی‌بی‌تی روزی است که به افتخار ال‌جی‌بی‌تی اختصاص داده شده است. این مراسم در روز ۲۸ ماه ژوئن به مناسبت سالگرد شورش‌های استون‌وال برگزار می‌شود. این روز بخشی از ماه افتخار است. رسمیت. در ژوئن ۱۹۹۹، بیل کلینتون، رئیس‌جمهور ایالات متحده، «سالگرد [شورش] استون‌وال را هر ماه ژوئن در آمریکا به عنوان ماه افتخار گی‌ها و لزبین‌ها اعلام کرد». ] در سال
ماه افتخار گی‌ها و لزبین‌ها اعلام کرد». ] در سال ۲۰۱۱، پرزیدنت باراک اوباما، ماه افتخار را که رسماً به رسمیت شناخته شده‌بود، گسترش داد تا کل جامعه ال‌جی‌بی‌تی را دربر گیرد]] در سال ۲۰۱۷، دونالد ترامپ از ادامه به رسمیت شناختن فدرال ماه افتخار در ایالات متحده خودداری کرد، ] اگرچه بعداً در سال ۲۰۱۹ در توییتی که بعداً به عنوان اعلامیه ریاست جمهوری مورد استفاده قرار گرفت، آن را به رسمیت شناخت. جو بایدن پس از روی کار آمدن در سال ۲۰۲۱، ماه افتخار را به رسمیت شناخت و متعهد شد که برای حقوق جامعه ال‌جی‌بی‌تی در
و متعهد شد که برای حقوق جامعه ال‌جی‌بی‌تی در ایالات متحده فشار بیاورد، ] علیرغم اینکه قبلاً علیه ازدواج همجنس و آموزش مدرسه در مورد موضوعات دگرباشان جنسی در سنا رأی داده بود. ]
در برنامه‌نویسی تابعی، روشِ "ادامه‌دهی با انتقال پارمتر" یا CPS، یک روش برنامه‌نویسی است که در آن flow|کنترل به شکل مستقیم و به فرم یک تداوم منتقل می‌شود (یک تداوم، نمایشی خلاصه از وضعیت کنترل یک برنامه کامپیوتری است و در یک زمان خاص از فرایند اجرا، جریان کامپیوتری را نشان می‌دهد). اين روش در تضاد با روش مستقيم (direct style) است كه همان سبک معمول برنامه‌نویسی است. "جرالد جی ساسمن" و "گای ال استیل جونیور"، در گزارش‌ها "اِی.آی مِمو ۳۴۹" در سال ۱۹۷۵ این عبارت را ابداع کردند که باعث به کار افتادن اولین ورژن
را ابداع کردند که باعث به کار افتادن اولین ورژن زبان برنامه‌نویسی "اسکیم" شد. "جان سی رینولدز" شرح مفصلی از اکتشافات متعددِ تداوم‌ها ارائه می‌دهد. مثال‌ها. تابعی که به روش " ادامه‌دهی با انتقال پارمتر " نوشته شده باشد یک آرگومانِ اضافه دریافت خواهد کرد: یک تداوم صریح؛ یعنی یک تابع با یک آرگومان. وقتی تابع نوشته شده با روش " ادامه‌دهی با انتقال پارمتر " مقدار نهایی خود را حساب کند، با صدا زدن تابع تداوم و دادن مقدار نهایی به آن به عنوان آرگومان، آن را برمی‌گرداند. این بدان معناست که هنگام فراخوانی یک تابع
این بدان معناست که هنگام فراخوانی یک تابع CPS، تابع صدا زده شده وظیفه دارد که عملکرد و رویه‌ای فراهم کند تا همراه با مقدار بازگشتی زیر-روال فراخوانی شود.( زیر-روال مجموعه‌ای از دستورالعمل‌ها با نام یا آدرس خاصی هستند که هنگام احضار توسط برنامه اصلی اجرا می‌شوند). بيان كردن كد به این شکل، چیزهایی را صریح و مستقیم می‌کند که در روش برنامه‌نویسی مستقیم، به صورت ضمنی هستند. این‌ها عبارتند از : بازگشت‌های رویه‌ها، که به عنوان فراخوانی تداوم‌ها آشکار می‌شود؛ مقادیر میانی، که همگی اسم‌های داده شده هستند؛ ترتیب
میانی، که همگی اسم‌های داده شده هستند؛ ترتیب ارزیابی آرگومان‌ها، که صریح و مستقیم شده‌اند؛ و فراخوانی انتهایی که به سادگی یک رویه را با همان تداومِ تغییر نیافته که به صداکننده انتقال داده شده بود، فراخوانی می‌کند. برنامه‌ها می‌توانند به شکل خودکار از روش مستقیم به روش CPS تغییر پیدا کنند. کامپایلرهای تابعی و منطقی معمولاً از CPS به عنوان یک نمایش میانی استفاده می‌کنند در جایی که یک کامپایلر برای یک زبان برنامه‌نویسی امری یا رویه‌ای از فرم تخصیص تک‌ایستا (SSA) استفاده می‌کند. SSA به شکل رسمی معادل با
(SSA) استفاده می‌کند. SSA به شکل رسمی معادل با زیرمجموعه‌ای از CPS است ( به استثنای جریان کنترل غیرمحلی، که زمانی که CPS به عنوان نمایش میانی استفاده می‌شود، اتفاق نمی‌افتد). کامپایلرهای تابعی همچنین می‌توانند به جای استفاده از thunk در CPS، که زیربرنامه‌ای است برای تزریق محاسبات به زیربرنامه دیگر، از فرم آنرمال (ANF) استفاده کنند (اما فقط برای زبان‌هایی که نیاز به تکنیک ارزیابی مشتاقانه دارند (تکنیک مشتاقانه یک روش است که در آن یک عبارت، به محض اینکه به یک متغیر محدود شود یا به عنوان یک آرگومان انتقال
یک متغیر محدود شود یا به عنوان یک آرگومان انتقال داده شود، ارزیابی می‌شود.)). CPS بیشتر توسط کامپایلرها استفاده می‌شود تا به عنوان یک سبک کلی یا محلی توسط برنامه‌نویس‌ها. در CPS هر تابع، یک آرگومان اضافه می‌گیرد که نمایان‌کننده این است که باید روی نتیجه‌ای که تابع محاسبه می‌کند، چه عملی انجام شود. این موضوع، همراه با یک سبک محدود‌کننده که انواع مدل‌هایی که معمولاً در دسترس هستند را ممنوع می‌کند، استفاده می‌شود تا معانی برنامه‌ها را نماش دهد و درنتیجه، تحلیل آن‌ها را ساده‌تر کند. این روش همچنین، بیان
تحلیل آن‌ها را ساده‌تر کند. این روش همچنین، بیان ساختارهای کنترل غیرمعمولی مثل پرتاب کردن/گرفتن یا سایر انتقال‌های غیرمحلی را آسان می‌کند. راز CPS این است که به یاد داشته باشیم : یک) هر تابعی یک آرگومان اضافی با عنوان "تداوم" تابع می‌گیرد و دو) هر آرگومانی در یک فراخوانی تابع باید یا یک متغیر باشد یا عبارت لامبدا (نه یک عبارت پیچیده‌تر). تاثیر این کار این است که عبارت انگاری پشت‌ورو می‌شود؛ زیرا قسمت‌های داخلی عبارات باید زودتر ارزیابی شوند، که در نتیجه CPS ترتیب ارزیابی را نیز همانند جریان کنترل صریح و
ترتیب ارزیابی را نیز همانند جریان کنترل صریح و مستقیم می‌کند. تعدادی مثال از کد به روش مستقیم و CPS متناظر با آن در پایین دیده می‌شود. این مثال‌ها به زبان برنامه‌نویسی اسکیم نوشته شده‌اند؛ طبق قرارداد تابع تداوم با "k" نمایش‌ داده شده است: توجه کنید که در ورژن CPS، متغیرهای اولیه استفاده‌شده، مثل &amp;+ و &amp;* خودشان CPS هستند نه روش مستقیم، بنابراین برای اینکه مثال‌های بالا در سيستم زبان اسكيم كار كنند نياز داريم كه ورژن CPS آن‌ها را بنویسیم. برای مثال &amp;* به این وسیله تعریف می‌شود: (k (* x y))) برای
به این وسیله تعریف می‌شود: (k (* x y))) برای اینکه این‌کار را در حالت کلی انجام دهیم، می‌توانیم یک روال تبدیل بنویسیم: (lambda args (let ((r (reverse args))) ((car r) (apply f (reverse (cdr r))))))) برای اینکه یک رویه را که در CPS نوشته شده است از یک رویه‌ی دیگر که درون رویه‌ی مستقیم نوشته شده است فراخوانی کنیم، لازم است که یک تداوم فراهم کنیم که نتیجه محاسبه شده توسط رویه نوشته شده در CPS را دریافت می‌کند. در مثال بالا (با این فرض که مقادیر اولیه CPS ارائه شده باشد)، ممکن است تابع زیر را صدا بزنیم:
ارائه شده باشد)، ممکن است تابع زیر را صدا بزنیم: codice_1 در بین کامپایلرها تنوعی برای ارائه توابع اولیه در CPS وجود دارد. در مثال‌های بالا ما از ساده‌ترین قرارداد استفاده کردیم، با این حال گاهی اوقات مقادیر اولیه بولین ارائه می‌شوند که دو thunk می‌گیرند تا در دو حالت متفاوت فراخوانی بشوند، پس به جای فراخوانیِ codice_2 در داخل تعریفِ codice_3 به این شکل نوشته خواهد شد: codice_4 به همین شکل، گاهی اوقات بخش "if" خودش در CPS موجود نیست بلکه یک تابع به شکل زیر تعریف خواهد شد: codice_5 که سه آرگومان دریافت
زیر تعریف خواهد شد: codice_5 که سه آرگومان دریافت خواهد کرد: یک شرط با مقدار درست یا غلط، و دو thunk متناظر با دو بازوی شرط. متن بالا نشان می‌دهد که CPS یک تحول جهانی است. فاکتوریلِ روش مستقیم، همان‌طور که انتظار می‌رود، یک آرگومان دریافت خواهد کرد؛ اما فاکتوریل CPS که یک &amp; در آخر اسم خود دارد دو آرگومان می‌گیرد: خود آرگومان معمول و یک تداوم. هر تابعی که یک تابع CPS شده را فراخوانی می‌کند باید یا تداوم جدیدی ارائه کند یا تداوم خودش را منتقل کند؛ هر فراخوانی از یک تابع CPS شده به یک تابع غیرCPS از یک
از یک تابع CPS شده به یک تابع غیرCPS از یک تداوم ضمنی استفاده خواهد کرد. درنتیجه، برای مطمئن شدن از نبود یک استک مربوط به توابع، کل برنامه باید به CPS نوشته شده باشد. سی.پی.اس در هَسکِل. در این بخش ما یک تابع به اسم codice_6 می‌نویسیم که با استفاده از قضیه فیثاغورث، هیپوتنوز را محاسبه می‌كند. {هیپوتنوز به معنای طولانی‌ترین ضلع مثلث قائم الزاویه نسبت به طول قاعده و عمود بر آن است.} یک پیاده‌سازی سنتی از این تابع به شکل زیر خواهد بود: pow2 :: Float -&gt; Float pow2 a = a ** 2 add :: Float -&gt; Float -&gt;
pow2 a = a ** 2 add :: Float -&gt; Float -&gt; Float add a b = a + b pyth :: Float -&gt; Float -&gt; Float pyth a b = sqrt (add (pow2 a) (pow2 b)) برای اینکه این تابع سنتی را به CPS تبدیل کنیم، نیاز داریم امضای تابع، یعنی شیوه تعریف ورودی و خروجی‌های آن را عوض کنیم. تابع یک آرگومان دیگه از جنس تابع دریافت خواهد کرد و نوع نتیجه برگشتی آن، به این تابع وابسته خواهد بود: pow2' :: Float -&gt; (Float -&gt; a) -&gt; a pow2' a cont = cont (a ** 2) add' :: Float -&gt; Float -&gt; (Float -&gt; a) -&gt; a add' a b
Float -&gt; (Float -&gt; a) -&gt; a add' a b cont = cont (a + b) -- Types a -&gt; (b -&gt; c) and a -&gt; b -&gt; c are equivalent, so CPS function -- may be viewed as a higher order function sqrt' :: Float -&gt; ((Float -&gt; a) -&gt; a) sqrt' a = \cont -&gt; cont (sqrt a) pyth' :: Float -&gt; Float -&gt; (Float -&gt; a) -&gt; a pyth' a b cont = pow2' a (\a2 -&gt; pow2' b (\b2 -&gt; add' a2 b2 (\anb -&gt; sqrt' anb cont))) ابتدا مربع "a" را در تابع محاسبه می‌کنیم و یک تابع لامبدا را به عنوان تداوم انتقال
می‌کنیم و یک تابع لامبدا را به عنوان تداوم انتقال می‌دهیم، که مربع "a" را به عنوان آرگومان خواهد پذیرفت. و همین‌طور ادامه خواهد یافت تا به نتیجه محاسبات برسیم. برای به دست آوردن نتیجه این تابع می‌توانیم تابع "id" را به عنوان آرگومان نهایی منتقل کنیم که مقداری را که به آن ارسال شده بدون تغییر برمی‌گرداند: codice_7 کتابخانه mtl که با GHC قابل دسترس می‌شود، دارای ماژولی به نام زیر است: codice_8 این ماژول تایپ Cont را ارائه می‌دهد، که تابع‌های مفیدی مثل تابع Monad را پیاده‌سازی می‌کند. قطعه زیر تابع codice_9
را پیاده‌سازی می‌کند. قطعه زیر تابع codice_9 را که در بالا نشان دادیم با استفاده از تایپ Cont نشان می‌دهد: pow2_m :: Float -&gt; Cont a Float pow2_m a = return (a ** 2) pyth_m :: Float -&gt; Float -&gt; Cont a Float pyth_m a b = do a2 &lt;- pow2_m a b2 &lt;- pow2_m b anb &lt;- cont (add' a2 b2) r &lt;- cont (sqrt' anb) return r نه تنها سینتکس زبان تمیزتر شده است، بلکه این تایپ به ما این امکان را می‌دهد تا از فانکشن codice_10 با تایپ زیر استفاده کنیم: codice_11 این تابع یک آرگومان از جنس تابع دارد؛ این
این تابع یک آرگومان از جنس تابع دارد؛ این آرگومان، تابع را نیز می‌پذیرد، که تمام محاسبات پس از فراخوانی آن را کنار می‌گذارد. برای مثال، بیایید اجرای تابع pyth را، اگر حداقل یکی از آرگومان‌های آن منفی باشد با برگرداندن صفر بشکنیم: pyth_m :: Float -&gt; Float -&gt; Cont a Float pyth_m a b = callCC $ \exitF -&gt; do -- $ sign helps to avoid parentheses: a $ b + c == a (b + c) when (b &lt; 0 || a &lt; 0) (exitF 0.0) -- when :: Applicative f =&gt; Bool -&gt; f () -&gt; f () a2 &lt;- pow2_m a b2 &lt;- pow2_m b
() -&gt; f () a2 &lt;- pow2_m a b2 &lt;- pow2_m b anb &lt;- cont (add' a2 b2) r &lt;- cont (sqrt' anb) return r تداوم به عنوان شئ. برنامه‌نویسی با تداوم‌ها، همچنین می‌تواند زمانی مفید باشد که صدا زننده نمی‌خواهد منتظر کامل شدن تابعِ صداشده بماند. به عنوان مثال در برنامه‌نويسی رابط کاربری (UI)، یک روال می‌تواند کادرهای محاوره‌ای تنظیم کند و آن‌ها را به همراه یک تابع تداوم، به چارچوب UI ارسال کند. وقتی کاربر دکمه "OK" را فشار دهد، فریمورک تابع تداوم را با فیلدهای به‌روزشده صدا می‌زند. با اینکه این روش کد‌
به‌روزشده صدا می‌زند. با اینکه این روش کد‌ زدن از تداوم‌ها استفاده می‌كند،‌ اما به‌طور كامل CPS نیست. function confirmName() { fields.name = name; framework.Show_dialog_box(fields, confirmNameContinuation); function confirmNameContinuation(fields) { name = fields.name; زمانی که تابع باید در یک رشته یا پردازدنده متفاوت اجرا شود، می‌توان از ایده مشابهی استفاده کرد. فریمورک، می‌تواند تابع صدازده‌شده را در یک رشته کارگر اجرا کند، سپس تابع تداوم را در رشته اولیه با نتیجه رشته کارگر فراخوانی کند. کد زیر به زبان
با نتیجه رشته کارگر فراخوانی کند. کد زیر به زبان Java 8 و با استفاده از فریمورکd "UI" به نام Swing نوشته شده است: void buttonHandler() { // This is executing in the Swing UI thread. // We can access UI widgets here to get query parameters. int parameter = getField(); new Thread(() =&gt; { // This code runs in a separate thread. // We can do things like access a database or a // blocking resource like the network to get data. int result = lookup(parameter); javax.swing.SwingUtilities.invokeLater(() =&gt; {
javax.swing.SwingUtilities.invokeLater(() =&gt; { // This code runs in the UI thread and can use // the fetched data to fill in UI widgets. setField(result); }).start(); فراخوانی‌های نهایی. هر فراخوانی در CPS یک فراخوانی نهایی است، و تداوم مستقیماً منتقل می‌شود. استفاده از CPS بدون بهینه‌سازی فراخوانی نهایی (TCO)، نه تنها باعث می‌شود که تداوم ساخته‌شده به‌طور بالقوه در طول بازگشت رشد کند، بلکه حتی برای فراخوان پشته (کال استک) نیز همین اتفاق می‌افتد. این اتفاق معمولاً نامطلوب است، اما به روش‌های جالبی مورد
معمولاً نامطلوب است، اما به روش‌های جالبی مورد استفاده قرار گرفته است – به کامپایلر Chicken Scheme مراجعه کنید. همان‌طور که CPS و TCO مفهوم بازگشت ضمنی تابع را حذف می‌کنند، استفاده ترکیبی از آن‌ها می‌تواند نیاز به استکِ زمانِ اجرا (run-time stack) را نیز حذف کند. بسیاری از کامپایلرها و مفسرهای زبان‌های برنامه‌نویسی تابعی، از این توانایی به روش‌های جدیدی استفاده می‌کنند. استفاده و پیاده‌سازی. از روش "ادامه‌دهی با انتقال پارمتر" می‌توان برای پیاده‌سازی تداوم‌ها و کنترل عملگر‌های جریان در یک زبان تابعی که
و کنترل عملگر‌های جریان در یک زبان تابعی که دارای تداوم‌های کلاس-اول نیست اما دارای توابع کلاس-اول و بهینه‌سازی فراخوانی نهایی است، استفاده کرد. بدون بهینه‌سازی فراخوانی نهایی، می‌توان از تکنیک‌هایی مانند ترامپولین کردن، یعنی استفاده از حلقه‌ای که به‌طور مکرر توابع برگشت‌دهنده‌ی thunk را فراخوانی می‌کند، استفاده کرد. بدون توابع درجه یک، حتی می‌توان در چنین حلقه‌ای فراخوانی‌های نهایی را به فقط گوتوس(gotos، اصطلاح مربوط به فراخوانی‌های نهایی) تبدیل کرد. کد زدن در CPS، اگرچه غیر ممکن نیست، اغلب مستعد خطاست.
در CPS، اگرچه غیر ممکن نیست، اغلب مستعد خطاست. ترجمه‌های مختلفی وجود دارد که معمولاً به عنوان تبدیل‌های یک انتقاله یا دوانتقاله از محاسبات لامبدای خالص تعریف می‌شوند که عبارات سبک مستقیم را به عبارت CPS تبدیل می‌کنند. با این حال، کد زدن به سبک ترامپولین بسیار دشوار است. زمانی که این روش استفاده می‌شود، معمولاً هدف نوعی تغییر شکل است، مانند کامپایل کردن. توابعِ استفاده‌کننده از بیش از یک تداوم را می‌توان برای گرفتن پارادایم‌های مختلف جریان کنترل تعریف کرد؛ به عنوان مثال (به زبان اسکیم): (=&amp; y 0.0
کرد؛ به عنوان مثال (به زبان اسکیم): (=&amp; y 0.0 (lambda (b) (if b (err (list "div by zero!" x y)) (ok (/ x y)))))) شایان ذکر است که تبدیل CPS از نظر مفهومی یک جاسازی یوندا است. همچنین شبیه جاسازی محاسبات لامبدا در محاسبات عدد پی نیز هست. استفاده در زمینه‌های دیگر. در خارج از علوم کامپیوتر، CPS به عنوان جایگزینی برای روش مرسوم برای ترکیب عبارات ساده به عبارات پیچیده مورد توجه عمومی است. برای مثال، در معناشناسی زبانی، کریس بارکر و همکارانش پیشنهاد کرده‌اند که تعیین نشانه‌های جملات با استفاده از CPS ممکن
که تعیین نشانه‌های جملات با استفاده از CPS ممکن است پدیده‌های خاصی را در زبان طبیعی توضیح دهد. در ریاضیات، ایزومورفیسم کوری-هاروارد بین برنامه‌های کامپیوتری و برهان‌های ریاضی، ترجمه روش "ادامه دهی به روش انتقال پارامتر" را به تنوعی از تعبیه‌های دو نفی منطق کلاسیک به منطق شهودی (سازنده) مرتبط می‌کند. برخلاف ترجمه دو نفی معمولی، که گزاره‌های اتمی پی را به نگاشت می‌کند، CPS نماد را با تایپ عبارت نهایی جایگزین می‌کند. بر این اساس، نتیجه با انتقال تابع همانی به عنوان تداوم عبارت CPS، مانند مثال بالا، به دست
به عنوان تداوم عبارت CPS، مانند مثال بالا، به دست می‌آید. منطق کلاسیک به خودی خود مربوط به دستکاری تداوم برنامه‌ها به‌طور مستقیم است، همان‌طور که در عملگر کنترلیِ فراخوانی-با-تداوم-فعلی در اسکیم که مشاهده‌ای به دلیل تیم گریفین(با استفاده از عملگر کنترل سیِ بسیار مربوط) است نیز همین‌گونه است. همچنین ببینید. بازگشت نهایی درحین تکنیک ترامپولین
لوید گریفیث (؛ زادهٔ ) مجری تلویزیون، کمدین، بازیگر و خواننده اهل انگلستان است. وی از سال ۲۰۱۰ میلادی تاکنون مشغول فعالیت بوده‌است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "تد لاسو"، "گناه" و "بی‌نهایت" اشاره نمود.
اسکات ون پلت (؛ ) گزارشگر ورزشی و مجری تاک شوهای ورزشی اهل ایالات متحده آمریکا است. وی از سال ۱۹۹۰ میلادی تاکنون مشغول فعالیت بوده‌است. وی عضو انجمن برادری پای کاپا آلفا است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "تد لاسو" اشاره نمود.
آرلو وایت (؛ ) گزارشگر ورزشی اهل ایالات متحده آمریکا است. وی پیش‌تر برای ان‌بی‌سی اسپورتس کار می کرد و گزارشگر لیگ برتر فوتبال انگلستان و فوتبال آمریکایی بود و مدتی هم برای باشگاه فوتبال سیاتل ساندرز و باشگاه فوتبال شیکاگو فایر فعالیت نمود. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "تد لاسو" اشاره نمود.
جف استلینگ (؛ زادهٔ ) روزنامه‌نگار، مجری تلویزیون و گزارشگر ورزشی شبکۀ اسکای اسپورت نیوز اهل بریتانیا است. وی از سال ۱۹۷۸ میلادی تاکنون مشغول فعالیت بوده‌است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "تد لاسو" اشاره نمود.
کریس کامارا (؛ زادهٔ ) بازیکن پیشین فوتبال اهل بریتانیا است که مابین سال های ۱۹۹۲ تا ۲۰۲۲ به عنوان گزارشگر و تحلیل‌گر فوتبال در شبکۀ تلویزیونی اسکای اسپورت فعالیت داشت. از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال برنتفورد، باشگاه فوتبال میدلزبرو، باشگاه فوتبال استوک سیتی، باشگاه فوتبال سوئیندون تاون، باشگاه فوتبال برادفورد سیتی، باشگاه فوتبال شفیلد یونایتد، باشگاه فوتبال پورتسموث، باشگاه فوتبال لوتون تاون، و باشگاه فوتبال لیدز یونایتد اشاره کرد. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در
کرد. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "تد لاسو" (در کنار جف استلینگ) اشاره نمود.
آنالیز غیراستاندارد یک فرمول‌بندی از حساب دیفرانسیل و انتگرال است که در آن از یک مفهوم منطقی دقیق از اعداد بی‌نهایت‌کوچک استفاده می‌شود. آنالیز غیراستاندارد در اوایل دههٔ ۱۹۶۰ میلادی توسط آبراهام رابینسون ارائه شد.
ربه‌کا لو (؛ زادهٔ ) گزارشگر ورزشی و مجری اهل بریتانیا است. وی از سال ۲۰۰۲ میلادی تاکنون مشغول فعالیت بوده‌است. وی دانش‌آموختهٔ دانشگاه ایست آنگلیا است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "تد لاسو" اشاره نمود.
استیو اِج (؛ زادهٔ ) بازیگر و کمدین اهل بریتانیا است. وی از سال ۱۹۹۷ میلادی تاکنون مشغول فعالیت بوده‌است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "مرگ در بهشت"، "افسانه‌های واهی"، "تد لاسو"، "خیابان"، "کروئلا" و "پدینگتون" اشاره نمود.
لیان بست (؛ زادهٔ ) بازیگر اهل بریتانیا است. وی از سال ۲۰۰۳ میلادی تاکنون مشغول فعالیت بوده‌است. از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به "حادثه"، "پزشک‌ها"، "ترفندهای نو"، "جی‌پی کوپر"، "نفوذی"، "ستاره حلبی"، "بیمارستان گود کارما"، "جو کوچولو"، "خیابان کارناوال"، "تد لاسو"،'، '، "خفه شو و برقص" و "ستاره‌های سینما در لیورپول نمی‌میرند" اشاره کرد.
کریس استارک (؛ زادهٔ ) مجری رادیو، دی‌جی، خواننده و مؤلف اهل بریتانیا است. از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "تد لاسو" اشاره نمود.
خودرو سطوح مختلفی از رانندگی خودکار را فعال کند. از آنجایی که بیشتر تصادف‌های جاده‌ای به دلیل خطای انسانی اتفاق می‌افتند، سامانه کمک‌راننده پیشرفته برای خودکارسازی، سازگاری و ارتقای فناوری خودرو برای رانندگی بهتر و ایمن توسعه داده شده‌است. ثابت شده‌است که کمک‌راننده پیشرفته، تلفات جاده‌ای را با به حداقل رساندن خطای انسانی کاهش می‌دهد. قابلیت‌های ایمنی طراحی شده‌اند تا از تصادف‌ها و برخوردها، با ارائه فناوری‌هایی که به راننده در مورد مشکلات هشدار می‌دهند، حفاظ‌ها را اجرا می‌کنند و در صورت نیاز کنترل خودرو
را اجرا می‌کنند و در صورت نیاز کنترل خودرو را به‌دست می‌کیرند، جلوگیری کنند. قابلیت‌های تطبیقی می‌توانند نور را خودکار کنند، کنترل پیمایش سازگار را افراهم کنند، به جلوگیری از برخوردها کمک کنند، جهت‌یابی ماهواره‌ای و هشدارهای ترافیکی را در خود بگنجانند، به رانندگان در مورد موانع احتمالی هشدار دهند، به خروج از مسیر و حرکت مستقیم کمک کنند، مسیریابی کمکی با تلفن‌های هوشمند را ارائه دهند و قابلیت‌های دیگری را فراهم کنند. طبق یک گزارش تحقیقاتی در سال ۲۰۲۱ از "کانالیز"، تقریباً ۳۳ درصد از وسایل نقلیه جدید که در
تقریباً ۳۳ درصد از وسایل نقلیه جدید که در ایالات متحده، اروپا، ژاپن و چین فروخته شدند، قابلیت‌های سامانه کمک‌راننده پیشرفته را داشتند. این شرکت همچنین پیش‌بینی کرد که پنجاه درصد از خودروهای موجود در جاده‌ها تا سال ۲۰۳۰ دارای این سامانه خواهند بود. واژه‌شناسی. بعضی گروه‌ها از استانداردسازی این نام حمایت می‌کنند، مانند اخطار برخورد از جلو و ترمز اضطراری خودکار به جای هشدار برخورد از جلو یا پشتیبانی ترمز شهری هوشمند. چنین استانداردسازی‌هایی توسط AAA, JD Power و SAE International ترویج شده‌اند. مفهوم، تاریخ و
و SAE International ترویج شده‌اند. مفهوم، تاریخ و توسعه. آداس اولین بار در دهه ۱۹۷۰ با استفاده از سامانه ترمز ضدقفل استفاده شد. خیلی زود آداس کنترل پایداری الکترونیکی، ترمزهای ضدقفل، سامانه‌های اطلاعات نقاط کور، هشدار خروج از خط، کروز کنترل تطبیقی و کنترل کشش را شامل شد. این سامانه‌ها می‌توانند با تنظیمات تراز مکانیکی یا آسیب ناشی از یک برخورد تحت تأثیر قرار گیرند. این امر سبب شده‌است تا سازندگان زیادی بعد از انجام یک تراز مکانیکی، نیازمند تنظیم مجدد خودکار این سامانه‌ها باشند. مفاهیم فنی. با تکیه بر
این سامانه‌ها باشند. مفاهیم فنی. با تکیه بر داده‌هایی که محیط بیرون خودرو را نمایش می‌دهند، در مقایسه با داده‌های داخلی، آداس را از دیگر سامانه‌های کمک راننده متمایز می‌کند. آداس به منابع داده‌های متعددی مثل تصویربرداری خودرو، رادار، پردازش تصویر، بینایی رایانه‌ای و شبکه داخلی خودرو متکی است. ورودی‌های بیشتری نیز از منابع دیگر جدا از پلتفرم اولیه وسیله نقلیه از جمله وسایل نقلیه دیگر و زیرساخت امکان‌پذیر است. خودروهای مدرن آداس را به وسایل الکترونیکی خود افزوده‌اند. تولیدکنندگان می‌توانند از طریق ،
خود افزوده‌اند. تولیدکنندگان می‌توانند از طریق ، ویژگی‌های جدید را در فرایند طراحی یا پس از تولید اضافه کنند. سامانه‌های کمک راننده پیشرفته سامانه‌های بی‌درنگ هستند چون به ورودی‌های متعدد به سرعت واکنش نشان می‌دهند و اطلاعات ورودی را اولویت‌بندی می‌کنند تا از حوادث جلوگیری کنند. سامانه‌ها از زمان‌بندی اولویت‌های پیشگیرانه استفاده می‌کنند تا تشخیص بدهند ابتدا کدام کار باید انجام شود. تشخیص اشتباه این اولویت هامی‌تواند بیشتر از اینکه سودمند باشد، مضر باشد. سطوح و مراتب ADAS(آداس). سامانه‌های پیشرفته کمک