33 คำเฉพาะและคำแปลของมัน
| คำอังกฤษ | คำแปลไทย |
|---|---|
| Composition | การประกอบกัน |
| Category Theory | ทฤษฎีcategory |
| Side Effects | ผลข้างเคียง |
| return type | คืนค่าที่เป็นtype |
| associativity | คุณสมบัติการเปลี่ยนหมู่ |
| identity function | function identity |
| universal | เป็นสากล |
| function call | เรียกใช้function |
| expression | สูตร |
| concept | แนวคิด |
| higher-order function | functionลำดับสูง |
| singleton set | setที่มีสมาชิกเพียงตัวเดียว |
| Pattern matching | จับคู่รูปแบบ |
| wildcard pattern | รูปแบบตัวแทน |
| free category | category อิสระ |
| generalization | การวางนัยทั่วไป |
| embellished | ประดับ |
| universal construction | การสร้างแบบสากล |
| Initial Object | วัตถุเริ่มต้น |
| uniqueness up to isomorphism | เอกลักษณ์จนถึงความisomorphism |
| opposite category | categoryตรงข้าม |
| factorize | แยกตัวประกอบ |
| tagged untion | unionที่มีการระบุตัว |
| finite set | setจำกัด |
| embedding | การฝัง |
| operation | วิธีการ |