A* Interview #18(ish): Strongly-Typed Emacs Acolyte, Bodil Stokke
Follow Bodil on Twitter.
Check out some of her conference talks.
Use an Emacs starter kit to smooth the learning curve.
For an introduction to type theory, click here.
Or if you want to crack a turtle with types, read Types and Programming Languages.
Learn about the A* Series and see more interviews here.
/* change only these */
var youtubeID = “Zm3xjks7”;
var postID = “Bodil Stokke”;
/* change only these */
// DON’T CHANGE BELOW
$(“.video”).html(“
var tag = document.createElement(‘script’);
tag.src = “http://www.youtube.com/player_api”;
var firstScriptTag = document.getElementsByTagName(‘script’)[0];
firstScriptTag.parentNode.insertBefore(tag, firstScriptTag);
function onPlayerStateChange(event) {
if (event.data ==YT.PlayerState.PLAYING) {
mixpanel.track(“Video played”, {
“youtubeID”: youtubeID,
“postID”: postID
});
}
if (event.data ==YT.PlayerState.ENDED || event.data==0) {
mixpanel.track(“Video ended”, {
“youtubeID”: youtubeID,
“postID”: postID
});
}
}
var player;
function onYouTubePlayerAPIReady() {
player = new YT.Player(‘player’,
{
videoId: youtubeID,
events: {‘onStateChange’: onPlayerStateChange}
});
}
mixpanel.track(“Post viewed”, {
“id”: postID
});