صحنۀ انتزاعی
جمله سازی با صحنۀ انتزاعی
هسته واژگان کرهای از واژگان بومی کرهای تشکیل شدهاست. با این حال، بخش قابل توجهی از واژگان، به ویژه آنهایی که بیانگر ایدههای انتزاعی هستند، واژگان چینی-کرهای (منشأ چینی) هستند. به میزان بسیار کمتر، برخی از واژگان نیز از مغولی و زبانهای دیگر وام گرفته شدهاند. امروزه وامواژههای فراوانی از انگلیسی نیز وارد کرهای شدهاند.
مفاهیم پیچیدهتر، ماشینهای انتزاعی با مجموعه دستورهای کامل ثبات و مدلهای حافظه را میسازند.
این اختلافها نظرها نشان میدهد که زیبایی در طبیعت ریاضی یک مفهوم انتزاعی است و اینکه این زیبایی با نتایج ریاضیاتی در ارتباط است: که در این مورد نه تنها کرههای عجیب و غیرمعمول دیده میشود بلکه نتیجهگیریهای ویژهای هم از آنها بدست میآید.
لیستی از داده ساختارهای انتزاعی با پیادهسازی کاملاً تابعی آنها در زیر آورده شدهاست: