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
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 <
/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@haskell.org
http
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 friendly
Hi Brandon,
On 26 Jan 2014, at 19:01, Brandon Allbery wrote:
On Sun, Jan 26, 2014 at 1:43 PM, Tim Watson watson.timo...@gmail.com 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
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),
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
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 can
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 Cloud
Hi Bryan,
On 8 Feb 2013, at 11:53, Bryan O'Sullivan wrote:
On Fri, Feb 8, 2013 at 1:29 AM, Tim Watson watson.timo...@gmail.com 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 multiple
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
our news items with you all.
Firstly, we have a new home page at http://haskell-distributed.github.com
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.
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 simo...@microsoft.com wrote:
| While writing a new
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
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
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
