Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce lexi_lambda
Alexis King
Alexis King
Alexis King
@lexi_lambda

Tweets

Alexis King

@lexi_lambda

A little too into programming languages. Currently getting paid to write Haskell for @HasuraHQ.

Chicago, IL
lexi-lambda.github.io
Vrijeme pridruživanja: listopad 2012.

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    Alexis King‏ @lexi_lambda 19. sij
    • Prijavi Tweet

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.) https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …

    02:09 - 19. sij 2020.
    • 300 proslijeđenih tweetova
    • 762 oznake „sviđa mi se”
    • John Major's Philtrum Nicholas Huber Charles-Edouard Cady June “Wakalix”, [null] Iurii Malchenko Jose Luis Piedrahita Gibran Rosa Dejan Milicic Simonoid
    46 replies 300 proslijeđenih tweetova 762 korisnika označavaju da im se sviđa
      1. Novi razgovor
      2. Jean-Bapt. Potonnier‏ @jbpotonnier 19. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @lexi_lambda

        Dynamic languages allow some things that static supporters would call dependent types, which is not allowed in most static languages. Ironically, dynamic programmers are often surprised and tricked by it, leading to subtle bugs.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      3. tristan‏ @jancorazza 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @jbpotonnier @lexi_lambda

        In what way do you see some dynamic languages offering dependent typing?

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      4. Još 21 odgovor
      1. Novi razgovor
      2. Stéphane Bjørne‏ @SteBjoerne 19. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @lexi_lambda

        It's an interesting and well written post! However there is what I believe to be a misrepresentation of intent in the JSON parsing part: if my understanding of Haskell is correct, any error that can come from JSON parsing is ignored. We don't see the JSON parsing in JS

        0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      3. Yawar Amin‏ @yawaramin 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @SteBjoerne @lexi_lambda

        This is incorrect. The Haskell version will also expose JSON parse errors.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      4. Još 6 drugih odgovora
      1. Novi razgovor
      2. Sam Ferree‏ @sam_ferree 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @lexi_lambda @ploeh

        This makes me wish we called them explicit/implicit typed languages instead of static/dynamic...

        5 replies 3 proslijeđena tweeta 31 korisnik označava da mu se sviđa
      3. nick12‏ @nick1255553116 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @sam_ferree @lexi_lambda @ploeh

        Implícit fits statically typed but with strong inference a lot more imo

        1 reply 0 proslijeđenih tweetova 7 korisnika označava da im se sviđa
      4. Još 1 odgovor
      1. Novi razgovor
      2. よ‏ @pitopos 19. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @lexi_lambda

        The Rich Hickey call-out was *mwah* chef's kiss

        1 reply 0 proslijeđenih tweetova 18 korisnika označava da im se sviđa
      3. Alex Nixon‏ @alexnixon_uk 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @pitopos @lexi_lambda

        I think the article was great but was really disappointed by that part. You should be able to disagree with someone's philosophy without resorting to cheap personal attacks, in my opinion.

        1 reply 0 proslijeđenih tweetova 7 korisnika označava da im se sviđa
      4. Još 1 odgovor
      1. Brian J. Cardiff‏ @bcardiff 19. sij
        • Prijavi Tweet
        Odgovor korisniku/ci @lexi_lambda

        My favorite quotes: (..) the static type system is not at fault—it has simply been misused (..) At some point, you have to make assumptions about the structure of the value in order to use it (..)

        0 replies 1 proslijeđeni tweet 14 korisnika označava da im se sviđa
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi
      1. 𝗖𝗵𝗮𝗻𝗻𝗶𝗻𝗴 𝗪𝗮𝗹𝘁𝗼𝗻‏ @channingwalton 19. sij
        • Prijavi Tweet
        Odgovor korisnicima @lexi_lambda @JulienTruffaut

        I’ve made these arguments many times but somehow they fall on deaf ears. Frustrating.

        0 replies 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
        Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
        Poništi

    Č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.

      Sponzorirani tweet

      false

      • © 2020 Twitter
      • O Twitteru
      • Centar za pomoć
      • Uvjeti
      • Pravila o privatnosti
      • Imprint
      • Kolačići
      • Informacije o oglasima