حساب کاربری
​
زمان تقریبی مطالعه: 1 دقیقه
لینک کوتاه

نوع‌دهی پنهان

در برنامه‌نویسی رایانه‌ای، نوع‌دهی پنهان (به انگلیسی: latent typing) یک سیستم نوع است که در آن انواع به مقادیر منتسب می‌شوند و نه متغیر ها. این موضوع معمولاً نیاز به بررسی نوع زمان اجرا دارد، و بنابراین به صورت هم‌معنی با نوع دهی پویا استفاده می‌شود.

یک مثال از زبان با نوع دهی پنهان، اسکیم است.

جستارهای وابسته

  • تایپ‌دهی اردکی

منابع

  1. ↑ Allen B. Tucker (28 June 2004). Computer Science Handbook, Second Edition. Taylor & Francis. pp. 92–. ISBN 978-1-58488-360-9.
  2. ↑ Benjamin C. Pierce (January 2002). Types and Programming Languages. MIT Press. pp. 2–. ISBN 978-0-262-16209-8.
  3. ↑ "Latent typing". Wikipedia (به انگلیسی). 2016-10-15.
آخرین نظرات
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.