Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Nemerle 1.0

nemerle.org

Post reply on HN
Print view View original

21–24 of 24 posts

Re: Nemerle 1.0

#21

Post by regularfry »

icey wrote: post #17
regularfry wrote: post #15

Earlier quoted context omitted.

It's much harder to get enough of a .NET runtime together for a new platform than it is to lean on a platform compiler and binary toolchain which must already exist. It's all very well saying "just download the installer," but that won't get my nemerle code running on my phone.

What phone? Chances are Mono run there...

Nokia N900. Ok, so there's Mono for Maemo, so that's not a particularly convincing argument in itself. However, the point stands - replace Nemerle with Scala, for instance, and I'm stuffed (mostly).

Re: Nemerle 1.0

#22

Post by VladD2 »

andrewcooke wrote: post #20
hi_octane wrote: post #18

Earlier quoted context omitted.

There are different "macro stages" to allow macro application on both typed and untyped source.

so if macros can operate on typed source and/or on the typed ast tree, do they (the macros) have a type system that guarantees that they will preserve correct typing? or are types still checked agan (globally?) after applying the macro? what i'm really asking is, is there anything "smart" about how the macro works with the type system?

Macros are expending in the typing process. In macro you can use compiler API to type some untyped AST (for example, argument of macro).

For example, "foreach" macro use compiler API to infer type of collection. This macro generate specialized code for different collection kind (array/list/IEnumerable).

Re: Nemerle 1.0

#23

Post by VladD2 »

andrewcooke wrote: post #20
hi_octane wrote: post #18

Earlier quoted context omitted.

There are different "macro stages" to allow macro application on both typed and untyped source.

so if macros can operate on typed source and/or on the typed ast tree, do they (the macros) have a type system that guarantees that they will preserve correct typing? or are types still checked agan (globally?) after applying the macro? what i'm really asking is, is there anything "smart" about how the macro works with the type system?

For example, see implementation of "lock" macro: http://code.google.com/p/nemerle/source/browse/nemerle/trunk...
Post reply on HN