Це програма для Windows під назвою PLT (Теорія мов програмування), останню версію якої можна завантажити як pltsourcecode.tar.gz. Її можна запускати онлайн на безкоштовному хостинг-провайдері OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою PLT (Теорія мов програмування) за допомогою OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
PLT (Теорія мов програмування)
ОПИС
Кураторська дорожня карта теорії мов програмування, що зібрала основоположні статті, книги та ресурси в зручну для самостійного вивчення структуру. Вона охоплює фундаментальні теми, такі як лямбда-числення, системи типів, інтерпретатори, компілятори та формальна семантика, а також вказує на сучасні галузі, такі як системи ефектів, залежні типи та верифікація. Кожен розділ групує матеріали за темами, щоб учні могли крок за кроком розвивати розуміння, а не вибирати їх навмання. Список підкреслює першоджерела та високоякісні лекції, заохочуючи читачів до ретельного вивчення, а не поверхневих резюме. Він розроблений як початковий посібник для новачків, так і довідковий покажчик для досвідчених практиків, заповнюючи прогалини. Розглядаючи теорію мов програмування як доступну, прогресивну навчальну програму, репозиторій знижує бар'єр для серйозного вивчення, не розмиваючи предмет.
Функції
- Організований матеріал навколо основних тем PL / теорії типів (модулі, неявні параметри, ефекти тощо)
- Вбудовані фрагменти коду (наприклад, у стилі SML / OCaml / ML), пов'язані з теоретичними концепціями
- Бібліографічні вказівки та посилання на опубліковані статті (наприклад, бібліографія ефектів Яллопа)
- Гіперпосилання для навігації по темах, перехресні посилання на пов'язані теми
- Власно розміщений веб-сайт / перегляд документації
- Заохочує внески та розширення тем іншими
Мова програмування
JavaScript
Категорії
Цю програму також можна завантажити з https://sourceforge.net/projects/plt-prog-languages.mirror/. Вона розміщена в OnWorks для найпростішого запуску онлайн з однієї з наших безкоштовних операційних систем.
