X

Lambda Meetup / Veljača 2018.

utorak, 06.02.2018, 18:00h @ MaMa

Uloga tipova u programiranju

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.

louboutin pas cher louboutin pas cher louboutin pas cher louboutin pas cher louboutin pas cher peuterey outlet peuterey outlet peuterey outlet peuterey outlet peuterey outlet peuterey outlet moncler outlet woolrich outlet woolrich outlet online woolrich outlet bologna lancel pas cher slancel pas cher lancel pas cher lancel pas cher lancel pas cher lancel pas cher hogan outlet online hogan outlet online hogan outlet online hogan outlet online hogan outlet online kate spade outlet coach outlet michael kors outlet