Thor Adam

@thoradam

Functional programming, types, developer tooling. Drummer that secretly plays the guitar.

Iceland
Joined March 2009
14 Photos and videos Photos and videos

Tweets

You blocked @thoradam

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @thoradam

  1. Retweeted
    May 31

    Try purescript-behaviors in the REPL:

    1 reply 7 retweets 29 likes
  2. Retweeted
    May 30

    Currently experimenting with RowCons and indexed monads, implementing a labeled effects system with associated resources, for PureScript:

    2 replies 5 retweets 23 likes
  3. Retweeted
    May 29

    purescript-behaviors now has support for computing fixed-points, so you can solve interactive differential equations

    2 replies 47 retweets 122 likes
  4. Retweeted
    May 29

    Haskell is a pretty sweet imperative language:

    1 retweet 5 likes
  5. Retweeted
    May 27

    I wrote a new blog post about Hackett, in which I write hello world, fibonacci numbers… and a 15-line web server.

    5 replies 58 retweets 119 likes
  6. Retweeted
    May 20

    Blogged: Escaping Hell with Monads. A short diversion on the benefits of do-notation.

    2 replies 54 retweets 88 likes
  7. Retweeted
    May 19

    what are some things people get stuck on when trying out purescript? i want to chase these down and get them fixed

    1 reply 6 retweets 13 likes
  8. Retweeted
    May 15

    Made a PureScript library for deduplicating, batching, and caching of requests/queries.

    1 reply 9 retweets 21 likes
  9. May 11

    6 retweets 13 likes
  10. Retweeted
    May 1

    More Haskell at Facebook Now powering a probabilistic human language parser, focused on dates at the moment

    2 replies 34 retweets 45 likes
  11. Retweeted
    Apr 25

    I'm looking for some PureScript demos to add to the website, to showcase the different ways it can be used. Does anyone have a good example?

    4 replies 6 retweets 18 likes
  12. Retweeted
    Apr 24

    Fundeps might be the best feature we've added to PureScript in terms of benefit vs implementation effort. They're so useful!

    1 reply 4 retweets 29 likes
  13. Retweeted
    Apr 22

    Concurrency support for PureScript

    1 reply 14 retweets 51 likes
  14. Retweeted
    Apr 4

    Pure functional programming allows you to treat tricky concepts such as state and exceptions with the respect they deserve. -

    1 reply 42 retweets 65 likes
  15. Retweeted
    Mar 14

    The PDF eBook of TypeDD in Idris is now available at . Get yours while stocks last! Other formats coming soon...

    5 replies 47 retweets 96 likes
  16. Feb 27

    The code I write has a noticeably more depraved quality when I listen to Deathspell Omega than when I listen to any other avant-garde jazz

    1 reply 4 likes
  17. Feb 15

    This has been fixed now. I like to think that my churlish, passive aggressive, completely ignored tweet had something to do with it.

    1 retweet 1 like
  18. Retweeted
    Feb 9

    F* v0.9.4 released Universes, Dijkstra Monads for free, KreMLin extraction and tons of improvements 😁

    2 replies 16 retweets 20 likes
  19. Retweeted
    Feb 8

    I'm sorry, the correct answer to the FizzBuzz interview question was flipping the table and storming out of the office.

    3 replies 29 retweets 64 likes
  20. Feb 1
    Replying to

    Do the people behind the big mainstream languages not follow PLT at all?

    1 reply 1 retweet 3 likes

@thoradam hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·