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 Anka213
Lambda Duck
Lambda Duck
Lambda Duck
@Anka213

Tweets

Lambda Duck

@Anka213

Student in Computer Science and Mathematics at Chalmers University of Technology in Gothenburg. He/Him. #Haskell #Agda

github.com/anka-213
Vrijeme pridruživanja: svibanj 2011.

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. Jose Cardona  👌 🐶‏ @JM0x5C 26. sij
      • Prijavi Tweet

      I mute everyone that complains about haskell having no IDE. I got tired of the dumb circlejerk. You don't need one. If you are hellbent on complaining about not having one, I definitely don't want to read what you have to say.

      1 proslijeđeni tweet 22 korisnika označavaju da im se sviđa
    2. Lambda Duck‏ @Anka213 26. sij
      • Prijavi Tweet
      Odgovor korisniku/ci @JM0x5C

      What do you/they mean doesn’t have? There’s plenty of them. ghcide, hie, leksah, ghcid, and plenty of other editor integration tools with a bunch of different features. What are the features people are missing?

      1 reply 0 proslijeđenih tweetova 6 korisnika označava da im se sviđa
    3. Jose Cardona  👌 🐶‏ @JM0x5C 27. sij
      • Prijavi Tweet
      Odgovor korisniku/ci @Anka213

      I'm not naming and shaming but there's many a tweet every single week about it and it's so annoying. Moreover ghci itself (with cabal v2) is pretty great. Hardly need anything else aside from syntax highlighting.

      1 reply 0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
    4. Neil Mitchell‏ @ndm_haskell 27. sij
      • Prijavi Tweet
      Odgovor korisnicima @JM0x5C @Anka213

      If you're not using something more than ghci you're missing out. Everything on that list will make you more productive (try ghcid if you don't want to change much from ghci). A good IDE is super valuable.

      1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
    5. Jose Cardona  👌 🐶‏ @JM0x5C 27. sij
      • Prijavi Tweet
      Odgovor korisnicima @ndm_haskell @Anka213

      But why wouldn't I just use :reload? It's practically the same thing in my experience. I did use ghcid and I thought it wasn't any more productive than cabal v2-repl.

      0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Lambda Duck‏ @Anka213 27. sij
      • Prijavi Tweet
      Odgovor korisnicima @JM0x5C @ndm_haskell

      Real-time feedback is really nice! Not having to press “alt-tab :r<enter>” every few seconds is a huge improvement and means I will do it more often and get feedback faster. It can even change how you program.

      10:47 - 27. sij 2020.
      • 1 proslijeđeni Tweet
      • 3 oznake „sviđa mi se”
      • Farseen Abdul Salam gilmi Mihai Maruseac Neil Mitchell
      1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
        1. Novi razgovor
        2. Jose Cardona  👌 🐶‏ @JM0x5C 28. sij
          • Prijavi Tweet
          Odgovor korisnicima @Anka213 @ndm_haskell

          There are times where I intentionally do not want to recompile and ghcid is more of an annoyance. I really think the productivity boost is overblown, but to each their own. I think it's a great tool, but it's not for me.

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        3. Lambda Duck‏ @Anka213 28. sij
          • Prijavi Tweet
          Odgovor korisnicima @JM0x5C @ndm_haskell

          I usually just delay saving in those rare cases. But recompiling into an error intentionally is often a very useful tool. Do you have an example on when you would want to avoid a recompile?

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        4. Još 1 odgovor
        1. Novi razgovor
        2. Laurent Giroud‏ @laurentgiroud 28. sij
          • Prijavi Tweet
          Odgovor korisnicima @Anka213 @ndm_haskell @JM0x5C

          Program in C# with Resharper and you will understand the value of an editing/refactoring tool which auto updates as you type. Computers exist precisely for this purpose, what else are they useful for if they do not substract to our effort for the same result?

          0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
        3. Jose Cardona  👌 🐶‏ @JM0x5C 28. sij
          • Prijavi Tweet
          Odgovor korisnicima @laurentgiroud @Anka213 @ndm_haskell

          I used IntelliJ with scala and Java, it's not like I've never used an ide, it's that ghci is actually insanely useful unlike javac/scalac for both writing and inspecting code.

          0 replies 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
        4. 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