۶ اردیبهشت ۱۴۰۴

Techboy

اخبار و اطلاعات روز تکنولوژی

زبانهای برنامه نویسی

2 min read

TLA+ یک زبان برنامه نویسی سطح بالا است که برای مدل سازی برنامه ها و سیستم های پیچیده، همزمان و توزیع شده استفاده می شود. توسط Leslie Lamport ایجاد شده است و توسط Amazon Web Services، Microsoft و Oracle پشتیبانی می شود.

2 min read

متغیرهای محلی گستره راهی برای به اشتراک گذاشتن داده‌ها در داخل یک رشته و با رشته‌های فرزند در جاوا فراهم می‌کنند و استدلال در مورد جریان داده را آسان‌تر می‌کنند.