چریتی

چریتی (زبان برنامه نویسی). چریتی (Charity) یک زبان برنامه نویسی تابعی خالص آزمایشی است که در دانشگاه کلگری بر اساس ایده های هاگینو تاتسویاس(Hagino Tatsuyas)، تحت نظارت رابین کاکت (Robin Cockett) ابداع شده است. چریتی کاملاً بر پایه نظریه رده ها استوار است.بدون توجه به تعامل با دنیای خارج، همهٔ برنامه های چریتی تضمین می شوند که یا به پایان رسیده یا فعال باقی بمانند.این زبان نوع های داده بازگشتی ترتیبی را می پذیرد، مانند نوع هایی که ممکن است در زبان ام ال یافت شوند، که نیاز دارند محدود باشند، و نوع های داده همبازگشت، که مجازاند به طور بالقوه نا محدود باشند. ساختار کنترلی برای کار بر روی نوع های داده بازگشتی، بازگشتی اولیه یا دگردیسی است و اولین ساختار کنترلی برای نوع های داده همبازگشتی، همبازگشتی اولیه یا اپومورفیزم است. هیچ کدام از ساختارهای کنترلی نمی تواند بر روی نوع دیگری عمل نماید، پس تمام دگردیسی ها از بین می روند و تمام اپومورفیزم ها پرحاصل اند.
وبگاه رسمی
A GitHub Repository Containing Charity Implementations and the Bulk of Charity Research