Skip to content
Hallway
0:00 / 0:00

#robotics#haskell#frp

Compose Conference - Robots on Haskell

NYC Haskell User's Group

1.7K subscribers • 23 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Anthony Cowley

Intermediate. Assumes working knowledge.

3.3K views11 years ago2 recommendations

Programming languagesSystems programmingHaskellEmbedded systems

Anthony Cowley discusses using Haskell for robotics, focusing on interactive data analysis and controlling flying robots.

C◦mp◦se :: Conference composeconference.org/ January 31, 2015 Robots on Haskell by Anthony Cowley

Why it's here

2 people recommend this

What people say. Recommended for its interesting demonstration of applying Haskell and functional programming to real-world robotics and hardware control.

Moments people linked to

u/mightybytein r/haskell • Recommends

Compose Conference - Robots on Haskell
25View on Reddit

u/houshuangin r/haskell • Recommends

Frames and interactive data analysis, IHaskell, flying robots, oh my
4View on Reddit

u/acowin r/haskell • Mentions

On “Can there be sum type polymorphism, like there can be row polymorphism?”

I talk about this in the intro to Frames part of the talk I gave at Compose Conference. It’s in the first section of the talk. I don't show all the pieces you might want (eg, to help with pattern matching), but I use an extended version of the technique quite extensively. Edit: Here is the code if you want to follow along with the talk for that bit.
9View on Reddit

u/sclvin r/haskell • Mentions

On “How to not abuse tuples (or "the data.frame problem")”

You should try the `Frames` code -- I hear its about ready for use: https://github.com/acowley/Frames /u/acow gave a talk touching on it at Compose if you want to see some exposition: link to this video If Frames wasn't around I'd either use Vinyl directly as suggested elsewhere on this thread, _or_ (and this is "bad" I know, but I believe in cheating when the win is sufficient) just keep everything as string _as long as possible_ and do all my feasible merging and munging in a "stringly typed" way, and only "parse out" to proper numeric, etc. types at the moment when doing so is actually necessary. If that was insufficient, I would maybe even use an ADT for a union type and do something like `data…
7View on Reddit

u/dukerutledgein r/haskell • Mentions

On “"Hask" anything! The thread where you ask and we try to answer!”

You should watch this talk. I believe this is what you are looking for. link to this video
7View on Reddit

u/ropidin r/haskell • Mentions

On “Inspecting functions”

This here was posted to /r/haskell a few days ago: link to this video Perhaps watch that for inspiration. Something that's interesting for you shows up at some point in the presentation, might help with what you're wondering about "making types" and how limiting it'll be. I don't know if code is shared somewhere. The reddit post for the video is here: https://www.reddit.com/r/haskell/comments/2vdnn1/compose_conference_robots_on_haskell/
5View on Reddit

u/gelisamin r/haskell • Mentions

On “What are your Favorite Introductory Haskell Videos?”

Robots on Haskell - Anthony Cowley
3View on Reddit

u/acowin r/haskell • Mentions

On “IHaskell Online: Help Choose Demo Code Snippets!”

Here's a link to the part of a talk I gave where I cover it.
2View on Reddit

u/lgastakoin r/haskell • Mentions

On “Anonymous sum types in Haskell”

I found yet another idea you might be able to use -- link to this video See the `CoRec` co-records of various types around 8:45 in this talk. I haven't tried it but I don't see any reason why you couldn't have a co-record of multiple function types (at least if they are all to the same type) though I don't know what that might do to type inference.
2View on Reddit