English Functional programming Cited by user Masterzora on 26 Jun 2024 In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions.
Chinese Lean Cited by user Yinweichen on 21 Jun 2024 Lean是一款在含歸納類型的構造演算基礎上所開發的和函數式編程語言. Lean最初由在微軟研究院下研發,目前以開源合作計劃的形式刊登在GitHub上. 2023年成立的非盈利Lean集中研究組織(Lean Focused Research Organization,縮寫Lean FRO)支持Lean的持續開發.
Persian لین (دستیار اثبات) Cited by user Amirahp5 on 19 Jun 2024 Lean یک دستیار اثبات و یک زبان برنامهنویسی تابعی است. این زبان مبتنی بر حساب سازهها با نوعهای القایی است.
Spanish Lean Cited by user BeForth on 16 Nov 2023 Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos.