Vanessa McHale

@vamchale

Mainly Haskell, sometimes Idris/ATS Currently working @ IOHK

যোগদান করেছেন এপ্রিল ২০১৮

টুইট

আপনি @vamchale-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @vamchale অবরোধ মুক্ত হবে না।

  1. ৫ ঘন্টা আগে

    sum types have existed in Haskell for at least 20 years...

    পূর্বাবস্থায়
  2. ১৯ ঘন্টা আগে

    using Elm instead of Haskell because it's more "beginner-friendly"

    পূর্বাবস্থায়
  3. ১৬ জুলাই

    not having generics is the ultimate high

    পূর্বাবস্থায়
  4. ১৬ জুলাই

    every conversation on Haskell ever

    পূর্বাবস্থায়
  5. ১৫ জুলাই

    Impure constructs don't give "performance." Just because Haskell uses the `IO` monad for mutable array updates does not mean computations involving mutable arrays are impure!

    পূর্বাবস্থায়
  6. ১৫ জুলাই

    when my Haskell program doesn't compile on the first try

    পূর্বাবস্থায়
  7. ১৫ জুলাই

    it is a truth universally acknowledged that anyone complaining about Haskell tooling has no idea what GHC is capable of or what tools already exist

    পূর্বাবস্থায়
  8. ১৫ জুলাই

    me when my ATS typechecks

    পূর্বাবস্থায়
  9. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    A year into Backpack: Lots of things have happened in Backpack since I graduated my PhD! Here are some of the most interesting ones.

    পূর্বাবস্থায়
  10. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    With the merging of remote target support today and new-install a few days ago, I’m very happy to announce that my project is nearly complete, with all of the remaining not-yet-implemented critical functionality for cabal new-build set to drop in cabal-install 2.4.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  11. ১৪ জুলাই
    পূর্বাবস্থায়
  12. ১৪ জুলাই

    once you have reached this point, you probably want to use a language with support for monads

    পূর্বাবস্থায়
  13. ১৪ জুলাই

    The magic of `sequence`: #1: Apply every function in a list to one value λ:> sequence [(+1), (+2)] 3 [4,5] #2: Compute the cartesian prodouct of two lists λ:> sequence [[1,2], [3,4]] [[1,3],[1,4],[2,3],[2,4]]

    পূর্বাবস্থায়
  14. পুনঃ টুইট করেছেন
    ১৩ জুলাই

    Two papers accepted for the Haskell Symposium \o/ AutoBench: comparing the time performance of Haskell programs () and Theorem proving for all: equational reasoning in Liquid Haskell ()

    পূর্বাবস্থায়
  15. ১৩ জুলাই
    পূর্বাবস্থায়
  16. ১৩ জুলাই
    পূর্বাবস্থায়
  17. ১৩ জুলাই

    sounds weirdly like XMonad.

    পূর্বাবস্থায়
  18. ১৩ জুলাই
    পূর্বাবস্থায়
  19. পুনঃ টুইট করেছেন
    ১২ জুলাই
    পূর্বাবস্থায়
  20. ১২ জুলাই
    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·