زبان‌ها معمولاً یا تعیین نوع پویا دارند؛ مانند کامن لیسپ، پایتون، جاوا اسکریپت یا دارای تعیین نوع ایستا هستند؛ مانند سی و سی‌پلاس‌پلاس، راست و دوباره کامن لیسپ (معمولاً پیاده‌سازی‌های مدرن کامن لیسپ، مانند SBCL، اجازه می‌دهند بنا به خواست برنامه‌نویس، قسمتی از کد، دارای تعیین نوع ایستا و قسمتی دارای تعیین نوع پویا باشد).

در پایتون، تعیین نوع متغیر‌ها، مقدار یا مقادیر بازگشتی توابع و متد‌ها و آرگومان‌های توابع اجباری نیست. اما می‌توانیم با تعیین نوع و استفاده از یک نرم‌افزار Linter به کاهش خطا‌های خود پیش از اجرا کمک کنیم.

def f(x: int) - > int:
    return x * 2 + 1

با این که تعیین نوع آرگومان یا ورودی تابع f که x باشد و مقدار بازگشت آن یعنی x*2 + 1 در اجرا تأثیری ندارد، اما زمانی که بخواهم مقدار بازگشت تابع f را با یک رشته نویسه (کاراکتر) جمع کنم به من اخطار داده می‌شود:

بدیهی است که اجرای این برنامه به وسیلهٔ پایتون نیز باعث خطا می‌شود. در مقابل زمانی که نوع ورودی و خروجی تابع را مشخص نمی‌کنم اخطاری داده نمی‌شود:

در ادامه با تعیین نوع ورودی‌ها و خروجی توابع و متد‌ها و ویژگی‌های یک کلاس آشنا می‌شویم.

مسئلهٔ ۸ وزیر می‌پرسد که در یک صفحهٔ شطرنج چه‌طور می‌توانیم ۸ مهرهٔ وزیر را چنان قرار دهیم که هیچ‌کدام در معرض تهدید دیگری نباشد. در ریاضیات و علوم کامپیوتر، مسئلهٔ n وزیر یک نسخهٔ تعمیم‌یافته از ۸ وزیر می‌باشد که برای اکثر nهای صحیح مثبت (یا طبیعی) بیش‌تر از یک چینش وجود دارد.

قبلاً یک روش برای پیدا کردن راه حل برای مسئلهٔ ۸ وزیر با استفاده از الگوریتم ژنتیک ارائه دادم. حال می‌خواهم یک روش دیگر برای همین هدف اما به صورت یک الگوریتم قطعی و تصادفی به همراه کد پایتون ارائه دهم.

زمانی که از یک برنامه‌نویس پایتونی بخواهید یک تابع ساده بنویسد تا ارقام یک عدد را جمع کند و برگرداند، احتمالاً ابتدا عدد را به یک رشته تبدیل می‌کند و سپس رشته را به لیست (فهرست) و نهایتاً تک‌تک اعضای لیست را که ارقام عدد به صورت رشته‌های تک‌نویسه‌ای هستند به عدد تبدیل می‌کند و سپس آن‌ها را با هم جمع می‌کند. ولی الزاماً اولین روشی که برای حل مسئله به ذهن‌مان می‌رسد، بهترین روش نیست. در این مطلب یک الگوریتم برای جمع ارقام یک عدد صحیح به صورت بازگشتی به همراه کد پایتون آن ارائه می‌دهم.

صدای بوق ممتد از لحاظ فنی همان موج سینوسی با فرکانسی (بسامد) ثابت است. در این مطلب یک کد ساده و کوتاه پایتون ارائه می‌دهم که بدون استفاده از کتاب‌خانه‌های اضافی، می‌تواند یک بوق را با هر فرکانسی تولید کند و در یک فایل صوتی wave ذخیره کند.

مسئلهٔ ۸ وزیر یک تمرین معروف در علوم کامپیوتر و ریاضیات می‌باشد. این مسئله در مورد یک صفحهٔ شطرنج رایج و مهرهٔ وزیر در این بازی فکری می‌باشد. در ریاضیات ثابت می‌شود که می‌توان ۸ وزیر را در یک صفحهٔ شطرنج چنان قرار داد که هیچ‌کدام از وزیر‌ها، دیگری را تهدید نکنند. با تعمیم این مسئله در ریاضیات، ثابت می‌شود که در یک صفحهٔ شطرنج به ضلع n، می‌توان تعداد n وزیر قرار داد؛ چنانچه هیچ‌کدام دیگری را تهدید نکنند. در علوم کامپیوتر می‌توان با روش‌های مختلفی این مسئله را حل کرد و به یک چینش از مهره‌های وزیر رسید که هیچ‌کدام دیگری را تهدید نکنند. یکی از این روش‌ها «الگوریتم ژنتیک» است.

تصویر از Encik Tekateki

خیلی ها میگن پایتون زبان ساده‌ای هست، میشه اون رو زود یاد گرفت، بخاطر تعیین نوع پویا(dynamic typing) دیگه نیازی نیست که برنامه‌نویس با type ها درگیر باشه و …

ولی آیا واقعا همین‌طوره؟! توی این مطلب قصد دارم کمی زبان پایتون رو به عنوان یه برنامه‌نویس پایتون بررسی کنم.

۱. پایتون زبان ساده‌ای هست

منظور از سادگی زبان می‌تونه خوانا بودن اون و نزدیکی اون به زبان انگلیسی (زبان انسان) باشه. برای مثال دو تکه کد زیر رو ببینید:

زبان پایتون:

if not 2 in lst:
  for x in lst:
    print(x);

زبان سی‌شارپ:

if ( ! lst.contains(2) )
  foreach ( int x in lst )
    Console.WriteLine(x);

پیام‌رسان روسی تلگرام، محبوبیت زیادی بین کشور‌هایی مانند ایران داشته و دارد. بسیاری آن را به واتس‌اپ ترجیح می‌دهند و بر این باورند که تلگرام از واتس‌اپ امن‌تر و آزاد‌تر است و همچنین فضای ابری برای ذخیرهٔ پیام‌ها و فایل‌های ارسالی ارائه می‌دهد برخلاف واتس‌اپ که به نظر می‌آید پرونده‌ها (فایل‌ها) و تصاویر را در سرورهایش (کارساز‌هایش) ذخیره نمی‌کند.

همچنین عده‌ای آزاد و متن‌باز بودن کلاینت‌های (کارخواه‌ها) تلگرام را دلیلی بر امن بودن آن می‌دانند. واتس‌اپ برخلاف تلگرام رمزگذاری سراسری دارد به این معنی که تنها فرستنده و گیرندهٔ پیام می‌توانند داده‌های ردّ و بدل شده را بخوانند و حتی خود واتس‌اپ که این داده‌ها را انتقال می‌دهد نمی‌تواند شنود کند. با این حال با توجه به این که کد منبع کلاینت‌های واتس‌اپ در دسترس نیست، نمی‌توان این مورد را مطمئن بود.

چت‌روم کرم‌های کامپیوتر در ابتدا به صورت خصوصی بوده و روی یک سرور ماتریکس کوچک بر روی نانو‌پای بنده(فاروق) میزبانی می‌شده است. هنوز هم اکثر کسانی که آن زمان با ما بوده‌اند در چت‌روم فعلی حضور دارند. بعد از مدتی نگه‌داری از سرور ماتریکس به این نتیجه رسیدم که برای یک چت‌روم به این کوچکی منطقی نیست که یک سرور ماتریکس را مدیریت کنم. در نتیجه به این فکر افتادم که چت‌روم را روی یک سرور ماتریکس عمومی و مطمئن منتقل کنم و همچنین آن‌را عمومی کنم. آن زمان دو سرور مطمئن میشناختم:‌ یکی سرور matrix.org و دیگری سرور موزیلا که شرکت سازنده فایرفاکس بودجه‌اش را تامین میکرد. البته محلق شدن به این چت‌روم از هر سرور ماتریکسی امکان پذیر است.

طی دهه‌های گذشته بحث‌های زیادی راجع به این‌که مشخصات زبان‌های برنامه‌نویسی، به عنوان مثال تعیین نوعشان و مثلا ایستا(static) یا پویا(dynamic) بودن چه تاثیری روی روند توسعه نرم‌افزار‌ها دارد. یک مقاله علمی(paper) با مطالعه ۶۰۰ پروژه در گیت‌هاب شامل تقریبا ۷۰ میلیون خط کد و ۳ میلیون کامیت به نتایجی در این مورد رسیده‌است.