Bob Atkey

@bentnib

fixme : (A → A) → A

Edinburgh, UK
Joined October 2010

Tweets

You blocked @bentnib

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

  1. Pinned Tweet
    20 Apr 2017

    Use dynamic types, they said. It'll be simpler, they said. Lower cognitive overhead, they said.

    Undo
  2. Retweeted

    "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP!

    Show this thread
    Undo
  3. Jan 29

    Dunno why they're called research _councils_. They've never arranged collection of my research bins or sorted out the potholes in my notes.

    Undo
  4. Retweeted
    Jan 28

    Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here:

    Undo
  5. Retweeted
    Jan 24

    Ideas for further Star Trek TNG spinoffs after : Wes World Beverley Crusher, 90210 Geordi Shore Troi Meets World Guinan & Kel First Data Riker Grove Worf of the Worlds

    Undo
  6. Jan 24

    Slides for “Resource Constrained Programming with Full Dependent Types” a talk I gave yesterday at IRIF on polytime programming in dependent type theory.

    Undo
  7. Retweeted

    Got the paperwork yesterday, so: happy to announce that I'll be spending the next 3 years working full time on Idris with !

    Show this thread
    Undo
  8. Retweeted
    Jan 6

    Reminder: the MSFP 2020 deadline for abstracts is this Thursday, the 9th, with the paper deadline a week later! Send in those submissions!

    Undo
  9. Retweeted
    20 Dec 2019

    Did you know that trains in the UK run on Lenses? I've been working for for the last five weeks and we're hiring Haskell developers! Please spread the word :)

    Undo
  10. 11 Dec 2019

    There are no stack backtraces, only lists of promises your program failed to keep.

    Undo
  11. Retweeted

    Lecture 17 : Laziness and Procrastination, How Haskell is Executed Today's lecture in Strathclyde's Functional Programming course.

    Undo
  12. Retweeted
    20 Nov 2019
    Replying to and

    "M" = "mutable". Previously, Id had no mutable data. Certain array-like "accumulating" computations (e.g., histograms) seemed difficult/impossible to express efficiently with purely functional data structures.

    Undo
  13. 20 Nov 2019

    What does the 'M' in Haskell's MVars stand for? Following references gets me to which calls them "M-structures" and never says explicitly what the 'M' is. Mutable? Mutex?

    Undo
  14. Retweeted

    Monads, Data Dependency, and Applicatives; finishing with a toy version of the Haxl library notes from Strathclyde's Functional Programming class.

    Undo
  15. Retweeted

    Parser Combinators II: parsing strings, JSON, and expressions today's lecture for Strathclyde's Functional Programming course.

    Undo
  16. Retweeted

    my co-PI just made the best f*cking gantt chart I've ever seen. defs gonna get this grant now.

    Undo
  17. Retweeted

    Parser Combinators; today's lecture in Strathclyde's Functional Programming course

    Undo
  18. 11 Nov 2019

    If either everyone drinks or someone doesn't, then there is a person such that, if they drink, then everyone drinks.

    Undo
  19. Retweeted
    11 Nov 2019

    The new Agda standard library comes with my changes to `Dec` (known from an AIM wrap-up meeting and my SPLS talk). There's also a new wee bit of documentation at . It's aimed towards people new to `Dec`, but is hopefully useful for everyone.

    Undo
  20. 8 Nov 2019

    But they're waving so invitingly!

    Undo
  21. 8 Nov 2019
    Undo

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

    ·