http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/ Adventures in Open Source Erlang Thu, 29 Apr 2010 00:37:22 -0400 http://wordpress.org/?v=2.8.4 hourly 1 http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-304 Yariv Thu, 07 Sep 2006 06:14:35 +0000 #comment-304 Brandon, thanks for the pointer. In my system, you can't really extrude several parents into the same module, but you can interatively extrude each parent into the result from the last extrusion. Then end result would be a module that includes the union of the child's functions plus all functions from the parents, where if a function has multiple "instances" across modules, only the first one is picked. <br /> The Smerl module extension is currenly useful for extension in runtime (that's what I needed it for) but it wouldn't be hard to spin it off as a compile-time script, which would effectively make an Erlang language extension (there would have to be a new convention for denoting the extension relations in compile-time, of course). Brandon, thanks for the pointer. In my system, you can’t really extrude several parents into the same module, but you can interatively extrude each parent into the result from the last extrusion. Then end result would be a module that includes the union of the child’s functions plus all functions from the parents, where if a function has multiple “instances” across modules, only the first one is picked.

The Smerl module extension is currenly useful for extension in runtime (that’s what I needed it for) but it wouldn’t be hard to spin it off as a compile-time script, which would effectively make an Erlang language extension (there would have to be a new convention for denoting the extension relations in compile-time, of course).

]]> http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-301 Brandon Wed, 06 Sep 2006 23:20:07 +0000 #comment-301 The Haskell module system has syntax for re-exporting all the things imported from another module, and for importing all but a few things from another module. It's close to your extension operation, except you have to explicitly hide the things you want to replace. Details of the Haskell module system here: <a href="http://haskell.org/onlinereport/modules.html" rel="nofollow">http://haskell.org/onlinereport/modules.html</a>. What happens in your system if you extend (extrude?) several parents into a module? The Haskell module system has syntax for re-exporting all the things imported from another module, and for importing all but a few things from another module. It’s close to your extension operation, except you have to explicitly hide the things you want to replace. Details of the Haskell module system here: http://haskell.org/onlinereport/modules.html. What happens in your system if you extend (extrude?) several parents into a module?

]]> http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-149 Yariv Wed, 23 Aug 2006 21:30:49 +0000 #comment-149 Yes, I guess I had type classes in mind. I did a Haskell tutorial a while ago and I vaguely remembered this kind of "inheritance" but I didn't exactly know if it's the same as Smerl's module extension and I was too lazy to go read the documentation :) Yes, I guess I had type classes in mind. I did a Haskell tutorial a while ago and I vaguely remembered this kind of “inheritance” but I didn’t exactly know if it’s the same as Smerl’s module extension and I was too lazy to go read the documentation :)

]]> http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-148 Nick Thomas Wed, 23 Aug 2006 17:42:56 +0000 #comment-148 Oops, sorry for the double post. :/ Oops, sorry for the double post. :/

]]> http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-147 Nick Thomas Wed, 23 Aug 2006 17:42:40 +0000 #comment-147 Just FYI: Haskell doesn't have any form of module inheritance. (At least not in the standard; anything is possible with all of the different hacks on GHC that are out there.) Perhaps you're thinking of type classes? Just FYI: Haskell doesn’t have any form of module inheritance. (At least not in the standard; anything is possible with all of the different hacks on GHC that are out there.) Perhaps you’re thinking of type classes?

]]> http://yarivsblog.com/articles/2006/08/22/new-module-extension-in-erlang-with-smerl/comment-page-1/#comment-146 Nick Thomas Wed, 23 Aug 2006 17:42:39 +0000 #comment-146 Just FYI: Haskell doesn't have any form of module inheritance. (At least not in the standard; anything is possible with all of the different hacks on GHC that are out there.) Perhaps you're thinking of type classes? Just FYI: Haskell doesn’t have any form of module inheritance. (At least not in the standard; anything is possible with all of the different hacks on GHC that are out there.) Perhaps you’re thinking of type classes?

]]>