เกี่ยวข้องกับนิพจน์ที่ประกอบด้วยชนิดข้อมูลที่ต่างกันสอง หรือมากกว่า ตัวอย่าง Y: = X + N, X และ Y มีลอยตัวแปรจุด และ N คือ ตัวแปรจำนวนเต็มที่