Bodil works as a computer science researcher for a secretive think tank, and is a world renowned expert in varied fields such as pizza and persistent data structures. Contrary to popular rumour, she only has five fingers on each hand, but is still an Emacs user.
Talks I've Given
-
Meetings With Remarkable Trees
Featuring Bodil Stokke
Everybody knows the classic cons list. Clojeurs brag about their bitmapped vector tries. Haskell weenies took it up a notch with their impossible finger trees. Rustaceans turned back the clock and gave us simple arrays again.
scala scalax functional-programming rrb -
The Perfect Language
Featuring Bodil Stokke
There’s no such thing as the perfect programming language. I’m sorry, but there isn’t, and I’ll explain why.
On the other hand, if you were set the task of designing the perfect language, how close could you get, how would you go about it, and what would it look like in...
language -
The Perfect Language
Featuring Bodil Stokke
There’s no such thing as the perfect programming language. I’m sorry, but there isn’t, and I’ll explain why.
On the other hand, if you were set the task of designing the perfect language, how close could you get, how would you go about it, and what would it look like in...
software-development -
Your Regular Church of Emacs Service
Featuring Bodil Stokke
We gather once again to explore together the secrets of the One True Editor! Bring your exciting new discoveries, your problems, your questions or just your curiosity, and come away fulfilled in mind and soul by the light of Emacs. Both Emacs wizards and Emacs novices are welcome. Even Vim users...
emacs one-true-editor spacemacs -
The Realist's Guide to Language Design
Featuring Bodil Stokke
There's a bewildering amount of compile-to-JavaScript language options growing in popularity these days. Instead of pushing one more in front of your face, asking you to fall in love with its shininess based on a limited set of demoable features, I'd like to take a step back and examine...
language-design -
The Miracle of Generators
Featuring Bodil Stokke
The ECMAScript 2015 specification introduced iterators, which generalize iteration over common data structures, as well as providing an interface for allowing you to iterate over any custom data structures using common language constructs. ES2015 also introduced generator functions, which make...
big-data -
The Miracle of Generators
Featuring Bodil Stokke
The ECMAScript 2015 specification introduced iterators, which generalize iteration over common data structures, as well as providing an interface for allowing you to iterate over any custom data structures using common language constructs. ES2015 also introduced generator functions, which make...
big-data -
The Miracle of Generators
Featuring Bodil Stokke
The ECMAScript 2015 specification introduced iterators, which generalize iteration over common data structures, as well as providing an interface for allowing you to iterate over any custom data structures using common language constructs. ES2015 also introduced generator functions, which make...
big-data -
The Miracle of Generators
Featuring Bodil Stokke
At FunctionalJS we practise (bring a laptop) and hear about functional programming with JavaScript. At each meetup we run a dojo. No experience with FP needed, we're all here to learn! Bring a laptop.
functional javascript -
µKanren: Running the Little Things Backwards
Featuring Bodil Stokke
Relational programming, or logic programming, is a programming paradigm that exhibits remarkable and powerful properties, to the extent that its implementation seems frightfully daunting to the layman. µKanren is a minimal relational language that seeks to strip the paradigm down to its core,...
functional-programming kanren minikanren clojure prolog -
-
A Gentle Introduction to Mad Computer Science
Featuring Bodil Stokke
Want to find out why everyone who is anyone is talking about Idris? Come join functional programming expert, Bodil Stokke for a gentle introduction.
dependent-types idris functional-programming -
Haskell for Clojurists
Featuring Bodil Stokke
Now that you've found your perfect language, why would you even care about other languages? Actually, a very large part of what's made Clojure so great is the community's eagerness to go out and seek new ideas and bring them back. You'll be surprised how many Clojure core...
metaprogramming clojure core.async haskell functional core.logic core.typed core.match type-systems -
Build Your Own Lisp for Great Justice
Featuring Bodil Stokke
Implementing a toy Lisp interpreter is practically a rite of passage for the budding computer scientist. This hallowed tradition is described in detail in "Lisp in Small Pieces," the seminal work on the making of Lisps, but everybody loves a tl;dr, so let's do the 40 minute...
functional-programming lisp clojure lambda lexical-scope types fpx -
ClojureScript all the way down
Featuring Bodil Stokke
Node.js is really hip these days. Of course, a barrier to adoption for any sensible programmer is the fact that while the opportunities it provides for network programming are shiny and brilliant, it expects you to write your code in Javascript, a language born with so many design flaws it makes...
clojure clojurescript node.js javascript -
ClojureScript all the way down
Featuring Bodil Stokke
Node.js is really hip these days. Of course, a barrier to adoption for any sensible programmer is the fact that while the opportunities it provides for network programming are shiny and brilliant, it expects you to write your code in Javascript, a language born with so many design flaws it makes...
clojure clojurescript node.js javascript
Bodil is a compulsive conference speaker in the fields of functional programming and internets technologies, and is a co-organiser of multiple developer conferences in Scandinavia and the UK, mostly because she’s still learning how to stop. She is a prolific contributor to the Free Software community, and has recently taken up designing new programming languages as a hobby. In her spare time, she works as a developer for Future Ad Labs, a London based startup that wants to make advertising a productive member of society. Her favourite pony is Pinkie Pie.