|
[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: Thu, 8 Oct 2009 06:36:03 -0400
- Authentication-results: gmr-mx.google.com; spf=pass (google.com: domain of d.w.mead@gmail.com designates 209.85.218.226 as permitted sender) smtp.mail=d.w.mead@gmail.com; dkim=pass (test mode) header.i=@gmail.com
- 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 :received:received:received:received-spf:received:dkim-signature :domainkey-signature:mime-version:received:in-reply-to:references :date: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=56kTE6a7EnHit9Ocwhe5DLzfmhTP9nBLaJtyE4fxY+Q=; b=K4aeEQ+y9oi1xUKQAasR67CZfKVqwE8cMPTRqH7wIXqqm8wfy2hUn2T0AbJtoiXoiK H+pcK6nKuf3AFUK49qWRJ3NpiUS50E+eQzdg773ktMSTPg4VDfyEVfwFw8xC1wLa3GWN V9c358muwDurBllAe/ZMkFdtKHeRgfQ7vClyQ=
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=7fgagYiVQtaFF6gMLsrcJcV9JvCh+rTkns4XMzxRshc=; b=olS62MkHJnsKpPIURr+dMJ4KOGM25LT2+0w4IbjcaOIrDPlPo9+H0MguOmMJZmeTIE S+MrGSwj53d1uvl1s5yg1Kb/H+QzXTXHE1RcwnduDqg9fwEXQPMg4xJ8Kgkl9Fll/Sff fqsSwhFDFarTN7p/eueVZt2PockG9JgN6puDg=
- Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owner@googlegroups.com
- Reply-to: philly-lambda@googlegroups.com
- Sender: philly-lambda@googlegroups.com
double post fail
On Thu, Oct 8, 2009 at 2:20 AM, Dan Mead <d.w.mead@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
>
|
|