|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
- From: Dan Mead <d.w.mead@gmail.com>
- To: Philly Lambda <philly-lambda@googlegroups.com>
- Subject: Re: Haskell workshop?
- Date: Wed, 7 Oct 2009 23:20:51 -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:content-type:content-transfer-encoding:received:date :in-reply-to:x-ip:references:user-agent:x-http-useragent:message-id :subject:from:to:x-google-approved:reply-to:sender:precedence :x-google-loop:mailing-list:list-id:list-post:list-help :list-unsubscribe:x-beenthere-env:x-beenthere; bh=viVcoTIANAkyKPEOdF0aBG9tJphGCqIj6NcWzHSYQf4=; b=kr8WGoCFKIXJWnhaxTkmLOhOaB0T0IdydTPOGlHZHUuqGbUypW1JUZBRRee/ASCqma s/XCH5n64hN2xjJ27ktY9KNX8o5m/KLfIgzFw+MWcqrmWT/8rsoNJqnJz5KvcGH0fQq8 qPNc3Q2ai/NKTn6JPVdHmpVqLP6VwSgZEMhzU=
- 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
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
|
|