ⓘ چریتی, زبان برنامه‌نویسی. چریتی یک زبان برنامه نویسی تابعی خالص آزمایشی است که در دانشگاه کلگری بر اساس ایده‌های هاگینو تاتسویاس، تحت نظارت رابین کاکت ابداع شده ..

                                     

ⓘ چریتی (زبان برنامه‌نویسی)

چریتی یک زبان برنامه نویسی تابعی خالص آزمایشی است که در دانشگاه کلگری بر اساس ایده‌های هاگینو تاتسویاس، تحت نظارت رابین کاکت ابداع شده‌است. چریتی کاملاً بر پایه نظریه رده‌ها استوار است. بدون توجه به تعامل با دنیای خارج، همهٔ برنامه‌های چریتی تضمین می‌شوند که یا به پایان رسیده یا فعال باقی بمانند. این زبان نوع‌های داده بازگشتی ترتیبی را می‌پذیرد، مانند نوع‌هایی که ممکن است در زبان ام‌ال یافت شوند، که نیاز دارند محدود باشند، و نوع‌های داده همبازگشت، که مجازاند به‌طور بالقوه نا محدود باشند. ساختار کنترلی برای کار بر روی نوع‌های داده بازگشتی، بازگشتی اولیه یا دگردیسی است و اولین ساختار کنترلی برای نوع‌های داده همبازگشتی، همبازگشتی اولیه یا اپومورفیزم است. هیچ‌کدام از ساختارهای کنترلی نمی‌تواند بر روی نوع دیگری عمل نماید، پس تمام دگردیسی‌ها از بین می‌روند و تمام اپومورفیزم‌ها پرحاصل اند.

                                     
  • Caml Cayenne CDuce Cecil Cesil Céu سیلان برنامه نویسی CFEngine CFML Cg Ch Chapel چریتی زبان برنامه نویسی Charm CHILL CHIP - 8 chomski ChucK Cilk Citrine