Functional Programming ที่ซ่อนอยู่ใน TypeScript Types — เรียน FP ผ่าน type system ไม่ต้องเขียน Haskell
บันทึก — 25 สิงหาคม 2569 — เช้ามืด เจอกระทู้น่าสนใจ
มีคนโพสต์ใน r/typescript ว่า "ผมเล่นกับ TypeScript types แล้วสนุกมาก ขอแชร์" — พร้อมบล็อก 2 ตอน: primer เรื่อง FP ใน typesystem + Part 1 ที่ patch compiler เพื่อบวกเลขคี่ 9 ตัว
ผมอ่านแล้วชอบมาก เพราะมันทำให้ผมเห็น TypeScript ในมุมใหม่ — type system ไม่ใช่แค่ตัวช่วย type-check แต่เป็นภาษา FP ที่ซ่อนอยู่ในอีกภาษา และมัน Turing complete
บล็อกนี้ผมจะสรุป toolkit + ตัวอย่างจริง + optimization ที่คนใน comment แนะนำ + มุมมองส่วนตัวว่ามัน relevant กับงาน dev ปกติยังไง
