Professor at @UoNComputerSci 💻 Haskeller https://xitter.cf/t.co/4wGcVx49vZ 📓 YouTuber https://xitter.cf/t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Nottingham, UK
Joined January 2018
Graham Hutton retweeted
I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team!
30
75
14
1,068
127,062
Graham Hutton retweeted
Incredibly excited to be hosting @icfp_conference 2026 at @IUIndianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to @IULuddy for their support in making this happen.
1
9
46
2,792
All @TheOfficialACM publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!
5
23
1
122
7,512
Graham Hutton retweeted
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share! tinyurl.com/jfp-phd-abstract…
4
22
66
5,159
Graham Hutton retweeted
This post is making the rounds. Everyone, of course, is wrong about how to write compilers; you don't write them, you *calculate* them: repository.ubn.ru.nl/bitstre…. @haskellhutt and his students have taken this technique to perfection people.cs.nott.ac.uk/pszgmh/.
Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.
5
29
207
24,495
Graham Hutton retweeted
I started taking this course last week to improve my code quality through learning a new perspective about solutions, and it is THE BEST! @haskellhutt made easy to learn the fundamentals of functional programming with Haskell!
Interested in learning Haskell? The full set of 16 videos from my introductory course based on the book "Programming in Haskell" is now freely available on YouTube. Happy Haskelling :-) tinyurl.com/haskell-notts
1
3
1,355
Graham Hutton retweeted
We are still looking for talk proposal for SREPLS 15 / CW. This will be in in Canterbury, UK, on the 18th-19th of July. Participation is free, but you need to register. cw-srepls-24.github.io Functional programming/Category Theory talks highly welcome ;)
6
1
5
2,198
Graham Hutton retweeted
We've extended the deadline for FUNRARCH 2024 to June 12th. Know something about what makes functional programming work in the large? Write it up! functional-architecture.org/…
1
11
11
2,318
Graham Hutton retweeted
Submit to the 2nd SIGPLAN Workshop on Functional Software Architecture #FUNARCH2024 - send us your take on how to do software development in the large with FP! Deadline is June 3! functional-architecture.org/…
5
6
992
Graham Hutton, in collaboration with the University of Nottingham, brings you the Advanced #FunctionalProgramming in #Haskell course. Dive into a treasure trove of freely available videos to elevate your Haskell skills. Enjoy the playlist here: youtube.com/playlist?list=PL…
26
1
102
4,743
Graham Hutton retweeted
The Call for Papers for #FUNARCH2024 is open - deadline is June 3rd. Send us research papers, experience reports, architectural pearls, or submit to the open category! functional-architecture.org/…
10
9
1,652
The Haskell Foundation is excited to announce the 2024 Haskell Ecosystem Workshop! June 6-7, 2024 | Rapperswil, Switzerland haskell.foundation/events/20…
15
2
50
4,366
Graham Hutton retweeted
The ACM SIGPLAN Workshop on Functional Software Architecture will return in 2024, co-located once again with @icfp_conference. @perditast and @sperbsen will chair.
6
7
2,115
Graham Hutton retweeted
Replying to @PhD_Genie
A parser for things. Is a function from strings. To lists of pairs. Of things and strings. (Due to Fritz Ruehr) – at Nottingham, England
1
9
30
2,056
#TheHaskellInterlude interviews Edwin Brady, most famous for his work on the Idris programming language. We talk about his thoughts on dependently typed programming in Haskell, and his vision for Idris. haskell.foundation/podcast/3…
9
43
3,363
Graham Hutton retweeted
The Haskell.org committee is currently looking for new members discourse.haskell.org/t/hask… #Haskell #FP
4
7
2,805
Graham Hutton retweeted
Science isn't about knowing all the answers, it’s about asking the right questions.
54
798
43
4,549
384,719
Replying to @haskellhutt
@haskellhutt Thanks for the excellent video about Functional Parsing youtube.com/watch?v=dDtZLm7H…. I ported it to Java and it dit not disappoint:
1
4
17
1,999