Name: Uloga tipova u programiranju
Start: 2018-02-06T18:00:00+01:00
End: 2018-02-06T19:00:00+01:00
Location: Klub Mama/Multimedijalni institut

• What we'll do
Jedan od izazova u razvoju softvera je određivanje svojstva koja želimo da softver ima. U kompajliranim programskim jezicima kompajler i statički tipski sustav automatski daju neka svojstva programima. Tako kompajler prijavljuje grešku u programu u kojem se brojčana vrijednost pokuša staviti na mjesto znakovnog niza. U ovom izlaganju ću motivirati korištenje tipova u programiranju s ciljem davanja dodatnih svojstava programu i smanjenja količine logičkih grešaka. Brojne logičke greške svest ću na greške u kompajliranju. Na primjer, stanja sustava i pripadni protokol moguće je zapisati na razini tipova pa program koji ne slijedi protokol neće biti moguće uredno kompajlirati. Primjeri će biti u Idrisu, a gdje je moguće i u Haskellu i Scali.

• What to bring

• Important to know

Marko Dimjašević

Lambda Zagreb

Technology

Lisp

Computer Programming

Programming Languages

Functional Programming

Haskell

Elixir

Clojure

Rust

Erlang Programming

Uloga tipova u programiranju

Klub Mama/Multimedijalni institut

Share

Lambda Zagreb

Uloga tipova u programiranju

Lambda Zagreb

Details

Members are also interested in