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.

    1. Brian McKenna‏ @puffnfresh 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @typedrat @alexnixon_uk

      how has the program been restricted by an unused type?

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
    2. Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @puffnfresh @typedrat @alexnixon_uk

      Presumably, by having any static types at all, you now have libraries that use them, and constraints on the design of the overall language, which impacts you indirectly. If nothing uses them, then why have them at all?

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
    3. Brian McKenna‏ @puffnfresh 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @typedrat @alexnixon_uk

      imagine if you could "throw away" the second type whenever you wanted to (e.g. casting) to solve that first problem. The "why have them at all?" is in the case you wanted a second type, maybe even a third would be possible!

      1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
    4. Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @puffnfresh @typedrat @alexnixon_uk

      The programmers in dynamically-typed languages don’t feel that the static constraints are all that beneficial given they’re enforcing correctness with their tests anyway, so they don’t want to have to write pointless casts all over their program. They don’t want any static types.

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
    5. Brian McKenna‏ @puffnfresh 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @typedrat @alexnixon_uk

      I'm a programmer in dynamically-typed languages, I DO feel that static constraints are beneficial, even given the best testing situation possible. I don't want to write casts, I want tooling.

      1 reply 0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
    6. Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @puffnfresh @typedrat @alexnixon_uk

      Look, me too, but you and I don’t get to speak for every dynamically-typed programmer. If you have a concrete alternative to what they’re doing that avoids the pitfalls they don’t want, then great, but neither of us have that, and arguing this comes off as disparaging them.

      1 reply 0 proslijeđenih tweetova 5 korisnika označava da im se sviđa
    7. Brian McKenna‏ @puffnfresh 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @typedrat @alexnixon_uk

      I'm not disparaging any person

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
    8. Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @puffnfresh @typedrat @alexnixon_uk

      I feel like asking the question “how has the program been restricted by an unknown type?” isn’t showing a ton of empathy for people who feel like it has. The static-vs-dynamic argument is really toxic, and I’d like to make it less so, but that requires a little compassion.

      1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    9. Brian McKenna‏ @puffnfresh 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @typedrat @alexnixon_uk

      I've got absolute compassion, nobody actually has a problem with the theoretical possibility of a system having more types, it's all about the tooling

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
    10. Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @puffnfresh @typedrat @alexnixon_uk

      I disagree—I think there are genuinely useful patterns that work in dynamically-typed languages that we don’t know how to statically typecheck. You see this a lot in the wild with gradual type systems. Otherwise, I think things like TypeScript would already satisfy them.

      0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
      Alexis King‏ @lexi_lambda 21. sij
      • Prijavi Tweet
      Odgovor korisnicima @lexi_lambda @puffnfresh i sljedećem broju korisnika:

      Working with a static type system is an exercise in learning how to structure your program in a way that cooperates well with the typechecker. There’s a lot of power here, and I personally find it extremely worthwhile, but it’s disingenuous to say static typing is “solved.”

      15:10 - 21. sij 2020.
      • 1 proslijeđeni Tweet
      • 5 oznaka „sviđa mi se”
      • Brian who survived a powerline Justin Falcone Ramsey Nasser Brendan Zabarauskas ℥ Ed L ℥
      1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
        1. Novi razgovor
        2. Ramsey Nasser‏ @ra 22. sij
          • Prijavi Tweet
          Odgovor korisnicima @lexi_lambda @brendanzab i sljedećem broju korisnika:

          clojure's transducers are another example of a dynamic construct that has proven very difficult to figure out static types for. pretending that dynamically typed languages are just broken statically typed languages with one type is not terribly useful, I agree.

          1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        3. Alex Nixon‏ @alexnixon_uk 22. sij
          • Prijavi Tweet
          Odgovor korisnicima @ra @lexi_lambda i sljedećem broju korisnika:

          I love transducers as much as the next clojurian but how are the types difficult? It's easy to write them (at least impurely) in Scala or haskell, unless I'm missing something.

          1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        4. Još 7 drugih odgovora

      Č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