|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
- From: Dmitry Golubovsky <golubovsky@gmail.com>
- To: Philly Lambda <philly-lambda@googlegroups.com>
- Subject: Re: Haskell workshop?
- Date: Wed, 7 Oct 2009 12:53:42 -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-via: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=vywiAr1Gi83Zuid9IdDAc/6SkR9/5k6iTuSM5WYuieQ=; b=zDFVtO8I+JHGPniW/lCyaGdKBvPIh4b8hQj1rvVflQmA3Udwc3i0kjOwX41orYYKxT VPJq2ipQ1AieRGiDIwGtLxl8sSuzieWEUpyr3XAk2xBpVtwkRt9i8BGRfnvNwkS2n7lX QdHZ1mL8wZ3mJ6NTaPi1MM+462ejufOV0dkR0=
- 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,
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
|
|