Webtagr

New Hot Hardware Development Game Tech Misc Physics Startup Mathematics
🇨🇳 简体中文 🇺🇸 English 🇵🇹 Português 🇪🇸 Español 🇫🇷 Français 🇩🇪 Deutsch 🇸🇦 العربية 🇯🇵 日本語 🇰🇷 한국어
Popular:
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Lambda 演算解释器

2024-06-14

这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统,用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式,并将它们简化为范式。

(lambda-calculus-interpreter.netlify.app)
61
未分类 Lambda演算

About us

Webtagr is a platform that aggregates cutting-edge technology news, the site provides original tech news summaries, technical analysis, and commentary, helping readers stay up-to-date with technological developments and innovation trends.

Language Select

  • 简体中文
  • English
  • Português
  • Español
  • Français
  • Deutsch
  • العربية
  • 日本語
  • 한국어

Quick links

  • New
  • Hot
  • Hardware
  • Development
  • Game
  • Tech
  • Misc
  • Physics
  • Startup
  • Mathematics
  • Design
  • History
  • Biology
  • Education
  • Health
  • 2. Tech
  • Art
  • Politics
  • Math
  • Film
  • Security
  • Literature
  • Archaeology
  • Environment
  • Military
  • AI
  • Psychology
  • Management
  • Travel
  • Bio
  • Law
  • Biomedicine
  • Music
  • Chemistry
  • Sci-Fi

Contact us

  • contact @ webtagr.com
  • Webtagr
  • @Webtagr
Copyright 2024 Webtagr. All rights reserved
Site map Privacy policy Terms of service Cookie policy