On Wed, Jul 27, 2011 at 8:30 AM, Christopher Done
wrote:
> On 27 July 2011 13:58, Adam Chlipala wrote:
>> Does this static type system support metaprogramming strong enough to
>> implement my challenge problem with the level of static guarantee for all
>> specialization parameters that I ask for?
On 27 July 2011 13:58, Adam Chlipala wrote:
> Maybe, but I don't think you've outlined any solutions that meet my
> criteria. The key property is what I've highlighted in my self-quote above:
> the challenge is to type-check _the_code_generator_, not just the individual
> programs it generates.
Christopher Done wrote:
On 19 July 2011 17:22, Adam Chlipala wrote:
http://www.impredicative.com/ur/demo/crud1.html
[...] This is not done by type-checking individual
invocations of the admin-interface component. Rather, the component is
checked at a static type which guarantees corre
Excerpts from Christopher Done's message of Wed Jul 27 12:26:08 +0200 2011:
> Is TemplateHaskell fair game? Because if so these problems are not
> hard. Yesod employs static typing for templates. HaskellDB achieves
> injectionless static type checking even without TemplateHaskell, and
> templatepg
On 19 July 2011 17:22, Adam Chlipala wrote:
> http://www.impredicative.com/ur/demo/crud1.html
> The example involves a library component encapsulating functionality like
> that of Ruby on Rails's scaffolding: automatic generation of a standard
> web-based "admin interface" to an SQL database ta
Last week, I posted a message to this list looking for people interested
in joining projects using my domain-specific language Ur/Web. Some
responses rightly chastised me for the lack of documentation on the core
Ur language's novel type system features. I'm sure many Haskellers have
had the
