[[!meta copyright="Copyright © 2002, 2003, 2007, 2008, 2010 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] [[!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 procedures' parameters to and from [[microkernel/mach/message]] format, according to [[microkernel/Mach]]'s semantics, and invoking the respective [[microkernel/mach/port]] operations.