Dan Mead on 12 Oct 2009 06:33:28 -0700


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Haskell workshop?

  • From: Dan Mead <d.w.mead@gmail.com>
  • To: Philly Lambda <philly-lambda@googlegroups.com>
  • Subject: Re: Haskell workshop?
  • Date: Mon, 12 Oct 2009 06:33:18 -0700 (PDT)
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:received:x-sender:x-apparently-to :mime-version:received:date:in-reply-to:x-ip:references:user-agent :x-http-useragent:message-id:subject:from:to:content-type :content-transfer-encoding:reply-to:sender:precedence:x-google-loop :mailing-list:list-id:list-post:list-help:list-unsubscribe :x-beenthere-env:x-beenthere; bh=Q9cOeRivoO95rewPNIQz7ud4eeCGxNAD/tHF9gf8F3U=; b=3q74sXuHVtzB86fkq8UgW1m86HHBzl2xgHoNOpIN1/IVzX8dwdIQPg/Y4VGLEBNDcc z59nwZz6R4Rp7cXgGb5NorWfRkstJ6clQj7kyniWgVe7AnA4SH/bt6/feeNhkKYhcsK/ t17cyLMLXLPIai/QdyN2pQurw0eEGsvsVOYFU=
  • Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owner@googlegroups.com
  • Reply-to: philly-lambda@googlegroups.com
  • Sender: philly-lambda@googlegroups.com
  • User-agent: G2/1.0
dimitri: do you idle in #haskell?

On Oct 8, 6:36 am, Dan Mead <d.w.m...@gmail.com> wrote:
> double post fail
>
> On Thu, Oct 8, 2009 at 2:20 AM, Dan Mead <d.w.m...@gmail.com> wrote:
>
> > Jonathan: i think you want haxml
>
> >http://en.wikipedia.org/wiki/HaXml
>
> > On Oct 7, 3:53 pm, Dmitry Golubovsky <golubov. w...@gmail.com> wrote:
> >> Jonathan,
>
> >> On Oct 7, 3:18 pm, Jonathan Tran <jonnyt...@gmail.com> wrote:
>
> >> > On the note of web programming, have you done anything in Haskell with
>
> >> My tools generate Javascript using an EDSL. There are auto-generated
> >> bindings to WebIDL specs for DOM calls, so code should be per
> >> standards (not all browsers are per standards though;) I ran some of
> >> my Javascript through online JSLint; there are issues but not too bad.
>
> >> > guaranteeing valid-XHTML?  I know of Ocsigen for OCaml (http://ocsigen.org/)
> >> > that uses type-checking to statically check whether your code outputs valid
>
> >> Same thing here, only static check is done against WebIDL specs.
>
> >> Dmitry
>
>