{"guid":"bd81ac78-466f-482e-a186-345853f4afd2","title":"Compiling Anything to Categories","subtitle":null,"slug":"bob2022-compiling-anything-to-categories-pfeil","link":"https://bobkonf.de/2022/pfeil.html","description":"\nConal Elliott’s Compiling to Categories sparked interest in novel\ninterpretations of Haskell programs that are accessible to a casual\nuser of the language. Conal also created some proofs of concept with\nvery compelling examples. However, many potential users were stymied\nby some limitation or other in the PoCs. At Kittyhawk, we were also\nattracted to the approach. Thankfully, we had the resources to commit\nto it, which allowed us to extend the PoC and even the original paper\nto make it work for us. And now, hopefully, it can work for you as\nwell. This talk will introduce the approach, our use of it as a code\ngenerator for the flight control system of our electric aircraft, the\nlimitations we ran into, and our solutions to them.\n\t\t","original_language":"eng","persons":["Greg Pfeil"],"tags":["bob2022","101","2022","Talk","BOB","BOBKonferenz"],"view_count":141,"promoted":false,"date":"2022-03-11T11:45:00.000+01:00","release_date":"2022-09-05T00:00:00.000+02:00","updated_at":"2026-02-14T20:45:29.833+01:00","length":2163,"duration":2163,"thumb_url":"https://static.media.ccc.de/media/events/bobkonf/2022/101-bd81ac78-466f-482e-a186-345853f4afd2.jpg","poster_url":"https://static.media.ccc.de/media/events/bobkonf/2022/101-bd81ac78-466f-482e-a186-345853f4afd2_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/bobkonf/2022/101-bd81ac78-466f-482e-a186-345853f4afd2.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/bobkonf/2022/101-bd81ac78-466f-482e-a186-345853f4afd2.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/bob2022-compiling-anything-to-categories-pfeil","url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_title":"BOB Konferenz 2022","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022","related":[],"recordings":[{"size":160,"length":2163,"mime_type":"video/webm","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2022-09-05T14:16:08.881+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/webm-hd/bob2022-101-eng-Compiling_Anything_to_Categories_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/61485","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"},{"size":33,"length":2163,"mime_type":"audio/mpeg","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2022-09-05T13:59:52.779+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/mp3/bob2022-101-eng-Compiling_Anything_to_Categories_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/61475","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"},{"size":54,"length":2163,"mime_type":"video/mp4","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2022-09-05T13:59:34.131+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/h264-sd/bob2022-101-eng-Compiling_Anything_to_Categories_sd.mp4","url":"https://api.media.ccc.de/public/recordings/61474","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"},{"size":20,"length":2163,"mime_type":"audio/opus","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2022-09-05T13:57:15.608+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/opus/bob2022-101-eng-Compiling_Anything_to_Categories_opus.opus","url":"https://api.media.ccc.de/public/recordings/61472","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"},{"size":69,"length":2163,"mime_type":"video/webm","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2022-09-05T13:51:03.293+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/webm-sd/bob2022-101-eng-Compiling_Anything_to_Categories_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/61468","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"},{"size":108,"length":2163,"mime_type":"video/mp4","language":"eng","filename":"bob2022-101-eng-Compiling_Anything_to_Categories_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2022-09-05T13:38:27.760+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2022/h264-hd/bob2022-101-eng-Compiling_Anything_to_Categories_hd.mp4","url":"https://api.media.ccc.de/public/recordings/61460","event_url":"https://api.media.ccc.de/public/events/bd81ac78-466f-482e-a186-345853f4afd2","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2022"}]}