Si tratta dell'app per Windows denominata PLT (Programming Languages Theory), la cui ultima versione può essere scaricata come pltsourcecode.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata PLT (Programming Languages Theory) con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI
Ad
PLT (Teoria dei linguaggi di programmazione)
DESCRIZIONE
Roadmap curata per la teoria dei linguaggi di programmazione, che raccoglie articoli, libri e risorse fondamentali in una struttura navigabile per l'autoapprendimento. Copre argomenti fondamentali come il lambda calcolo, i sistemi di tipi, gli interpreti, i compilatori e la semantica formale, puntando anche ad aree contemporanee come i sistemi di effetti, i tipi dipendenti e la verifica. Ogni sezione raggruppa i materiali per tema, in modo che gli studenti possano approfondire la conoscenza passo dopo passo anziché limitarsi a un approccio casuale. L'elenco pone l'accento su fonti primarie e lezioni di alta qualità, incoraggiando i lettori a impegnarsi in trattazioni rigorose piuttosto che in riassunti superficiali. È progettato per servire sia come guida introduttiva per i principianti sia come indice di riferimento per i professionisti esperti, colmando le lacune. Trattando la teoria dei linguaggi di programmazione come un curriculum accessibile e progressivo, il repository riduce le barriere allo studio approfondito senza diluire la materia.
Caratteristiche
- Materiale organizzato attorno ad argomenti fondamentali della teoria PL/dei tipi (moduli, parametri impliciti, effetti, ecc.)
- Frammenti di codice incorporato (ad esempio SML / OCaml / stile ML) legati a concetti teorici
- Indicazioni bibliografiche e riferimenti ad articoli pubblicati (ad esempio la bibliografia sugli effetti di Yallop)
- Struttura ipertestuale per la navigazione degli argomenti, riferimenti incrociati a temi correlati
- Sito web auto-ospitato / visualizzazione della documentazione
- Incoraggia i contributi e gli approfondimenti degli argomenti da parte di altri
Linguaggio di programmazione
JavaScript
Categorie
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/plt-prog-languages.mirror/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
