Arnau Abella

@monadplus

Haskell & Nix

Europe
monadplus.pro
Vrijeme pridruživanja: rujan 2019.
6 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @monadplus

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @monadplus

  1. prije 8 sati

    My notes on (indexed) type families in Haskell

    1 korisnik označava da mu se sviđa
    Poništi
  2. prije 19 sati

    Memorandum: complex logic on the database makes database migrations harder.

    1 korisnik označava da mu se sviđa
    Poništi
  3. 2. velj

    fromNat :: (forall n. SNat n -> r) -> Nat -> r

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  4. 2. velj

    Gameplay:

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. 2. velj

    This is the product of 24h developing non-stop:

    1 reply 2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. 30. sij

    1 korisnik označava da mu se sviđa
    Poništi
  7. 18. sij

    It also comes with support for serializing libraries such as aeson:

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 18. sij

    safe-money () is a solid example of type-safety and good design. The complexity added by the type-level techniques is really low but the benefits are huge.

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 14. sij

    Current setup..

    Poništi
  10. 13. sij

    Not well-known lenses features: - Virtual fields - Breakage-free refactoring - Data correction - Maintaining invariants

    1 korisnik označava da mu se sviđa
    Poništi
  11. 13. sij

    Algebraic effects

    1 korisnik označava da mu se sviđa
    Poništi
  12. 5. sij

    It took me more than expected to set up a project with cabal + nix but here are the results: If you want to learn more: - - PS. thanks to for the help

    1 korisnik označava da mu se sviđa
    Poništi
  13. 4. sij

    TFW your executable uses all your capabilities

    Poništi
  14. proslijedio/la je Tweet
    30. pro 2019.

    This photo needs to be the front page of every paper in Australia for the first day of the new decade. Welcome to the 20’s, Australia.

    496 replies 20.579 proslijeđenih tweetova 48.479 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    30. pro 2019.

    Mi primer curso de Gatsby en español ya esta LIVE!!! se agradece los RTs, likes, shares y todo lo que se te ocurra! también feedback! 🙏🙏🙏

    LO PROMETIDO ES DEUDA!!! 📽️🎉🎉🚀 8 vídeos básicos sobre para que empieces a aprender con una buena base! 💪😬🙌
    Prikaži ovu nit
    15 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    29. pro 2019.

    I didn't realise it was that bad

    1:38
    this is fine
    Prikaži ovu nit
    19 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  17. 2. pro 2019.

    AoC solutions written in Nix: I will soon switch to haskell.

    1 korisnik označava da mu se sviđa
    Poništi
  18. 2. pro 2019.

    Debugging nix...

    Poništi
  19. 24. stu 2019.

    HList.index

    data HList (xs :: [Type]) where HNil :: HList '[] HCons :: x -> HList xs -> HList (x ': xs) data SNat (n :: Nat) where SZ :: SNat 'Z SS :: SNat n -> SNat ('S n) class HIndex (ts :: [Type]) (n :: Nat) (v :: Type) | ts n -> v where (!!!) :: HList ts -> SNat n -> v instance HIndex (x ': xs) 'Z x where (!!!) (HCons x _) SZ = x instance (HIndex xs n x) => HIndex (z ': xs) ('S n) x where (!...
    1 korisnik označava da mu se sviđa
    Poništi
  20. 21. stu 2019.

    Created with

    data (x :: a) :~: (y :: b) where Refl :: a :~: a
    1 korisnik označava da mu se sviđa
    Poništi

@monadplus još nije objavio nijedan Tweet.

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

    Možda bi vam se svidjelo i ovo:

    ·