On Mon, 10 Dec 2018, 09:30 Gershom B The other approach, which has been quite successful, by the penn team,
> is using hs-to-coq to extract coq from haskell and _then_ verify:
> https://github.com/antalsz/hs-to-coq
Thank you! Someone else proposed that off list yesterday too. If we get our
layer
I think this is brilliant. Will have a good read of them, and do my best to
adopt them for my own projects and any interactions I have within the
community.
Thank you Simon!
PS: we love you too! :D
On Thu, 6 Dec 2018 at 10:35, Simon Peyton Jones via Glasgow-haskell-users <
glasgow-haskell-users@
rify concurrent/distributed algorithms, and generate some (if
not all) of the required implementation code.
Any pointers to research or prior art would be greatly appreciated.
Cheers,
Tim Watson
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@h
Hi Mathieu,
On 28 Jan 2014, at 12:53, Mathieu Boespflug wrote:
> We would prefer to do it that way, to be honest. As explained in my
> previous email, we identified two problems with this approach:
>
> 1) User friendliness. It's important for us that Cloud Haskell be
> pretty much as user friendl
Hi Brandon,
On 26 Jan 2014, at 19:01, Brandon Allbery wrote:
> On Sun, Jan 26, 2014 at 1:43 PM, Tim Watson wrote:
> In Erlang, I can rpc/send *any* term and evaluate it on another node. That
> includes functions of course. Whether or not we want to be quite that general
> is an
On 25 Jan 2014, at 18:12, Carter Schonwald wrote:
> 1) you should (once 7.8 is out) evaluate how far you can push your ideas wrt
> dynamic loading as a user land library.
> If you can't make it work as a library and can demonstrate why (or how even
> though it works its not quite satisfactory),
On 24 Jan 2014, at 17:59, Carter Schonwald wrote:
> 0) I think you could actually implement this proposal as a userland library,
> at least as you've described it. Have you tried doing so?
>
I didn't pick up on that at all - how would we be able to do that?
> 1) what does this accomplish that
I don't have time to weigh in on this proposal right now, but I have several
comments...
On 24 Jan 2014, at 17:19, Facundo Domínguez wrote:
> Rationale
> ===
>
> We want the language extension to meet the following requirements:
>
> 1. It must be a practical alternative to the remoteTable
Hi Bryan,
On 8 Feb 2013, at 11:53, Bryan O'Sullivan wrote:
> On Fri, Feb 8, 2013 at 1:29 AM, Tim Watson wrote:
> Likewise, I'm in the process of setting up Elastic Bamboo on EC2 for Cloud
> Haskell and would be very interested in seeing how you've dealt with mul
On 8 Feb 2013, at 05:18, Carter Schonwald wrote:
> johan, how do you and Bryan have those jenkin's nodes setup?
>
> (I'm planning to setup something similar for my own use, and seeing how
> thats setup would be awesome)
>
Likewise, I'm in the process of setting up Elastic Bamboo on EC2 for Cl
cause epoll and kevent are available in the threaded mode
> only.
>
[snip]
>
>
> среда, 6 февраля 2013 г., 12:33:36 UTC+2 пользователь Tim Watson написал:
> Hello all,
>
> It's been a busy week for Cloud Haskell and I wanted to share a few of
> o
Shameless plug: Cloud Haskell. See the links below for a list of open issues,
some really complex, some really simple. Not sure if any are suitable for a
master thesis, but feel free to look and see if there's anything meaty enough.
https://github.com/haskell-distributed/distributed-process/issu
I'm in a very similar position. Have some background knowledge and would love
to contribute to ghc in the future hut the barrier to entry is pretty high even
though I've some familiarity with compiler theory, have a long history with
functional languages like ml/ocaml and a background in c that
Could we not configure travis-ci to run the benchmarks for us or something like
that? A simple (free) ci setup would be easier than finding a pair of hands to
do this regularly I would've thought.
On 30 Nov 2012, at 14:42, Simon Peyton-Jones wrote:
> | > While writing a new nofib benchmark tod
This offer is really nice, isn't it? http://www.network4dummies.com/info.html
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
This is a good offer http://www.gogoamerica.com/info.html It's cool!
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> fine. On the other hand, you cannot simply type it at the ghci
> prompt; you will get a parse error like the one you mentioned. ghci
> only allows you to enter expressions, not declarations.
Which in practise (for a total beginner not familiar with haskell)
means typing `let doubleMe x = x + x
17 matches
Mail list logo