با استفاده از هوش مصنوعی، Haskell را به JavaScript تبدیل کنید

اکشن‌اسکریپت

• ترجمه کد منبع نامعتبر یا ناقص
• تبدیل قابل تنظیم از طریق دستورالعمل‌های درون‌خطی، از تگ در نظرات استفاده کنید
• تبدیل قطعات کد منبع بدون فرمت
• ترجمه عبارات سینتکس پیچیده
• سینتکس، معناشناسی و کاربردشناسی زبان برنامه‌نویسی هدف در حین ترجمه در نظر گرفته می‌شود

چالش‌های ترجمه

تفاوت‌های سیستم نوع

Haskell دارای یک سیستم نوع قوی و ایستا با استنتاج نوع است، در حالی که JavaScript دارای یک سیستم نوع پویا است. این تفاوت می‌تواند منجر به چالش‌هایی در ترجمه ساختارهای نوع ایمن Haskell به نوع‌های انعطاف‌پذیرتر JavaScript شود.

مثال: Haskell:

add :: Int -> Int -> Int
add x y = x + y

JavaScript:

function add(x, y) {
    return x + y; // هیچ نوعی اجباری نیست
}

مستندات سیستم نوع Haskell

ارزیابی تنبل در مقابل ارزیابی eager

Haskell از ارزیابی تنبل استفاده می‌کند، به این معنی که عبارات تا زمانی که به مقادیرشان نیاز نباشد ارزیابی نمی‌شوند. از طرف دیگر، JavaScript از ارزیابی eager استفاده می‌کند که می‌تواند ترجمه برخی ساختارها را پیچیده‌تر کند.

مثال: Haskell:

take 5 (repeat 1) -- تولید می‌کند [1, 1, 1, 1, 1]

JavaScript:

function take(n, arr) {
    return arr.slice(0, n); // نیاز به ارزیابی کل آرایه دارد
}

مستندات ارزیابی تنبل Haskell

توابع مرتبه بالاتر

هر دو زبان از توابع مرتبه بالاتر پشتیبانی می‌کنند، اما نحو Haskell برای تعریف و استفاده از آن‌ها می‌تواند مختصرتر و بیانگرتر باشد.

مثال: Haskell:

map (*2) [1, 2, 3] -- تولید می‌کند [2, 4, 6]

JavaScript:

const map = (fn, arr) => arr.map(fn);
map(x => x * 2, [1, 2, 3]); // تولید می‌کند [2, 4, 6]

مستندات توابع مرتبه بالاتر Haskell

تطبیق الگو

تطبیق الگو در Haskell یک ویژگی قدرتمند است که اجازه می‌دهد کد مختصر و قابل خواندن باشد. JavaScript این ویژگی را ندارد و این امر ترجمه برخی ساختارها را دشوارتر می‌کند.

مثال: Haskell:

case x of
    1 -> "One"
    2 -> "Two"
    _ -> "Other"

JavaScript:

switch (x) {
    case 1:
        return "One";
    case 2:
        return "Two";
    default:
        return "Other";
}

مستندات تطبیق الگو Haskell

موناها و اثرات

استفاده از موناها در Haskell برای مدیریت اثرات جانبی یک چالش مهم در ترجمه به JavaScript است که از پارادایم‌های متفاوتی برای مدیریت عملیات‌های ناهمزمان و اثرات جانبی استفاده می‌کند.

مثال: Haskell:

import Control.Monad

main = do
    x <- return 5
    print x

JavaScript:

const main = async () => {
    const x = await Promise.resolve(5);
    console.log(x);
};

مستندات موناها Haskell

کلاس‌های نوع

کلاس‌های نوع در Haskell راهی برای تعریف توابع عمومی فراهم می‌کنند که می‌توانند بر روی نوع‌های مختلف عمل کنند. JavaScript معادل مستقیمی ندارد که ترجمه توابع چندریختی را پیچیده‌تر کند.

مثال: Haskell:

class Show a where
    show :: a -> String

instance Show Int where
    show x = showInt x ""

JavaScript:

// معادل مستقیمی وجود ندارد؛ نیاز به پیاده‌سازی دستی برای هر نوع دارد

مستندات کلاس‌های نوع Haskell

درک لیست

درک لیست در Haskell راهی مختصر برای ایجاد لیست‌ها بر اساس لیست‌های موجود فراهم می‌کند. متدهای آرایه در JavaScript می‌توانند نتایج مشابهی را به دست آورند اما از نظر نحوی کمتر زیبا هستند.

مثال: Haskell:

[x * 2 | x <- [1..5]] -- تولید می‌کند [2, 4, 6, 8, 10]

JavaScript:

const arr = [1, 2, 3, 4, 5].map(x => x * 2); // تولید می‌کند [2, 4, 6, 8, 10]

مستندات درک لیست Haskell

نوع‌های داده جبری

نوع‌های داده جبری در Haskell اجازه ایجاد ساختارهای داده پیچیده را می‌دهند. رویکرد شی‌گرا در JavaScript می‌تواند این ترجمه را دشوارتر کند.

مثال: Haskell:

data Shape = Circle Float | Rectangle Float Float

JavaScript:

class Shape {}
class Circle extends Shape {
    constructor(radius) {
        super();
        this.radius = radius;
    }
}
class Rectangle extends Shape {
    constructor(width, height) {
        super();
        this.width = width;
        this.height = height;
    }
}

مستندات نوع‌های داده جبری Haskell