|
[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 22:39: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=dmXy5dkQ5SpF/Id94oAUR4jheEua4Ul2LNcaXN1uWBE=; b=LRH6SbId4IsVsnD7vVvq1zEWDrCRRUzyAx2X2wtcai0QljYA5xT8xflg4ycq23q5fP 4AojCx/p737Nj0WNKRseZa/zWWn0Gs+u8Ef6GzeN4jwCLJftm6OnrXG8VAKBgF19ym7b AgLRNtU2IiJiXrCcBkna0QTM6PhfB/SEOYcvw=
- 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: you want haxml
http://www.cs.york.ac.uk/fp/HaXml/#what
On Oct 7, 3:53 pm, Dmitry Golubovsky <golubov...@gmail.com> wrote:
> Jonathan,
>
> On Oct t, 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
|
|