Il s'agit de l'application Windows PLT (Programming Languages Theory), dont la dernière version est téléchargeable sous pltsourcecode.tar.gz. Elle peut être exécutée en ligne sur l'hébergeur gratuit OnWorks pour postes de travail.
Téléchargez et exécutez en ligne cette application nommée PLT (Programming Languages Theory) avec OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez n'importe quel émulateur en ligne OS OnWorks à partir de ce site Web, mais un meilleur émulateur en ligne Windows.
- 5. Depuis le système d'exploitation OnWorks Windows que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application et installez-la.
- 7. Téléchargez Wine depuis les dépôts de logiciels de vos distributions Linux. Une fois installé, vous pouvez ensuite double-cliquer sur l'application pour les exécuter avec Wine. Vous pouvez également essayer PlayOnLinux, une interface sophistiquée sur Wine qui vous aidera à installer des programmes et des jeux Windows populaires.
Wine est un moyen d'exécuter un logiciel Windows sur Linux, mais sans Windows requis. Wine est une couche de compatibilité Windows open source qui peut exécuter des programmes Windows directement sur n'importe quel bureau Linux. Essentiellement, Wine essaie de ré-implémenter suffisamment de Windows à partir de zéro pour qu'il puisse exécuter toutes ces applications Windows sans avoir réellement besoin de Windows.
CAPTURES D'ÉCRAN
Ad
PLT (Théorie des langages de programmation)
DESCRIPTION
Feuille de route organisée vers la théorie des langages de programmation, regroupant des articles, des ouvrages et des ressources phares dans une structure navigable pour l'auto-apprentissage. Elle couvre des sujets fondamentaux comme le lambda-calcul, les systèmes de types, les interpréteurs, les compilateurs et la sémantique formelle, tout en abordant des domaines contemporains comme les systèmes d'effets, les types dépendants et la vérification. Chaque section regroupe les ressources par thème afin que les apprenants puissent acquérir une compréhension progressive au lieu de parcourir le sujet au hasard. La liste met l'accent sur les sources primaires et les cours magistraux de qualité, encourageant les lecteurs à s'intéresser à des analyses rigoureuses plutôt qu'à des résumés superficiels. Conçue à la fois comme un guide de démarrage pour les débutants et comme un index de référence pour les praticiens expérimentés, elle comble les lacunes. En considérant la théorie des langages de programmation comme un programme accessible et progressif, cette base facilite l'apprentissage approfondi sans diluer le sujet.
Comment ça marche
- Matériel organisé autour des sujets fondamentaux de la théorie PL / des types (modules, paramètres implicites, effets, etc.)
- Extraits de code intégrés (par exemple, de style SML / OCaml / ML) liés à des concepts théoriques
- Références bibliographiques et références aux articles publiés (par exemple, la bibliographie des effets de Yallop)
- Structure hyperliée pour la navigation dans les sujets, référencement croisé de thèmes connexes
- Site Web auto-hébergé / vue de la documentation
- Encourage les contributions et les développements de sujets par d'autres
Langage de programmation
JavaScript
Catégories
Cette application peut également être téléchargée depuis https://sourceforge.net/projects/plt-prog-languages.mirror/. Elle est hébergée sur OnWorks afin de pouvoir être exécutée en ligne plus facilement depuis l'un de nos systèmes d'exploitation gratuits.
