Ниже — сопоставление JavaScript, Rust и Haskell по указанным критериям и примеры задач, где каждый язык предпочтителен.

JavaScript

Система типов: динамическая, слабо/сильно «утончённой» $ducktyping$. Есть TypeScript/Flow для статической типизации, но в чистом JS — типы проверяются во время выполнения.Управление памятью: сборщик мусора $GC$ в рантаймах $браузер,Node.js$.Модель побочных эффектов: императивная и событийно-ориентированная модель с немедленными побочными эффектами; асинхронность реализована через колбэки/Promises/async-await и однопоточный event loop $вbrowser/Node$; есть Web Workers/worker threads для параллелизма.Области применения: фронтенд $браузеры$, серверная разработка $Node.js$, скрипты/автоматизация, простой бэкенд, prototyping, Electron/React Native, серверлесс.Примеры задач, где предпочтителен:
Интерактивные веб-интерфейсы и SPA — нативная среда исполнения.Быстрое прототипирование веб-сервисов / MVP.Glue-код между сервисами, скрипты автоматизации.Сценарии, где важна богатая экосистема npm и доступ к браузерному API.

Rust

Система типов: статическая, строгая, выраженная через систему владения $ownership/borrowing$, сильная типизация, нулевой runtime overhead; хорошая инференция типов.Управление памятью: без GC — управление через систему владения и RAII; безопасность памяти гарантируется компилятором $отсутствиеuse-after-free,dataracesприкорректномкоде$.Модель побочных эффектов: императивная, побочные эффекты разрешены, но мутабельность и доступ к данным контролируются компилятором; конкурентность «безопасна по звуку» $fearlessconcurrency$. Асинхронность через futures/async-await и экзекьюторы.Области применения: системное программирование, встраиваемые системы, высокопроизводительные сетевые сервисы, игровые движки, WebAssembly, CLI-инструменты, компоненты где нужна безопасность памяти и производительность.Примеры задач, где предпочтителен:
Разработка высокопроизводительных сетевых серверов и прокси $низкаязадержка,безопасность$.Системный код, драйверы, прошивки и embedded.Компоненты, требующие гарантированной безопасности памяти $напримеркриптография,рендеринг$.Компиляция в WASM для производительных веб-компонентов.

Haskell

Система типов: статическая, сильная и выразительная $алгебраическиетипы,типовыеклассы,богатаясистематипов$; широкая типизация с инференцией. Типовая система способствует формальной верификации и выразительным абстракциям.Управление памятью: сборщик мусора; ленивое вычисление $поумолчанию$ плюс чистость позволяет оптимизации и отложенные вычисления.Модель побочных эффектов: функционально-чистая семантика — побочные эффекты явно инкапсулированы в типах $IO-монадaидругиемонады,монадическиеабстракции$; есть STM для удобной конкурентности и высокоуровневые абстракции для управления эффектами.Области применения: компиляторы и языковые инструменты, доменно-специфические языки $DSL$, финансовые/математические вычисления, прототипирование сложной логики с формальными гарантиями, высокоуровневые concurrent/parallel servers.Примеры задач, где предпочтителен:
Сложная бизнес-логика с потребностью в ясных абстракциях и доказуемой корректности.Написание компиляторов, анализаторов и трансформаций кода.Серверы с интенсивной логикой и конкурентностью, где полезны STM и лёгкие потоки.Исследования, формальная проверка алгоритмов, создание DSL.

Короткое сравнение/руководство по выбору

Выбирайте JavaScript, если приоритет — интеграция с вебом, быстрая разработка и огромная экосистема NPM; когда важна гибкость и скорость прототипирования.Выбирайте Rust, если приоритет — производительность с гарантиями безопасности памяти, низкоуровневый контроль и предсказуемое поведение в продакшене $безGC$.Выбирайте Haskell, если важны чистота кода, мощная система типов для выражения инвариантов и удобные абстракции для сложной логики/параллелизма; когда хочется формальных гарантий и выразительных декларативных решений.

Если хотите, могу привести короткие примеры конкретных проектов $архитектура/стек$ для каждого языка.