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 aspiwack
Arnaud Spiwack
Arnaud Spiwack
Arnaud Spiwack
@aspiwack

Tweets

Arnaud Spiwack

@aspiwack

Multi-classed Software Engineer/Constructive Mathematician. I torture types for a living.

Vrijeme pridruživanja: ožujak 2019.

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.

    Arnaud Spiwack‏ @aspiwack 31. sij
    • Prijavi Tweet

    I recently posted a blog post where I described two functor hierarchies; which I dubbed “data” and “control” to mirror Haskell's module hierarchies. https://www.tweag.io/posts/2020-01-16-data-vs-control.html … I've received quite a few questions, I'd like to try and add complementary information here.

    05:08 - 31. sij 2020.
    • 3 proslijeđena tweeta
    • 8 oznaka „sviđa mi se”
    • etorreborre ktec Artem Pelenitsyn Alex Peitsinis Louis Carson Harmon old plop/chippy mcnish Alexander Vershilov Tweag I/O
    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
      1. Novi razgovor
      2. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        The Data and Control distinction makes sense in many circumstances: whenever an enriched category is under focus. Depending on the category, different functors may make it on one side of the barrier or the other.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      3. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        In the category of Set (or Hask) there is no difference. Indeed many functors are used both as data and as control. For instance a list can be a container or a backtracking monad.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      4. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        I use linear types in the blog post because there the difference is apparent. In fact, I've needed both kinds of functor in linear-base.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      5. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        In the case of a self-enrichment, like linear types, control functors are, actually, also data functors. Some care applies!

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      6. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        An example of different functor making different classification depending on the category you are using: Maybe is control with affine types, but isn't with linear types.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        Prikaži ovu nit
      7. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        It doesn't mean that exceptions are not control with linear types, just that exceptions are a different monad (namely `_⊕⊤`).

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      8. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        What distinguishes data and control, essentially, is that you can use the do-notation with control monads, but not with data monads.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      9. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        The distinction is about what I can do with a functor, rather than what it is. That's why individual functors can be control or not depending on the situation.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      10. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        This is why I don't speak about data monads too much in the blog post: they are less evidently useful. You can still use them to model substitution (e.g. in first-order terms).

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      11. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        With linear types, lists form a data monad, but not a control monad. This is witnessed by the fact that the do-notation, on lists, lets me make cartesian products, which are definitely not linear.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        Prikaži ovu nit
      12. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        This also proves, incidentally, that data applicative are not a super-class of data monads since lists are the latter, but not the former (control applicative, however, are a super-class of control monads).

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      13. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        I didn't speak about `Traversable` at all, but traversable functors do belong in the data hierarchy (I don't believe there is any value in coming up with a control equivalent of traversables but I'd be thrilled to be wrong!)

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      14. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        This do-notation business has been known since before the monads were a thing in Haskell: Moggi needed *strong* monads to give semantics to effects. In a self-enriched category, strong monads and enriched monads are the same.

        1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
        Prikaži ovu nit
      15. Arnaud Spiwack‏ @aspiwack 31. sij
        • Prijavi Tweet

        Only it hadn't been connected to the data/control intuition before. It's a cute little story. The strength requirement is often forgotten because of how all monads are strong (aka enriched) in Hask.

        1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        Prikaži ovu nit
      16. Kraj razgovora

    Č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