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 withoutboats
Saoirse Shipwreckt
Saoirse Shipwreckt
Saoirse Shipwreckt
@withoutboats

Tweets

Saoirse Shipwreckt

@withoutboats

love and rage

Berlin, Germany
Vrijeme pridruživanja: ožujak 2015.

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. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      Getting beyond that, this is assuming that "future" implements "monad," so if we could just add HKT to have a Monad trait, everything would be hunkydory. That's not true!

      1 reply 6 proslijeđenih tweetova 18 korisnika označava da im se sviđa
      Prikaži ovu nit
    2. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      the signature of >>= is `m a -> (a -> m b) -> m b` the signature of Future::and_then is roughly `m a -> (a -> m b) -> AndThen (m a) b`

      3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    3. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      That is, in order to reify the state machine of their control flow for optimization, both Future and Iterator return a new type from their >>= op, not "Self<U>"

      3 proslijeđena tweeta 16 korisnika označava da im se sviđa
      Prikaži ovu nit
    4. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      Also, our functions are not a `->` type constructor; they come in 3 different flavors, and many of our monads use different ones (FnOnce vs FnMut vs Fn).

      3 proslijeđena tweeta 23 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    5. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      Okay, so Monad can't abstract over Future, but still let's have Monad. Problem: we don't have higher kinded polymorphism, and probably never will.

      1 reply 3 proslijeđena tweeta 20 korisnika označava da im se sviđa
      Prikaži ovu nit
    6. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      The problem is that without currying at the type level, higher kinded polymorphism makes type inference trivially undecidable. We have no currying.

      4 proslijeđena tweeta 21 korisnik označava da mu se sviđa
      Prikaži ovu nit
    7. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      In order to add higher kinded polymorphism, we'd have to restrict the sorts of types you could use in a way that would feel very arbitrary to users.

      1 reply 3 proslijeđena tweeta 15 korisnika označava da im se sviđa
      Prikaži ovu nit
    8. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      In contrast, generic associated types don't have this problem, and directly solve the expressiveness problems we do have, like Iterable (abstracting over everything with a `.iter(&self)` method)

      1 reply 4 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    9. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      (Don't get me wrong, you can write something to abstract over some monads like Option and Result using generic associated types. But its much less ergonomic than Monad in Haskell, even for those).

      1 reply 4 proslijeđena tweeta 21 korisnik označava da mu se sviđa
      Prikaži ovu nit
    10. Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      IN CONCLUSION: a design that works in a pure FP which lazily evaluates and boxes everything by default doesn't necessarily work in an eager imperative language with no runtime.

      5 replies 19 proslijeđenih tweetova 111 korisnika označava da im se sviđa
      Prikaži ovu nit
      Saoirse Shipwreckt‏ @withoutboats 9. kol 2018.
      • Prijavi Tweet

      This comes up a lot, please link this thread liberally.

      16:45 - 9. kol 2018.
      • 5 proslijeđenih tweetova
      • 62 oznake „sviđa mi se”
      • Adrian Miron Masaki Hara to kubectl or not to kubectl that is the question uolɥɐʞ dooɹ ɹɐunɥ Guillaume Quintard Ted Mielczarek rare liquids waeug goyox86
      5 proslijeđenih tweetova 62 korisnika označavaju da im se sviđa
      1. Tweet je nedostupan.
        1. Javi‏ @Javi 12. kol 2018.
          • Prijavi Tweet
          Odgovor korisniku/ci @withoutboats

          Thank you so much. Even as someone who's by no means an expert in FP and doesn't even know Rust (and only a bit of Haskell), this thread was super easy to follow and informative 👍

          0 replies 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
          Poništi
        1. ᛚᛖᛁᚠ Warner‏ @pdxleif 22. kol 2018.
          • Prijavi Tweet
          Odgovor korisniku/ci @withoutboats

          Apologies, I don't know any rust - would the same issues you described, borrowing and early returns, apply equally to callbacks on futures, e.g. the "my_fut().and_then(|retval| my_fn_squared(retval))" on https://dev.to/mindflavor/rust-futures-an-uneducated-short-and-hopefully-not-boring-tutorial---part-1-3k3 … ?

          0 replies 0 proslijeđenih tweetova 0 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