Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Karel Gardas
On 09/28/11 12:41 PM, Yves Parès wrote: Yes, but compilation might be damn slow. I forget about the SheevaPlugs (ARMv5 Kirkwood 1,2 GHz)! They are kind of cheap for what they offer, it's a very nice embedded platform. Yes, or you can even attempt to install some ARMv5 linux on ARMv7 platform.

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Yves Parès
Yes, but compilation might be damn slow. I forget about the SheevaPlugs (ARMv5 Kirkwood 1,2 GHz)! They are kind of cheap for what they offer, it's a very nice embedded platform. 2011/9/28 Karel Gardas > On 09/28/11 11:06 AM, Yves Parès wrote: > >> This means not only kernel should be the same (w

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Karel Gardas
On 09/28/11 11:06 AM, Yves Parès wrote: This means not only kernel should be the same (w.r.t. its API/functionality) but also standard libc and other runtime libraries. Yes, this is what I understood. I wasn't talking about portable *binaries*, just about the ARM platforms which were efficient

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Erik de Castro Lopo
Karel Gardas wrote: > > Hi, > > On 09/28/11 10:35 AM, Joachim Breitner wrote: > > Am Mittwoch, den 28.09.2011, 09:30 +0200 schrieb Karel Gardas: > >> Please note GHCi support is still missing... > > > > which implies that Template Haskell does not work. So if you are > > considering using TH in

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Karel Gardas
Hi, On 09/28/11 10:35 AM, Joachim Breitner wrote: Am Mittwoch, den 28.09.2011, 09:30 +0200 schrieb Karel Gardas: Please note GHCi support is still missing... which implies that Template Haskell does not work. So if you are considering using TH in your library when it is avoidable, remember t

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Yves Parès
> This means not only kernel should be the same (w.r.t. its API/functionality) but also standard libc and other runtime libraries. Yes, this is what I understood. I wasn't talking about portable *binaries*, just about the ARM platforms which were efficient enough to run GHC. I guessed one would ha

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Karel Gardas
On 09/28/11 10:42 AM, Yves Parès wrote: So currently, it's okay to make Haskell code that targets Android smartphones, the Beagleboard, the Raspberry Pi or the OpenPandora as long as you use the development version of GHC? No, it's not that easy. As cross-compiling is not working (yet!) then y

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Yves Parès
So currently, it's okay to make Haskell code that targets Android smartphones, the Beagleboard, the Raspberry Pi or the OpenPandora as long as you use the development version of GHC? 2011/9/28 Karel Gardas > On 09/28/11 12:47 AM, Anthony Cowley wrote: > >> I am not aware of as good a story for A

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Joachim Breitner
Hi, Am Mittwoch, den 28.09.2011, 09:30 +0200 schrieb Karel Gardas: > Please note GHCi support is still missing... which implies that Template Haskell does not work. So if you are considering using TH in your library when it is avoidable, remember that you are making your code unusable on most non

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-28 Thread Karel Gardas
On 09/28/11 12:47 AM, Anthony Cowley wrote: I am not aware of as good a story for Arduino-level development. Atom may be an appropriate foundation for such an effort, but I also hope that we can get GHC ARM support sorted out, and then use platforms like the forthcoming Raspberry Pi as the comput

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-27 Thread Anthony Cowley
On Sep 27, 2011, at 2:01 PM, Jeremy Shaw wrote: > When the robots take over, do you want them to be developed using a sane > language like Haskell or Agda? Or some dangerous untyped OO language? I think > the answer is obvious. > > The question is, "How?". The robots will not be developed by u

Re: [Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-27 Thread Antoine Latter
On Tue, Sep 27, 2011 at 4:01 PM, Jeremy Shaw wrote: > > Let's here your ideas! Here's a post outlining Arduino + Haskell via Atom: http://leepike.wordpress.com/2010/05/31/twinkle-twinkle-little-haskell/ Atom might be a tool to use for any number of targets, but I haven't used it so I really don

[Haskell-cafe] I for one welcome our new Robotic Overlords

2011-09-27 Thread Jeremy Shaw
When the robots take over, do you want them to be developed using a sane language like Haskell or Agda? Or some dangerous untyped OO language? I think the answer is obvious. The question is, "How?". The robots will not be developed by us, but by the children of today. So, we must reach thei