- pe 32 de biți sistem de operare Microsoft Windows 98, ME sau 2000, XP, 2003.
- Platforma de dezvoltare Microsoft.NET Framework SDK sau Microsoft.NET Framework Redistr.
- compilator SML.NET.
Termeni și reguli pentru utilizarea mediului de dezvoltare a aplicațiilor Microsoft Visual Studio. NET sunt disponibile la: http://www.msdn.microsoft.com/vstudio/
O descriere a principalelor funcții ale limbajului de programare SML este disponibilă la: http://standardml.org/
Informații teoretice
Primele implementări ale SML au fost interactive. La pornirea compilatorului, utilizatorul a introdus expresii în modul Linie de comanda. Expresiile SML introduse au fost compilate și trimise pentru execuție, iar rezultatul a fost afișat pe ecranul computerului. Introducerea următoarei expresii a fost posibilă după finalizarea procesării celei anterioare. Modern implementarea limbajului SML în mediu de calcul Microsoft. NET vă permite să compilați programe în fișiere executabile sau biblioteci dinamice (în format DLL), precum și să creați componente replicabile pentru reutilizare în proiecte în alte limbi. Limbajul SML acceptă pe deplin importarea claselor. NET.
Funcții și tipuri
Funcțiile în limbajul SML sunt specificate prin analogie cu reprezentarea lor matematică. În acest caz, tipul poate fi specificat explicit, de exemplu:
pătrat distractiv(x:int) = x*x
deci omis (specificat implicit la etapa de compilare). Tipuri derivateîn limbajul SML sunt construite dintr-un set tipuri de bază. Deci, o funcție cu un argument int și un rezultat șir va avea tipul int -> șir .
De asemenea, este posibil să specificați o funcție folosind o expresie fn
val pătrat = fn x => x * x.
Tipuri și funcții de bază ale limbajului SML.
- bool - tip de date logic. Modulul bool definește operațiuni pe el, cum ar fi negarea (val not: bool -> bool), conversia în tip șir (val toString: bool -> șir) și conversia din tipul șir ( val fromString: șir -> bool).
- cuvântul este un tip care este un întreg fără semn și este de obicei stocat sub forma unei reprezentări automate a unui cuvânt. Modulul corespunzător definește conversiile pentru un anumit tip (de exemplu, val toInt: word -> int ), precum și aritmetice (de exemplu, val + : word * word -> word ) și logice (de exemplu, val > : word ) * cuvant -> bool ) operatii.
- char este un tip de date caracter. Modulul char definește și funcții de conversie ( val toString: char -> String.string), operații logice (val isDigit: char -> bool) și alte funcții.
- real - număr în virgulă mobilă. Modulul real definește operațiuni de conversie (val toString: real -> șir), precum și comparații (val >= : real * real -> bool), formatare și conversii de precizie (val maxFinite: real).
- int este un tip întreg.
- sfoară - tip șir de caractere.
O descriere generală a tipurilor și funcțiilor de date SML.NET este stocată sub formă de fișiere de definire a interfeței în directorul \src\basis al directorului țintă al compilatorului.
Tipuri, obiecte și metode .NET
Să ilustrăm un fragment al maparii tipurilor de limbaj SML.NET în Common Type System.
| Tip.NET | Tastați SML.NET |
|---|---|
| Sistem.Boolean | bool |
| System.Byte | Cuvânt8.cuvânt |
| System.Char | char |
| Sistem.Dublu | real |
| Sistem.Single | Real32.real |
| System.Int32 | int |
| System.Int64 | Int64.int |
| System.Int16 | Int16.int |
| Sistem.Sbyte | Int8.int |
| System.String | şir |
| System.UInt16 | Cuvânt16.cuvânt |
| System.UInt32 | cuvânt |
| System.UInt64 | Cuvânt64.cuvânt |
| Sistem.Excepție | exn |
| Sistem.Obiect | obiect |
Pe lângă specificarea explicită a tipurilor, SML.NET oferă facilități pentru referirea oricărui tip din ierarhia tipurilor .NET. În acest caz este necesar să se indice Numele complet obiect, de exemplu:
tip XMLParser = șir -> System.Xml.XmlDocument
Următorul program ilustrează utilizarea tipurilor de sisteme de tip comun SML și .NET:
structura builtintypes_demo = struct fun main () = (printare ("cosh(1.2) = " ^ Real.toString(System.Math.Cosh(1.2)) ^ "\n"); print ("System.Int32.MinValue = " ^ Int.toString(System.Int32.MinValue) ^"\n"); print (valOf (System.Char.GetUnicodeCategory(#"Z").#ToString()))) end!}
Exercițiu
Formulați o declarație formală a problemei, notați regulile de inferență și implementați programul în SML în conformitate cu opțiunea de implementare.
Opțiuni de sarcină
- Implementați o funcție pentru a calcula suma a două numere întregi.
- Implementați o funcție pentru a calcula diferența a două numere întregi.
- Implementați o funcție pentru a calcula produsul a două numere întregi.
- Implementați o funcție pentru a calcula câtul a două numere întregi.
- Implementați o funcție pentru calcularea sumei a două numere reale.
- Implementați o funcție pentru calcularea diferenței a două numere reale.
- Implementați o funcție pentru calcularea produsului a două numere reale.
- Implementați o funcție pentru calcularea câtului a două numere reale.
- Implementați o funcție pentru a pătra un număr întreg și un număr întreg.
- Implementați o funcție pentru pătrarea sumei a două numere întregi.
- Implementați o funcție pentru punerea la pătrat a diferenței a două numere întregi.
- Implementați o funcție pentru pătratul produsului a două numere întregi.
- Implementați o funcție pentru pătrarea câtului a două numere întregi.
- Implementați o funcție pentru pătrarea sumei a două numere reale.
- Implementați funcția de pătrare a diferenței a două numere reale.
- Implementați funcția de pătrare a produsului a două numere reale.
- Implementați funcția de pătrare a câtului a două numere reale.
- Implementați o funcție pentru a cuba un întreg.
- Implementați o funcție pentru a cuba suma a două numere întregi.
- Implementați o funcție pentru a cuba diferența a două numere întregi.
- Implementați o funcție pentru a cuba produsul a două numere întregi.
- Implementați o funcție pentru a cuba câtul a două numere întregi.
- Implementați o funcție pentru a cuba suma a două numere reale.
- Implementați funcția de diferență cubată a două numere reale.
- Implementați o funcție pentru a cuba câtul a două numere reale.
Cum se deschide fișierele SML
Dacă apare o situație în care nu puteți deschide fișierul SML pe computer, pot fi mai multe motive. Prima și în același timp cea mai importantă (apare cel mai des) este absența unei aplicații corespunzătoare care să servească SML dintre cele instalate pe computer.
Cel mai într-un mod simplu Soluția la această problemă este găsirea și descărcarea aplicației adecvate. Prima parte a sarcinii a fost deja finalizată - programele pentru deservirea fișierului SML pot fi găsite mai jos. Acum trebuie doar să descărcați și să instalați aplicația corespunzătoare.
În partea ulterioară a acestei pagini veți găsi altele motive posibile, provocând probleme cu fișierele SML.
Program(e) care poate deschide un fișier .SML
Windows
Mac OS
Linux
Posibile probleme cu fișierele în format SML
Incapacitatea de a deschide și de a lucra cu un fișier SML nu ar trebui să însemne deloc că nu îl avem pe cel corespunzător instalat pe computerul nostru software. Pot exista și alte probleme care ne blochează și capacitatea de a lucra cu fișierul SMIL Slideshow Presentation. Mai jos este o listă cu posibile probleme.
- Fișierul SML care este deschis a fost corupt.
- Asocieri incorecte de fișiere SML în intrările de registru.
- Ștergerea accidentală a descrierii extensiei SML din registrul Windows
- Instalarea incompletă a unei aplicații care acceptă formatul SML
- Fișierul SML care se deschide este infectat cu un malware nedorit.
- Există prea puțin spațiu pe computer pentru a deschide fișierul SML.
- Driverele echipamentului folosit de computer pentru a deschide un fișier SML sunt învechiți.
Dacă sunteți sigur că toate motivele de mai sus nu există în cazul dvs. (sau au fost deja excluse), fișierul SML ar trebui să funcționeze cu programele dvs. fără probleme. Dacă problema cu fișierul SML încă nu este rezolvată, aceasta poate însemna că în acest caz există o altă problemă, rară, cu fișierul SML. În acest caz, singurul lucru rămas este ajutorul unui specialist.
| .aaf | Format de creație avansat Format multimedia |
| .aec | Format de desen DataCAD |
| .aep | Format de proiect Adobe After Effects |
| .aepx | Format de proiect Adobe After Effects XML |
| .aet | Format șablon Adobe After Effects |
| .aetx | Format Adobe After Effects |
| .ajp | Format video AJP Player |
| .ale | Format de fișier jurnal Avid |
Cum se asociază un fișier cu un program instalat?
Dacă doriți să legați un fișier cu program nou(de ex. moj-plik.SML) Aveți două opțiuni. Prima și cea mai simplă este să faceți clic dreapta pe fișierul SML selectat. Din meniu deschis selectați opțiunea Selectați programul implicit", apoi opțiunea "Revizui"și găsiți programul necesar. Întreaga operațiune trebuie confirmată prin apăsarea butonului OK.
Există o metodă universală pentru deschiderea fișierelor necunoscute?
Multe fișiere conțin date sub formă de text sau numere. Este posibil ca în timpul deschiderii fișierelor necunoscute (de ex. SML) un fișier popular sistem Windows un simplu editor de text, care este Notatnik ne va permite să vedem o parte din datele codificate în fișier. Această metodă vă permite să vizualizați conținutul multor fișiere, dar nu în aceeași formă ca programul conceput pentru a le servi.
- Extensia (formatul) reprezintă caracterele de la sfârșitul fișierului după ultimul punct.- Computerul determină tipul de fișier după extensia sa.
- În mod implicit, Windows nu afișează extensii de nume de fișiere.
- Unele caractere nu pot fi folosite în numele și extensia fișierului.
- Nu toate formatele sunt legate de același program.
- Mai jos sunt toate programele care pot fi folosite pentru a deschide fișierul SML.
Mulți utilizatori de MS Windows au observat de mult că blocnotesul standard este un program destul de incomod de utilizat. Acest editor gratuit îl poate înlocui fișiere text, care oferă suport pentru sintaxă cantitate mare limbaje de programare. Programul conține o gamă destul de largă de opțiuni și se caracterizează printr-un consum minim de resurse ale procesorului. Programul face posibilă vizualizarea simultană a mai multor documente simultan și editarea acestora, fără a închide ferestrele inutile. A devenit disponibilă și o opțiune: editarea aceluiași document în locuri diferite, ceea ce este foarte convenabil...
Notepad2 este o aplicație simplă care vă permite să tastați și să editați text. Va ajuta la crearea paginilor HTML, programarea în diverse limbi (CSS, Java, JavaScript, Python, SQL, Perl, PHP), deoarece poate evidenția codul. Programul este construit pe principiul unui bloc de note simplu, este ușor și compact. Acest editor de text verifică toate parantezele pentru perechi și acceptă indentarea automată. Notepad2 nu numai că acceptă codificări ASCII și UTF-8, dar le poate și converti. Vă permite să faceți înapoi operațiunile nedorite cu multe niveluri înapoi. Acceptă selecția bloc de elemente de text și are numerotate...
Komodo Edit este un editor de cod convenabil care acceptă o gamă largă de limbaje de programare diferite. Programul oferă utilizatorilor posibilitatea de a lucra cu mai multe fișiere simultan, scrierea codului va deveni mai eficientă folosind funcția de completare automată și sugestii. Aplicația vă permite să evidențiați automat variabilele atunci când le selectați. Folosind editorul, puteți vizualiza fișiere în alte limbaje de programare. Programul acceptă colorarea și indentarea sintaxelor. Poate verifica parametrii de sintaxă, fragmentele folosite pentru a stoca codul de coloană sursă. Are un mod simplu de editare și acceptă drag and drop...
Există o mulțime de programe pe Internet care vă permit să editați codul sursă al unui alt program, fișier etc. Cu toate acestea, majoritatea dintre ele programe similare sunt doar un editor de text ca Notepad. Ele diferă de editorul de mai sus doar prin faptul că au evidențiere de sintaxă. Cu toate acestea, în unele cazuri, această funcționalitate a programului nu este suficientă. Un programator poate avea nevoie să găsească rapid diferite părți ale unui document. Și acum, în sfârșit, a apărut un program care vă permite să rezolvați această problemă. Programul se numește SynWrite. A ei trăsătură distinctivă– prezența unui panou de navigare cu un arbore...
Sperăm că v-am ajutat să vă rezolvați problema fișierului SML. Dacă nu știți de unde puteți descărca o aplicație din lista noastră, faceți clic pe link (acesta este numele programului) - Veți găsi informații mai detaliate despre unde să descărcați versiunea de instalare securizată a aplicației necesare.
O vizită la această pagină ar trebui să vă ajute să răspundeți în mod specific la aceste întrebări sau la întrebări similare:
- Cum se deschide un fișier cu extensia SML?
- Cum se transformă un fișier SML într-un alt format?
- Care este extensia formatului de fișier SML?
- Ce programe acceptă fișierul SML?
Dacă, după vizualizarea materialelor de pe această pagină, încă nu ați primit un răspuns satisfăcător la niciuna dintre întrebările prezentate mai sus, înseamnă că informațiile prezentate aici despre fișierul SML sunt incomplete. Contactează-ne folosind formularul de contact și scrie ce informații nu ai găsit.
Ce altceva ar putea cauza probleme?
Pot exista mai multe motive pentru care nu puteți deschide fișierul SML (nu doar lipsa unei aplicații adecvate).
in primul rand- fișierul SML poate fi legat incorect (incompatibil) cu aplicația instalată pentru a-l sprijini. În acest caz, trebuie să schimbați singur această conexiune. Pentru a face acest lucru, faceți clic dreapta pe fișierul SML pe care doriți să îl editați, faceți clic pe opțiune „Pentru a deschide cu” apoi selectați programul pe care l-ați instalat din listă. După această acțiune, problemele cu deschiderea fișierului SML ar trebui să dispară complet.
În al doilea rând- fișierul pe care doriți să-l deschideți poate fi pur și simplu deteriorat. În acest caz, cel mai bine ar fi să găsiți o nouă versiune a acesteia sau să o descărcați din nou din aceeași sursă (poate din anumite motive în sesiunea anterioară, descărcarea fișierului SML nu s-a terminat și nu a putut fi deschis corect) .
Vrei să ajuți?
Dacă aveți informații suplimentare despre extensia de fișier SML, vă vom fi recunoscători dacă le partajați utilizatorilor site-ului nostru. Folosiți formularul aflat și trimiteți-ne informațiile dvs. despre fișierul SML.
