After having programmed for over 2 years now in a language with dependent types, languages without them feel clunky.
-
Prikaži ovu nit
I know they won't take over the world but seriously the guarantees you get with a dependent type system, when used right, feel just magical!
20:44 - 16. ruj 2019.
0 replies
0 proslijeđenih tweetova
2 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
Software security researcher. PhD student at CMU. CTFer (PPP). Open source dev. BTech (CSE) from IIT Roorkee.