path: root/idl.mdwn
diff options
Diffstat (limited to 'idl.mdwn')
1 files changed, 8 insertions, 3 deletions
diff --git a/idl.mdwn b/idl.mdwn
index adfd9b9..5486931 100644
--- a/idl.mdwn
+++ b/idl.mdwn
@@ -9,11 +9,16 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
-An *IDL* is an *interface definition language*. The most well-known is CORBA.
+[[!meta title="IDL"]]
+An *IDL* is an *interface definition language* ([[!wikipedia
+Interface_description_language desc="Wikipedia article"]]). A well-known one
+is CORBA. These are [[DSL]]s.
An IDL compiler takes a specification and generates stub code that hides the
transport details, and by this implements a [[RPC]] system.
In the case of [[Mach's MIG|microkernel/mach/mig]], this hides the marshalling
-and unmarshalling of parameters according to [[microkernel/Mach]]'s semantics,
-and invoking the respective [[microkernel/mach/port]] operations.
+and unmarshalling of procedures' parameters to and from
+[[microkernel/mach/message]] format, according to [[microkernel/Mach]]'s
+semantics, and invoking the respective [[microkernel/mach/port]] operations.