۲۳ - ۱۲تعاریف

یه پارسر یا parser پارس می‌کنه.

فصل رو خوندین دیگه، آره؟

یه ترکیب‌کننده‌ی پارسر یا parser combinator دو یا بیشتر پارسر رو با هم ترکیب می‌کنه تا یه پارسر ِ جدید درست کنه. چندتا مثال خوب از اینها، یکی ‏‎<|>‎‏ از تایپکلاسِ ‏‎Alternative‎‏ ِه که از فصل منطقی ِ دوتا پارسری که به عنوانِ آرگومان بهش داده شدن، یه پارسر ِ دیگه درست می‌کنه. ‏‎some‎‏ و ‏‎many‎‏ هم همینطور. یا ‏‎mappend‎‏. یا ‏‎(>>)‎‏.

مارشال‌کردن یا marshalling به تبدیلِ یه ارائه‌ی به احتمال غیرخطی از داده ِ در حافظه، به فرمتی که مناسب برای ذخیره‌سازی روی دیسک یا انتقال از سوکتِ شبکه باشه میگیم. به حرکت در خلافِ این جهت، آنمارشال‌کردن یا unmarshalling میگیم.

یک نشانه‌گذار یا tokenizer، نوشته (که معمولاً یه جریانی از کاراکترهاست) رو به ساختارها یا "تکه"های معنادارتری، مثل لغات، جملات، یا علائم تبدیل می‌کنه. توابعِ ‏‎lines‎‏ و ‏‎words‎‏ که قبل‌تر ازشون استفاده کردیم، مثل نشانه‌گذار‌های خیلی ساده می‌مونن.

لِکسر یا lexer – رجوع کنید به نشانه‌گذار.