EE380: Seminarul Colocviu Sisteme Calculatoare
Programare concatenative: de la fildeș la metal
Vorbitor: Jon Purdy, Microsoft
Programarea concatenativă este o paradigmă de programare relativ nouă, construită pe un instrument simplu, dar puternic: compoziția de funcții. În această discuție, voi oferi o privire de ansamblu asupra limbajelor concatenative, de la teoria la nivel înalt până la implementarea la nivel scăzut. Voi discuta câteva date istorice, voi oferi o privire de ansamblu asupra literaturii de programare concatenative existente, apoi voi arunca o privire în exemple ale avantajelor interesante pe care le pot oferi aceste limbaje în ceea ce privește corectitudinea programului, siguranța, gradul de utilizare și performanța hardware-ului de astăzi și Mâine.
Despre vorbitor:
Jon Purdy este un inginer de software care a lucrat intens la tehnologia limbajului de programare, cum ar fi compilatoare, mașini virtuale și colectoare de gunoi, atât în industrie, cât și ca hobbyist. El a lucrat la runtime Mono la Xamarin și Microsoft, a dezvoltat o infrastructură de înaltă performanță a integrității site-ului în Haskell la Facebook și a co-dezvoltat un compilator ActionScript pentru o implementare a Flash. În timpul liber lucrează la Kitten, un limbaj de programare concatenativ tipizat static.
Pentru mai multe informații despre acest seminar și despre vorbitorul acestuia, puteți vizita http://ee380.stanford.edu/Abstracts/171115.html
Sprijin pentru seria de seminare a Colocviului Stanford privind sistemele informatice oferite de Forumul de computere Stanford.
Seria de seminarii Colocviul privind sistemele informatice (EE380) prezintă cercetările actuale în proiectarea, implementarea, analiza și utilizarea sistemelor informatice. Subiectele variază de la circuite integrate la sisteme de operare și limbaje de programare. Este gratuit și deschis publicului, cu prelegeri noi în fiecare săptămână.
Află mai multe: http://bit.ly/WinYX5
Cursuri interesante:
- Seminar Stanford – Cine deține viitorul, Jaron Lanier, Microsoft Research
- Seminar Stanford – Vorbire profundă: Creșterea recunoașterii vocale de la capăt la capăt
- Seminar Stanford – Băutură din furtunul de incendiu: cum decodifică procesorul morii peste 30 de instrucțiuni pe ciclu
- Seminar Stanford – Analiza topologică a datelor: Cum a folosit Ayasdi TDA pentru a rezolva probleme complexe
- Seminar Stanford – Intel Software Guard Extensions
- Seminar Stanford – Limbajul de programare Rust
- Seminar Stanford – Riscuri și oportunități emergente din modelele mari de limbă, Tatsu Hashimoto
- Seminar de la Stanford: Conducere autonomă, am ajuns încă? – Tehnologie, afaceri, considerente juridice
- Seminar Stanford: Dincolo de virgulă mobilă: aritmetica computerizată de următoarea generație
- Seminar Stanford – Viitorul Edge Computing dintr-o perspectivă internațională