Comments on Rafael rambling: Where scala left me wanting

Ãh? Arquitetura da cebola? Muito aplicados os tema...

2010-08-11T20:25:34.707-03:00

Ãh? Arquitetura da cebola? Muito aplicados os temas daqui, passei pra olhar só de curiosa. Gostei das citações do post anterior. :) Bjo

@Anonymous Thanks for the pointer. Expression tree...

2010-06-10T11:30:35.284-03:00

@Anonymous Thanks for the pointer. Expression trees are certainly one way to do static reflection, and they could probably be exploited to do everything I outlined. But I still do like the idea of having an explicit metamodel.

@Rodrigo Kumpera -- But what would be the values i...

2010-06-10T11:27:59.590-03:00

@Rodrigo Kumpera -- But what would be the values inhabiting those types? Maybe something like the (IMO) hackish Manifest mechanism?

And the frontier between "normal" type-systems and dependent type systems is not an easy one to cross.

Could some of the things you are looking for be re...

2010-06-09T14:13:59.283-03:00

Could some of the things you are looking for be resolved using the undocumented scala.reflect.Code feature?

http://stackoverflow.com/questions/1962925/can-i-get-ast-from-live-scala-code

This could be done trivially if all constructs of ...

2010-06-09T00:38:01.469-03:00

This could be done trivially if all constructs of the language where allowed as generic arguments.

Well, actually all you need are dependent types and functors since all other elements can be encoded with those two.

@Alex Cruise. Sorry for the mishap, the images sh...

2010-06-08T23:06:03.505-03:00

@Alex Cruise.
Sorry for the mishap, the images should be correct now (thought a tad too ginormous, I'll correct this later)

Two words: Eclipse EMF It's the best way I...

2010-06-08T22:51:05.114-03:00

Two words: Eclipse EMF

It's the best way I've seen to code a domain model.

Your images seem to be broken links to Google Docs...

2010-06-08T20:24:58.702-03:00

Your images seem to be broken links to Google Docs that I don't have access to...