{"id":6254,"date":"1998-07-23T16:43:38","date_gmt":"1998-07-23T09:43:38","guid":{"rendered":"http:\/\/www.kitty.in.th\/?page_id=6254"},"modified":"2011-09-20T18:58:01","modified_gmt":"2011-09-20T11:58:01","slug":"lambda-calculus-and-functional-languages","status":"publish","type":"page","link":"https:\/\/kitty.in.th\/index.php\/articles\/lambda-calculus-and-functional-languages\/","title":{"rendered":"\u0e41\u0e19\u0e30\u0e19\u0e33 Lambda Calculus \u0e41\u0e25\u0e30 Functional Languages"},"content":{"rendered":"<p>\u0e2b\u0e32\u0e01\u0e40\u0e23\u0e32\u0e14\u0e39 code \u0e02\u0e2d\u0e07\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21 \u0e40\u0e23\u0e32\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e40\u0e2b\u0e47\u0e19\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19 \u0e04\u0e33\u0e2a\u0e31\u0e48\u0e07 \u0e15\u0e31\u0e27\u0e41\u0e1b\u0e23 \u0e04\u0e48\u0e32\u0e04\u0e07\u0e17\u0e35\u0e48 \u0e04\u0e25\u0e32\u0e2a \u0e2d\u0e2d\u0e1a\u0e40\u0e08\u0e04 .. \u0e25\u0e2d\u0e07\u0e19\u0e36\u0e01\u0e46 \u0e14\u0e39\u0e41\u0e25\u0e49\u0e27 \u0e2a\u0e34\u0e48\u0e07\u0e40\u0e2b\u0e25\u0e48\u0e32\u0e19\u0e35\u0e49\u0e40\u0e1b\u0e47\u0e19\u0e41\u0e04\u0e48 \u0e15\u0e31\u0e27\u0e40\u0e25\u0e02 \u0e2b\u0e23\u0e37\u0e2d \u0e15\u0e31\u0e27\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d \u0e40\u0e17\u0e48\u0e32\u0e19\u0e31\u0e49\u0e19\u0e40\u0e2d\u0e07 ..\u0e1a\u0e32\u0e07\u0e04\u0e19\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e32\u0e22\u0e02\u0e2d\u0e07\u0e15\u0e31\u0e27\u0e2d\u0e31\u0e01\u0e29\u0e23\u0e23\u0e2b\u0e31\u0e2a ASCII &#8230; \u0e01\u0e47 OK \u0e16\u0e37\u0e2d\u0e44\u0e21\u0e48\u0e1c\u0e34\u0e14.. \u0e41\u0e15\u0e48\u0e16\u0e49\u0e32\u0e21\u0e2d\u0e07\u0e25\u0e36\u0e01\u0e46 \u0e2d\u0e35\u0e01\u0e2a\u0e31\u0e01\u0e19\u0e34\u0e14..\u0e40\u0e23\u0e32\u0e08\u0e30\u0e23\u0e39\u0e49\u0e27\u0e48\u0e32\u0e17\u0e35\u0e48\u0e08\u0e23\u0e34\u0e07\u0e41\u0e25\u0e49\u0e27\u0e21\u0e31\u0e19\u0e04\u0e37\u0e2d &#8220;\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c&#8221; \u0e2d\u0e30\u0e44\u0e23\u0e1a\u0e32\u0e07\u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e17\u0e35\u0e48\u0e41\u0e17\u0e19\u0e2b\u0e23\u0e37\u0e2d\u0e2a\u0e37\u0e48\u0e2d\u0e16\u0e36\u0e07\u0e04\u0e27\u0e32\u0e21\u0e2b\u0e21\u0e32\u0e22\u0e1a\u0e32\u0e07\u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e2b\u0e23\u0e37\u0e2d\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e40\u0e23\u0e35\u0e22\u0e01\u0e44\u0e14\u0e49\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e1a\u0e23\u0e23\u0e08\u0e38 information \u0e2d\u0e22\u0e39\u0e48\u0e02\u0e49\u0e32\u0e07\u0e43\u0e19 .. \u0e16\u0e49\u0e32\u0e40\u0e23\u0e32\u0e21\u0e2d\u0e07\u0e17\u0e38\u0e01\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c..\u0e07\u0e31\u0e49\u0e19\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e17\u0e35\u0e48\u0e41\u0e17\u0e49\u0e08\u0e23\u0e34\u0e07\u0e41\u0e25\u0e49\u0e27\u0e01\u0e47\u0e04\u0e37\u0e2d\u0e15\u0e31\u0e27 \u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e19\u0e31\u0e48\u0e19\u0e40\u0e2d\u0e07 .. \u0e19\u0e35\u0e48\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e14\u0e39\u0e40\u0e1b\u0e47\u0e19 concept \u0e44\u0e1b\u0e2b\u0e19\u0e48\u0e2d\u0e22 .. \u0e41\u0e15\u0e48\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e02\u0e2d\u0e07\u0e21\u0e31\u0e19\u0e2d\u0e22\u0e39\u0e48\u0e17\u0e35\u0e48\u0e27\u0e48\u0e32 \u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e40\u0e2b\u0e25\u0e48\u0e32\u0e19\u0e35\u0e49\u0e21\u0e31\u0e19\u0e17\u0e33\u0e07\u0e32\u0e19\u0e44\u0e14\u0e49 \u0e21\u0e31\u0e19\u0e19\u0e33\u0e44\u0e1b\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e14\u0e49 \u0e43\u0e2b\u0e49\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e01\u0e31\u0e1a\u0e40\u0e23\u0e32\u0e44\u0e14\u0e49 .. \u0e2d\u0e37\u0e21\u0e21\u0e21.. \u0e17\u0e33\u0e44\u0e14\u0e49\u0e22\u0e31\u0e07\u0e44\u0e07\u0e01\u0e31\u0e19 .. \u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e19\u0e35\u0e49\u0e15\u0e49\u0e2d\u0e07\u0e22\u0e49\u0e2d\u0e19\u0e2d\u0e14\u0e35\u0e15\u0e01\u0e31\u0e19\u0e0b\u0e31\u0e01\u0e40\u0e25\u0e47\u0e01\u0e19\u0e49\u0e2d\u0e22..<\/p>\n<p>\u0e22\u0e49\u0e2d\u0e19\u0e44\u0e1b\u0e0a\u0e48\u0e27\u0e07\u0e17\u0e35\u0e48\u0e43\u0e01\u0e25\u0e49\u0e46 \u0e08\u0e30\u0e21\u0e35\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e41\u0e23\u0e01\u0e40\u0e01\u0e34\u0e14\u0e02\u0e36\u0e49\u0e19\u0e21\u0e32\u0e1a\u0e19\u0e42\u0e25\u0e01 \u0e19\u0e31\u0e01\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e15\u0e48\u0e32\u0e07\u0e2a\u0e07\u0e2a\u0e31\u0e22\u0e27\u0e48\u0e32\u0e2d\u0e30\u0e44\u0e23\u0e40\u0e1b\u0e47\u0e19\u0e15\u0e31\u0e27\u0e01\u0e33\u0e2b\u0e19\u0e14\u0e27\u0e48\u0e32\u0e1f\u0e31\u0e07\u0e01\u0e4c\u0e0a\u0e31\u0e19 \u0e2b\u0e23\u0e37\u0e2d\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e40\u0e1e\u0e37\u0e48\u0e2d\u0e2b\u0e32\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e46 \u0e19\u0e36\u0e07\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e17\u0e33\u0e44\u0e14\u0e49\u0e08\u0e23\u0e34\u0e07 \u0e17\u0e33\u0e44\u0e21\u0e21\u0e31\u0e19\u0e16\u0e36\u0e07\u0e04\u0e33\u0e19\u0e27\u0e13\u0e44\u0e14\u0e49 \u0e2d\u0e30\u0e44\u0e23\u0e04\u0e37\u0e2d\u0e2a\u0e34\u0e48\u0e07\u0e17\u0e35\u0e48\u0e04\u0e33\u0e19\u0e27\u0e13\u0e44\u0e14\u0e49 \u0e2d\u0e30\u0e44\u0e23\u0e17\u0e35\u0e48\u0e04\u0e33\u0e19\u0e27\u0e13\u0e44\u0e21\u0e48\u0e44\u0e14\u0e49 \u0e41\u0e25\u0e30\u0e1e\u0e37\u0e49\u0e19\u0e10\u0e32\u0e19\u0e17\u0e35\u0e48\u0e2a\u0e38\u0e14\u0e43\u0e19\u0e01\u0e32\u0e23\u0e04\u0e33\u0e19\u0e27\u0e13\u0e04\u0e37\u0e2d\u0e2d\u0e30\u0e44\u0e23 .. \u0e14\u0e39\u0e08\u0e30\u0e22\u0e32\u0e01\u0e46 \u0e22\u0e31\u0e07\u0e44\u0e07\u0e0a\u0e2d\u0e1a\u0e01\u0e25\u0e19\u0e30\u0e04\u0e23\u0e31\u0e1a \u0e04\u0e34\u0e14\u0e2d\u0e30\u0e44\u0e23\u0e01\u0e31\u0e19\u0e01\u0e47\u0e44\u0e21\u0e48\u0e23\u0e39\u0e49.. \u0e41\u0e15\u0e48\u0e2a\u0e38\u0e14\u0e17\u0e49\u0e32\u0e22\u0e01\u0e47\u0e21\u0e35\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e2d\u0e2d\u0e01\u0e21\u0e32\u0e08\u0e19\u0e44\u0e14\u0e49 &#8230;\u0e2b\u0e19\u0e36\u0e48\u0e07\u0e43\u0e19\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e19\u0e31\u0e49\u0e19\u0e04\u0e37\u0e2d &#8220;Turing Machine&#8221; \u0e02\u0e2d\u0e07 Alan Turing \u0e0b\u0e36\u0e48\u0e07\u0e40\u0e1b\u0e47\u0e19 Store-program computer \u0e43\u0e19\u0e2d\u0e38\u0e14\u0e21\u0e04\u0e15\u0e34 \u0e40\u0e02\u0e35\u0e22\u0e19\u0e1a\u0e19\u0e01\u0e23\u0e30\u0e14\u0e32\u0e29\u0e19\u0e35\u0e48\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a (\u0e2a\u0e48\u0e27\u0e19 &#8220;Touring&#8221; Machine \u0e02\u0e2d\u0e07 Alan Turing \u0e40\u0e27\u0e25\u0e32\u0e19\u0e31\u0e49\u0e19\u0e04\u0e37\u0e2d\u0e08\u0e31\u0e01\u0e23\u0e22\u0e32\u0e19\u0e04\u0e23\u0e31\u0e1a \u0e27\u0e48\u0e32\u0e01\u0e31\u0e19\u0e27\u0e48\u0e32 Turing \u0e23\u0e31\u0e01\u0e08\u0e31\u0e01\u0e23\u0e22\u0e32\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e0a\u0e35\u0e27\u0e34\u0e15\u0e08\u0e34\u0e15\u0e43\u0e08 ^^&#8221;) .. \u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e41\u0e23\u0e01\u0e17\u0e35\u0e48\u0e19\u0e33\u0e17\u0e24\u0e29\u0e0e\u0e35\u0e02\u0e2d\u0e07 Turing Machine \u0e44\u0e1b\u0e43\u0e0a\u0e49\u0e01\u0e47\u0e04\u0e37\u0e2d Von Neumann Machine \u0e0b\u0e36\u0e48\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e15\u0e49\u0e19\u0e41\u0e1a\u0e1a\u0e02\u0e2d\u0e07\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e17\u0e38\u0e01\u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e1a\u0e19\u0e42\u0e25\u0e01\u0e19\u0e31\u0e48\u0e19\u0e40\u0e2d\u0e07 .. \u0e44\u0e21\u0e48\u0e19\u0e32\u0e19\u0e2b\u0e25\u0e31\u0e07\u0e08\u0e32\u0e01 Alan Turing \u0e04\u0e34\u0e14 Turing Machine \u0e44\u0e14\u0e49 \u0e40\u0e02\u0e32\u0e01\u0e47\u0e40\u0e2a\u0e35\u0e22\u0e0a\u0e35\u0e27\u0e34\u0e15 \u0e41\u0e15\u0e48\u0e14\u0e49\u0e27\u0e22\u0e04\u0e27\u0e32\u0e21\u0e17\u0e35\u0e48 Turing Machine \u0e16\u0e37\u0e2d\u0e40\u0e1b\u0e47\u0e19\u0e01\u0e49\u0e32\u0e27\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e02\u0e2d\u0e07\u0e27\u0e07\u0e01\u0e32\u0e23\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c \u0e08\u0e36\u0e07\u0e21\u0e35\u0e01\u0e32\u0e23\u0e15\u0e31\u0e49\u0e07 Turing Award \u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e1c\u0e39\u0e49\u0e17\u0e35\u0e48\u0e17\u0e33\u0e04\u0e38\u0e13\u0e1b\u0e23\u0e30\u0e42\u0e22\u0e0a\u0e19\u0e4c\u0e17\u0e32\u0e07\u0e27\u0e34\u0e0a\u0e32\u0e01\u0e32\u0e23\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c .. Turing Award \u0e19\u0e35\u0e48\u0e16\u0e37\u0e2d\u0e27\u0e48\u0e32\u0e21\u0e35\u0e28\u0e31\u0e01\u0e14\u0e34\u0e4c\u0e28\u0e23\u0e35\u0e40\u0e17\u0e48\u0e32\u0e01\u0e31\u0e1a\u0e23\u0e32\u0e07\u0e27\u0e31\u0e25\u0e42\u0e19\u0e40\u0e1a\u0e25\u0e40\u0e25\u0e22\u0e17\u0e35\u0e40\u0e14\u0e35\u0e22\u0e27<\/p>\n<p>\u0e19\u0e2d\u0e01\u0e40\u0e2b\u0e19\u0e37\u0e2d\u0e08\u0e32\u0e01 Turing Machine \u0e41\u0e25\u0e49\u0e27..\u0e2d\u0e35\u0e01\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e19\u0e36\u0e07\u0e01\u0e47\u0e04\u0e37\u0e2d &#8220;Lambda Calculus&#8221; &#8230; Lambda Calculus \u0e1e\u0e31\u0e12\u0e19\u0e32\u0e02\u0e36\u0e49\u0e19\u0e21\u0e32\u0e42\u0e14\u0e22 Alonzo Church \u0e43\u0e19\u0e1b\u0e35 1941 \u0e17\u0e35\u0e48\u0e40\u0e23\u0e35\u0e22\u0e01\u0e27\u0e48\u0e32\u0e40\u0e1b\u0e47\u0e19 calculus \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e21\u0e31\u0e19\u0e04\u0e37\u0e2d\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e2d\u0e31\u0e19\u0e19\u0e36\u0e07\u0e40\u0e25\u0e22\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a \u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e1e\u0e34\u0e2a\u0e39\u0e08\u0e19\u0e4c\u0e22\u0e49\u0e2d\u0e19\u0e01\u0e25\u0e31\u0e1a\u0e44\u0e1b\u0e16\u0e36\u0e07\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e1e\u0e37\u0e49\u0e19\u0e10\u0e32\u0e19\u0e17\u0e35\u0e48\u0e40\u0e23\u0e32\u0e40\u0e23\u0e35\u0e22\u0e19\u0e46 \u0e2d\u0e22\u0e39\u0e48\u0e44\u0e14\u0e49\u0e40\u0e25\u0e22 .. \u0e27\u0e48\u0e32\u0e01\u0e31\u0e19\u0e27\u0e48\u0e32\u0e15\u0e31\u0e27\u0e17\u0e35\u0e48\u0e40\u0e1b\u0e47\u0e19\u0e41\u0e01\u0e19\u0e08\u0e23\u0e34\u0e07\u0e46 \u0e02\u0e2d\u0e07 &#8220;computing science&#8221; \u0e17\u0e35\u0e48\u0e40\u0e1b\u0e47\u0e19 pure science \u0e21\u0e35\u0e2d\u0e22\u0e39\u0e48\u0e2a\u0e32\u0e21\u0e2a\u0e48\u0e27\u0e19\u0e04\u0e37\u0e2d Lambda Calculus, Combinatory Logic, \u0e41\u0e25\u0e30 Types (\u0e21\u0e35\u0e19\u0e31\u0e01\u0e40\u0e23\u0e35\u0e22\u0e19\u0e2a\u0e32\u0e02\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c \u0e0b\u0e31\u0e01\u0e01\u0e35\u0e48\u0e04\u0e19\u0e17\u0e35\u0e48\u0e23\u0e39\u0e49\u0e08\u0e31\u0e01\u0e2a\u0e32\u0e21\u0e15\u0e31\u0e27\u0e19\u0e35\u0e49 ??) \u0e1b\u0e23\u0e30\u0e21\u0e32\u0e13\u0e27\u0e48\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e01\u0e49\u0e32\u0e27\u0e41\u0e23\u0e01\u0e2d\u0e2d\u0e01\u0e08\u0e32\u0e01\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e40\u0e02\u0e49\u0e32\u0e21\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e17\u0e32\u0e07\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c .. \u0e17\u0e31\u0e49\u0e07\u0e2a\u0e32\u0e21\u0e2a\u0e48\u0e27\u0e19\u0e19\u0e35\u0e49\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e22\u0e34\u0e48\u0e07\u0e01\u0e27\u0e48\u0e32 full adder, half adder \u0e17\u0e35\u0e48\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e40\u0e23\u0e32\u0e40\u0e23\u0e35\u0e22\u0e19\u0e14\u0e49\u0e27\u0e22\u0e0b\u0e49\u0e33 \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e07\u0e32\u0e19\u0e17\u0e32\u0e07\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e23\u0e21\u0e40\u0e1b\u0e25\u0e35\u0e48\u0e22\u0e19\u0e41\u0e1b\u0e25\u0e07\u0e44\u0e14\u0e49\u0e40\u0e2a\u0e21\u0e2d \u0e15\u0e48\u0e2d\u0e44\u0e1b\u0e21\u0e31\u0e19\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e44\u0e21\u0e48\u0e43\u0e0a\u0e48\u0e2d\u0e34\u0e40\u0e25\u0e47\u0e01\u0e17\u0e23\u0e2d\u0e19\u0e34\u0e01\u0e2a\u0e4c\u0e01\u0e47\u0e44\u0e14\u0e49 \u0e41\u0e15\u0e48\u0e2a\u0e34\u0e48\u0e07\u0e17\u0e35\u0e48\u0e22\u0e31\u0e07\u0e04\u0e07\u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19\u0e40\u0e14\u0e34\u0e21\u0e01\u0e47\u0e04\u0e37\u0e2d Lambda Calculus, Combinatory Logic, \u0e41\u0e25\u0e30 Types .. \u0e17\u0e35\u0e48\u0e08\u0e23\u0e34\u0e07\u0e04\u0e23\u0e31\u0e49\u0e07\u0e41\u0e23\u0e01\u0e17\u0e35\u0e48 Church \u0e04\u0e34\u0e14 Lambda Calculus \u0e02\u0e36\u0e49\u0e19\u0e21\u0e32 \u0e15\u0e31\u0e49\u0e07\u0e43\u0e08\u0e40\u0e2d\u0e32\u0e21\u0e32\u0e43\u0e0a\u0e49\u0e40\u0e1b\u0e47\u0e19\u0e1e\u0e37\u0e49\u0e19\u0e10\u0e32\u0e19\u0e40\u0e01\u0e35\u0e48\u0e22\u0e27\u0e01\u0e31\u0e1a\u0e01\u0e32\u0e23\u0e1e\u0e34\u0e2a\u0e39\u0e08\u0e19\u0e4c\u0e1b\u0e31\u0e0d\u0e2b\u0e32\u0e17\u0e32\u0e07\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e41\u0e15\u0e48\u0e01\u0e25\u0e31\u0e1a\u0e01\u0e25\u0e32\u0e22\u0e40\u0e1b\u0e47\u0e19\u0e27\u0e48\u0e32\u0e2a\u0e34\u0e48\u0e07\u0e17\u0e35\u0e48 Church \u0e04\u0e34\u0e14\u0e19\u0e31\u0e49\u0e19\u0e01\u0e49\u0e32\u0e27\u0e2b\u0e19\u0e49\u0e32\u0e08\u0e19\u0e40\u0e01\u0e34\u0e14\u0e2a\u0e32\u0e02\u0e32\u0e17\u0e32\u0e07\u0e15\u0e23\u0e23\u0e01\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e2d\u0e31\u0e19\u0e19\u0e36\u0e07\u0e17\u0e35\u0e48\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e21\u0e32\u0e01\u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c \u0e19\u0e31\u0e48\u0e19\u0e01\u0e47\u0e04\u0e37\u0e2d Theory of Computation .. \u0e1b\u0e23\u0e30\u0e42\u0e22\u0e04\u0e19\u0e36\u0e07\u0e17\u0e35\u0e48\u0e2d\u0e18\u0e34\u0e1a\u0e32\u0e22\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e02\u0e2d\u0e07 Lamda Calculus \u0e44\u0e14\u0e49\u0e14\u0e35\u0e21\u0e32\u0e01\u0e01\u0e47\u0e04\u0e37\u0e2d &#8220;Everything that can be computed can be computed by Lambda Calculus&#8221; &#8211; \u0e2b\u0e32\u0e01\u0e17\u0e24\u0e29\u0e0e\u0e35\u0e23\u0e30\u0e1a\u0e38\u0e27\u0e48\u0e32\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e19\u0e31\u0e49\u0e19\u0e21\u0e35\u0e04\u0e27\u0e32\u0e21\u0e40\u0e1b\u0e47\u0e19\u0e44\u0e1b\u0e44\u0e14\u0e49 Lambda Calculus \u0e08\u0e30\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e19\u0e33\u0e21\u0e32\u0e43\u0e0a\u0e49\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2b\u0e32\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e44\u0e14\u0e49\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e41\u0e19\u0e48\u0e19\u0e2d\u0e19 .. \u0e43\u0e19\u0e17\u0e32\u0e07\u0e01\u0e25\u0e31\u0e1a\u0e01\u0e31\u0e19 Lambda Calculus \u0e01\u0e47\u0e04\u0e37\u0e2d\u0e02\u0e35\u0e14\u0e08\u0e33\u0e01\u0e31\u0e14\u0e02\u0e2d\u0e07\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e02\u0e49\u0e2d\u0e21\u0e39\u0e25\u0e17\u0e38\u0e01\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e43\u0e19\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e16\u0e49\u0e32 Lambda Calculus \u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e21\u0e48\u0e44\u0e14\u0e49 \u0e19\u0e31\u0e48\u0e19\u0e41\u0e2a\u0e14\u0e07\u0e27\u0e48\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e02\u0e49\u0e2d\u0e21\u0e39\u0e25\u0e19\u0e31\u0e49\u0e19\u0e44\u0e21\u0e48\u0e44\u0e14\u0e49\u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19\u0e01\u0e31\u0e19<\/p>\n<h3>Pure Lambda Calculus<\/h3>\n<p>Pure Lambda Calculus \u0e21\u0e35\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e2b\u0e25\u0e31\u0e01\u0e2d\u0e22\u0e39\u0e48\u0e2a\u0e32\u0e21\u0e2d\u0e31\u0e19\u0e04\u0e23\u0e31\u0e1a \u0e04\u0e37\u0e2d<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/syntax.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6266\" style=\"border: 0pt none;\" title=\"syntax\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/syntax.png\" alt=\"\" width=\"167\" height=\"68\" \/><\/a><\/p>\n<p>..\u0e41\u0e04\u0e48 \u0e19\u0e35\u0e49\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a\u0e17\u0e35\u0e48\u0e17\u0e24\u0e29\u0e0e\u0e35\u0e1a\u0e2d\u0e01\u0e27\u0e48\u0e32\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e44\u0e14\u0e49\u0e2b\u0e21\u0e14\u0e17\u0e38\u0e01\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21 \u0e41\u0e1b\u0e25\u0e01\u0e41\u0e15\u0e48\u0e08\u0e23\u0e34\u0e07\u0e04\u0e23\u0e31\u0e1a \u0e2d\u0e22\u0e48\u0e32\u0e07\u0e17\u0e35\u0e48\u0e1a\u0e2d\u0e01\u0e27\u0e48\u0e32\u0e17\u0e38\u0e01\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e04\u0e37\u0e2d\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c \u0e41\u0e25\u0e30\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e2a\u0e32\u0e21\u0e15\u0e31\u0e27\u0e19\u0e35\u0e49\u0e04\u0e37\u0e2d\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e17\u0e35\u0e48\u0e43\u0e0a\u0e49\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c \u0e42\u0e14\u0e22\u0e21\u0e35\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e40\u0e1b\u0e47\u0e19\u0e1e\u0e37\u0e49\u0e19 \u0e40\u0e2d\u0e32\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a\u0e40\u0e23\u0e32\u0e21\u0e32\u0e14\u0e39\u0e01\u0e31\u0e19\u0e17\u0e35\u0e25\u0e30\u0e15\u0e31\u0e27 \u0e19\u0e35\u0e48\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e25\u0e07\u0e23\u0e32\u0e22\u0e25\u0e30\u0e40\u0e2d\u0e35\u0e22\u0e14\u0e0b\u0e31\u0e01\u0e2b\u0e19\u0e48\u0e2d\u0e22 \u0e41\u0e15\u0e48\u0e2d\u0e22\u0e32\u0e01\u0e43\u0e2b\u0e49\u0e25\u0e2d\u0e07\u0e04\u0e34\u0e14\u0e15\u0e32\u0e21\u0e04\u0e23\u0e31\u0e1a E \u0e04\u0e37\u0e2d expression, v \u0e04\u0e37\u0e2d variable<\/p>\n<p>Assignment \u0e40\u0e1b\u0e47\u0e19\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e01\u0e33\u0e2b\u0e19\u0e14\u0e27\u0e48\u0e32 expression E \u0e01\u0e31\u0e1a v \u0e40\u0e1b\u0e47\u0e19\u0e15\u0e31\u0e27\u0e40\u0e14\u0e35\u0e22\u0e27\u0e01\u0e31\u0e19 (\u0e16\u0e49\u0e32\u0e43\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e01\u0e47\u0e04\u0e37\u0e2d E &#8220;\u0e21\u0e35\u0e04\u0e48\u0e32\u0e40\u0e17\u0e48\u0e32\u0e01\u0e31\u0e1a&#8221; v \u0e41\u0e15\u0e48\u0e01\u0e23\u0e13\u0e35\u0e19\u0e35\u0e49\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e01\u0e47\u0e40\u0e25\u0e22\u0e44\u0e21\u0e48\u0e21\u0e35\u0e04\u0e48\u0e32 \u0e44\u0e21\u0e48\u0e23\u0e39\u0e49\u0e08\u0e30\u0e43\u0e2b\u0e49\u0e40\u0e17\u0e48\u0e32\u0e01\u0e31\u0e1a\u0e2d\u0e30\u0e44\u0e23)<\/p>\n<p>Application \u0e40\u0e1b\u0e47\u0e19\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e17\u0e35\u0e48\u0e1a\u0e2d\u0e01\u0e27\u0e48\u0e32 apply expression E1 \u0e14\u0e49\u0e27\u0e22 expression E2 .. \u0e2b\u0e32\u0e01 (E1 E2) \u0e2d\u0e22\u0e39\u0e48\u0e23\u0e39\u0e1b Redex \u0e21\u0e31\u0e19\u0e08\u0e30\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e25\u0e14\u0e23\u0e39\u0e1b\u0e25\u0e07\u0e40\u0e2b\u0e25\u0e37\u0e2d expression \u0e40\u0e14\u0e35\u0e22\u0e27\u0e44\u0e14\u0e49.. \u0e2d\u0e37\u0e21\u0e21 redex \u0e19\u0e35\u0e48\u0e2b\u0e19\u0e49\u0e32\u0e15\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e19\u0e35\u0e49\u0e04\u0e23\u0e31\u0e1a<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/redex.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6265\" style=\"border: 0pt none;\" title=\"redex\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/redex.png\" alt=\"\" width=\"167\" height=\"25\" \/><\/a><\/p>\n<p>\u0e42\u0e14\u0e22\u0e17\u0e35\u0e48\u0e17\u0e31\u0e49\u0e07 M \u0e41\u0e25\u0e30 N \u0e01\u0e47\u0e04\u0e37\u0e2d expression \u0e2d\u0e31\u0e19\u0e19\u0e36\u0e07.. \u0e15\u0e32\u0e21\u0e2b\u0e25\u0e31\u0e01\u0e43\u0e19 Lambda Calculus redex \u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e25\u0e14\u0e23\u0e39\u0e1b\u0e44\u0e14\u0e49\u0e40\u0e1b\u0e47\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/beta-reduction.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6259\" style=\"border: 0pt none;\" title=\"beta-reduction\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/beta-reduction.png\" alt=\"\" width=\"167\" height=\"25\" \/><\/a><\/p>\n<p>\u0e2b\u0e21\u0e32\u0e22\u0e04\u0e27\u0e32\u0e21 \u0e27\u0e48\u0e32\u0e41\u0e17\u0e19\u0e17\u0e35\u0e48\u0e15\u0e31\u0e27\u0e41\u0e1b\u0e23 x \u0e17\u0e31\u0e49\u0e07\u0e2b\u0e21\u0e14\u0e17\u0e35\u0e48\u0e2d\u0e22\u0e39\u0e48\u0e43\u0e19 M \u0e14\u0e49\u0e27\u0e22 N .. \u0e01\u0e32\u0e23\u0e41\u0e17\u0e19\u0e17\u0e35\u0e48\u0e15\u0e31\u0e27\u0e41\u0e1b\u0e23\u0e19\u0e35\u0e49\u0e40\u0e23\u0e35\u0e22\u0e01\u0e27\u0e48\u0e32 Beta reduction \u0e04\u0e23\u0e31\u0e1a redex \u0e16\u0e37\u0e2d\u0e27\u0e48\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e01\u0e25\u0e44\u0e01\u0e17\u0e35\u0e48\u0e17\u0e33\u0e43\u0e2b\u0e49\u0e40\u0e01\u0e34\u0e14\u0e01\u0e32\u0e23 execute \u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e43\u0e19 Lambda Calculus<\/p>\n<p>Abstraction \u0e40\u0e1b\u0e47\u0e19\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c\u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e23\u0e30\u0e1a\u0e38\u0e04\u0e27\u0e32\u0e21\u0e2b\u0e21\u0e32\u0e22\u0e43\u0e19\u0e40\u0e0a\u0e34\u0e07 abstract \u0e02\u0e2d\u0e07 expression E \u0e2a\u0e21\u0e21\u0e15\u0e34\u0e27\u0e48\u0e32\u0e40\u0e23\u0e32\u0e08\u0e30\u0e2b\u0e32\u0e19\u0e34\u0e22\u0e32\u0e21\u0e02\u0e2d\u0e07 y := 2x+3 \u0e40\u0e23\u0e32\u0e2d\u0e22\u0e32\u0e01\u0e23\u0e39\u0e49\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e01\u0e34\u0e14\u0e2d\u0e30\u0e44\u0e23\u0e02\u0e36\u0e49\u0e19\u0e01\u0e31\u0e1a x \u0e43\u0e19\u0e40\u0e0a\u0e34\u0e07 abstract (\u0e2b\u0e21\u0e32\u0e22\u0e16\u0e36\u0e07\u0e44\u0e21\u0e48\u0e21\u0e35\u0e01\u0e32\u0e23\u0e04\u0e33\u0e19\u0e27\u0e13\u0e43\u0e14\u0e46 \u0e44\u0e21\u0e48\u0e21\u0e35\u0e01\u0e32\u0e23\u0e2b\u0e32\u0e04\u0e48\u0e32 \u0e40\u0e1b\u0e47\u0e19\u0e40\u0e1e\u0e35\u0e22\u0e07\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e2d\u0e31\u0e19\u0e19\u0e36\u0e07) \u0e40\u0e23\u0e32\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e43\u0e0a\u0e49\u0e1b\u0e23\u0e30\u0e42\u0e22\u0e04 &#8220;\u0e40\u0e2d\u0e47\u0e01\u0e0b\u0e4c\u0e04\u0e38\u0e13\u0e2a\u0e2d\u0e07 \u0e1a\u0e27\u0e01\u0e2a\u0e32\u0e21&#8221; \u0e2b\u0e23\u0e37\u0e2d\u0e43\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e40\u0e1b\u0e47\u0e19 f(x) := 2x + 3 .. \u0e41\u0e15\u0e48\u0e43\u0e19\u0e40\u0e0a\u0e34\u0e07 abstract \u0e02\u0e2d\u0e07 Lambda Calculus \u0e08\u0e30\u0e43\u0e0a\u0e49\u0e44\u0e27\u0e22\u0e32\u0e01\u0e23\u0e13\u0e4c Abstraction \u0e04\u0e23\u0e31\u0e1a \u0e42\u0e14\u0e22\u0e40\u0e02\u0e35\u0e22\u0e19\u0e40\u0e1b\u0e47\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/l-2x3.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6263\" style=\"border: 0pt none;\" title=\"l-2x3\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/l-2x3.png\" alt=\"\" width=\"167\" height=\"25\" \/><\/a><\/p>\n<p>&#8230; \u0e02\u0e31\u0e49\u0e19\u0e15\u0e2d\u0e19\u0e19\u0e35\u0e49\u0e40\u0e23\u0e35\u0e22\u0e01\u0e27\u0e48\u0e32\u0e40\u0e1b\u0e47\u0e19 Function Abstraction \u0e16\u0e37\u0e2d\u0e27\u0e48\u0e32\u0e21\u0e35\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e21\u0e32\u0e01\u0e17\u0e35\u0e48\u0e2a\u0e38\u0e14\u0e01\u0e47\u0e27\u0e48\u0e32\u0e44\u0e14\u0e49 \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e17\u0e38\u0e01\u0e46 expression \u0e43\u0e19 Lambda Calculus \u0e15\u0e49\u0e2d\u0e07\u0e40\u0e02\u0e35\u0e22\u0e19\u0e43\u0e19\u0e23\u0e39\u0e1b abstraction \u0e17\u0e35\u0e48\u0e16\u0e39\u0e01\u0e15\u0e49\u0e2d\u0e07 \u0e44\u0e21\u0e48\u0e07\u0e31\u0e49\u0e19\u0e21\u0e31\u0e19\u0e08\u0e30\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e21\u0e48\u0e44\u0e14\u0e49 ..<\/p>\n<p>\u0e04\u0e23\u0e32\u0e27\u0e19\u0e35\u0e49\u0e25\u0e2d\u0e07\u0e04\u0e34\u0e14\u0e15\u0e48\u0e2d\u0e27\u0e48\u0e32\u0e43\u0e19\u0e40\u0e21\u0e37\u0e48\u0e2d\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e17\u0e35\u0e48\u0e41\u0e17\u0e19\u0e04\u0e27\u0e32\u0e21\u0e2b\u0e21\u0e32\u0e22\u0e2d\u0e30\u0e44\u0e23\u0e0b\u0e31\u0e01\u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e14\u0e31\u0e07\u0e19\u0e31\u0e49\u0e19\u0e40\u0e23\u0e32\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e41\u0e17\u0e19 x \u0e14\u0e49\u0e27\u0e22\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e2d\u0e37\u0e48\u0e19\u0e01\u0e47\u0e44\u0e14\u0e49 \u0e2a\u0e21\u0e21\u0e15\u0e34\u0e40\u0e1b\u0e47\u0e19\u0e27\u0e48\u0e32<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/l-2x3a.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6264\" style=\"border: 0pt none;\" title=\"l-2x3a\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/l-2x3a.png\" alt=\"\" width=\"167\" height=\"25\" \/><\/a><\/p>\n<p>\u0e19\u0e30\u0e04\u0e23\u0e31\u0e1a \u0e2d\u0e31\u0e19\u0e19\u0e35\u0e49\u0e08\u0e30\u0e2b\u0e21\u0e32\u0e22\u0e04\u0e27\u0e32\u0e21\u0e27\u0e48\u0e32\u0e40\u0e23\u0e32\u0e01\u0e33\u0e25\u0e31\u0e07\u0e08\u0e30\u0e41\u0e17\u0e19\u0e17\u0e35\u0e48 x \u0e14\u0e49\u0e27\u0e22 a2 \u0e08\u0e30\u0e40\u0e2b\u0e47\u0e19\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19 redex \u0e1e\u0e2d\u0e14\u0e35 \u0e41\u0e25\u0e30\u0e44\u0e14\u0e49\u0e1c\u0e25\u0e02\u0e2d\u0e07 beta reduction \u0e40\u0e1b\u0e47\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/2a-3.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6271\" style=\"border: 0pt none;\" title=\"2a-3\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/2a-3.png\" alt=\"\" width=\"87\" height=\"25\" \/><\/a><\/p>\n<p>(\u0e41\u0e17\u0e19 x \u0e14\u0e49\u0e27\u0e22 a^2).. \u0e21\u0e32\u0e16\u0e36\u0e07\u0e15\u0e23\u0e07\u0e19\u0e35\u0e49\u0e2b\u0e25\u0e32\u0e22\u0e04\u0e19\u0e04\u0e07\u0e07\u0e07.. \u0e41\u0e25\u0e49\u0e27\u0e44\u0e07\u0e40\u0e2b\u0e23\u0e2d ? \u0e21\u0e35\u0e41\u0e04\u0e48\u0e19\u0e35\u0e48\u0e41\u0e25\u0e49\u0e27\u0e17\u0e33\u0e2d\u0e30\u0e44\u0e23\u0e44\u0e14\u0e49.. OK \u0e07\u0e31\u0e49\u0e19\u0e40\u0e14\u0e35\u0e4b\u0e22\u0e27\u0e40\u0e23\u0e32\u0e25\u0e2d\u0e07\u0e21\u0e32\u0e14\u0e39\u0e15\u0e31\u0e27\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e17\u0e35\u0e48 work \u0e01\u0e27\u0e48\u0e32\u0e19\u0e35\u0e49\u0e2d\u0e35\u0e01\u0e0b\u0e31\u0e01\u0e2b\u0e19\u0e48\u0e2d\u0e22\u0e25\u0e30\u0e01\u0e31\u0e19 \u0e16\u0e49\u0e32\u0e04\u0e34\u0e14\u0e15\u0e32\u0e21\u0e44\u0e14\u0e49\u0e08\u0e30\u0e21\u0e31\u0e19\u0e21\u0e32\u0e01 \u0e02\u0e2d\u0e1a\u0e2d\u0e01 ^^<\/p>\n<p>\u0e40\u0e23\u0e34\u0e48\u0e21\u0e01\u0e31\u0e19\u0e17\u0e35\u0e48\u0e1b\u0e23\u0e30\u0e42\u0e22\u0e04 if \u0e01\u0e31\u0e1a true false \u0e19\u0e30\u0e04\u0e23\u0e31\u0e1a \u0e02\u0e49\u0e32\u0e07\u0e25\u0e48\u0e32\u0e07\u0e19\u0e35\u0e48\u0e40\u0e1b\u0e47\u0e19 abstraction \u0e02\u0e2d\u0e07\u0e41\u0e15\u0e48\u0e25\u0e30\u0e2d\u0e31\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-true-false-def.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6262\" style=\"border: 0pt none;\" title=\"if-true-false-def\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-true-false-def.png\" alt=\"\" width=\"167\" height=\"70\" \/><\/a><\/p>\n<p>\u0e40\u0e23\u0e32\u0e21\u0e32\u0e25\u0e2d\u0e07 if true E1 E2 \u0e01\u0e31\u0e19\u0e01\u0e48\u0e2d\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-true.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6261\" style=\"border: 0pt none;\" title=\"if-true\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-true.png\" alt=\"\" width=\"167\" height=\"140\" \/><\/a><\/p>\n<p>\u0e16\u0e49\u0e32\u0e40\u0e1b\u0e47\u0e19 if false E1 E2 \u0e25\u0e48\u0e30<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-false.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6260\" style=\"border: 0pt none;\" title=\"if-false\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/if-false.png\" alt=\"\" width=\"167\" height=\"140\" \/><\/a><\/p>\n<p>\u0e2b\u0e21\u0e32\u0e22\u0e04\u0e27\u0e32\u0e21 \u0e27\u0e48\u0e32\u0e44\u0e07\u0e2b\u0e19\u0e34 ?? if true \u0e44\u0e14\u0e49\u0e1c\u0e25\u0e40\u0e1b\u0e47\u0e19 E1 if false \u0e44\u0e14\u0e49\u0e1c\u0e25\u0e40\u0e1b\u0e47\u0e19 E2 ?? \u0e04\u0e38\u0e49\u0e19\u0e46 \u0e21\u0e31\u0e49\u0e22\u0e04\u0e23\u0e31\u0e1a .. \u0e2d\u0e37\u0e21\u0e21\u0e21&#8230; \u0e43\u0e0a\u0e48\u0e41\u0e25\u0e49\u0e27\u0e21\u0e31\u0e19\u0e01\u0e47\u0e04\u0e37\u0e2d if-then-else \u0e19\u0e31\u0e48\u0e19\u0e40\u0e2d\u0e07 \u0e23\u0e39\u0e1b\u0e02\u0e2d\u0e07\u0e21\u0e31\u0e19\u0e08\u0e23\u0e34\u0e07\u0e46 \u0e01\u0e47\u0e04\u0e37\u0e2d if M E1 E2 \u0e16\u0e49\u0e32 M \u0e40\u0e1b\u0e47\u0e19 true \u0e08\u0e30\u0e44\u0e14\u0e49\u0e1c\u0e25\u0e40\u0e1b\u0e47\u0e19 E1 \u0e16\u0e49\u0e32 M \u0e40\u0e1b\u0e47\u0e19 false \u0e08\u0e30\u0e44\u0e14\u0e49\u0e1c\u0e25\u0e40\u0e1b\u0e47\u0e19 E2 .. \u0e2a\u0e31\u0e07\u0e40\u0e01\u0e15\u0e38\u0e40\u0e2b\u0e47\u0e19\u0e2d\u0e30\u0e44\u0e23\u0e21\u0e31\u0e49\u0e22\u0e04\u0e23\u0e31\u0e1a\u0e40\u0e2b\u0e47\u0e19\u0e21\u0e31\u0e49\u0e22 .. \u0e17\u0e31\u0e49\u0e07\u0e2b\u0e21\u0e14\u0e19\u0e35\u0e48 \u0e44\u0e21\u0e48\u0e21\u0e35\u0e04\u0e48\u0e32 \u0e44\u0e21\u0e48\u0e21\u0e35\u0e2d\u0e30\u0e44\u0e23\u0e40\u0e25\u0e22 \u0e17\u0e31\u0e49\u0e07\u0e2b\u0e21\u0e14\u0e40\u0e1b\u0e47\u0e19\u0e40\u0e1e\u0e35\u0e22\u0e07\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c \u0e41\u0e25\u0e30\u0e40\u0e23\u0e32\u0e41\u0e04\u0e48\u0e41\u0e17\u0e19\u0e17\u0e35\u0e48\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e15\u0e32\u0e21\u0e01\u0e0f.. \u0e41\u0e15\u0e48\u0e21\u0e31\u0e19\u0e01\u0e25\u0e31\u0e1a\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e14\u0e49 \u0e41\u0e25\u0e30\u0e15\u0e35\u0e04\u0e27\u0e32\u0e21\u0e44\u0e14\u0e49 \u0e25\u0e2d\u0e07\u0e14\u0e39\u0e40\u0e14\u0e47\u0e14\u0e46 \u0e2d\u0e35\u0e01\u0e2d\u0e31\u0e19 \u0e2d\u0e31\u0e19\u0e19\u0e35\u0e49\u0e22\u0e32\u0e01\u0e02\u0e36\u0e49\u0e19\u0e44\u0e1b\u0e2d\u0e35\u0e01\u0e2b\u0e19\u0e48\u0e2d\u0e22 operator and \u0e40\u0e02\u0e35\u0e22\u0e19\u0e44\u0e14\u0e49\u0e40\u0e1b\u0e47\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6255\" style=\"border: 0pt none;\" title=\"and\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and.png\" alt=\"\" width=\"192\" height=\"30\" \/><\/a><\/p>\n<p>\u0e25\u0e2d\u0e07\u0e14\u0e39\u0e27\u0e48\u0e32 and true false \u0e08\u0e30\u0e40\u0e01\u0e34\u0e14\u0e2d\u0e30\u0e44\u0e23\u0e02\u0e36\u0e49\u0e19<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-true-false.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6257\" style=\"border: 0pt none;\" title=\"and-true-false\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-true-false.png\" alt=\"\" width=\"230\" height=\"160\" \/><\/a><\/p>\n<p>\u0e25\u0e2d\u0e07\u0e2a\u0e25\u0e31\u0e1a\u0e17\u0e35\u0e48 \u0e40\u0e1b\u0e47\u0e19 and false true<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-false-true.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-6256\" style=\"border: 0pt none;\" title=\"and-false-true\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-false-true.png\" alt=\"\" width=\"230\" height=\"160\" \/><\/a><\/p>\n<p>\u0e16\u0e49\u0e32\u0e40\u0e1b\u0e47\u0e19 and true true<\/p>\n<p><a href=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-true-true.png\"><img loading=\"lazy\" decoding=\"async\" style=\"border: 0pt none;\" title=\"and-true-true\" src=\"http:\/\/www.kitty.in.th\/wp-content\/uploads\/2011\/09\/and-true-true.png\" alt=\"\" width=\"230\" height=\"160\" \/><\/a><\/p>\n<p>\u0e1a\u0e4a\u0e30.. \u0e16\u0e39\u0e01\u0e0b\u0e30\u0e14\u0e49\u0e27\u0e22 \u0e40\u0e1b\u0e47\u0e19\u0e44\u0e07\u0e04\u0e23\u0e31\u0e1a (\u0e21\u0e36\u0e19\u0e44\u0e1b\u0e40\u0e25\u0e22 @_@) ..\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25 \u0e22\u0e31\u0e07\u0e04\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e40\u0e1e\u0e35\u0e22\u0e07\u0e01\u0e32\u0e23\u0e41\u0e17\u0e19\u0e17\u0e35\u0e48\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e15\u0e32\u0e21\u0e01\u0e0f \u0e41\u0e15\u0e48\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e14\u0e49\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e16\u0e39\u0e01\u0e15\u0e49\u0e2d\u0e07 \u0e17\u0e35\u0e48\u0e08\u0e23\u0e34\u0e07\u0e2d\u0e22\u0e32\u0e01\u0e17\u0e33\u0e1a\u0e27\u0e01\u0e15\u0e31\u0e27\u0e40\u0e25\u0e02\u0e43\u0e2b\u0e49\u0e14\u0e39 \u0e41\u0e15\u0e48\u0e40\u0e14\u0e35\u0e4b\u0e22\u0e27\u0e08\u0e30\u0e21\u0e36\u0e19\u0e01\u0e27\u0e48\u0e32\u0e19\u0e35\u0e49 (^^&#8221;)<\/p>\n<h3>Functional Languages<\/h3>\n<p>\u0e27\u0e48\u0e32 \u0e01\u0e31\u0e19\u0e27\u0e48\u0e32.. \u0e2b\u0e32\u0e01\u0e40\u0e23\u0e32\u0e25\u0e49\u0e32\u0e07 &#8220;\u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e2a\u0e33\u0e2d\u0e32\u0e07\u0e04\u0e4c&#8221; \u0e02\u0e2d\u0e07\u0e20\u0e32\u0e29\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e15\u0e48\u0e32\u0e07\u0e46 \u0e2d\u0e2d\u0e01\u0e43\u0e2b\u0e49\u0e2b\u0e21\u0e14 \u0e2a\u0e38\u0e14\u0e17\u0e49\u0e32\u0e22\u0e17\u0e38\u0e01\u0e20\u0e32\u0e29\u0e32\u0e08\u0e30\u0e21\u0e35\u0e2b\u0e19\u0e49\u0e32\u0e15\u0e32\u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19\u0e01\u0e31\u0e19..\u0e0b\u0e36\u0e48\u0e07\u0e01\u0e47\u0e04\u0e37\u0e2d Lambda Calculus \u0e19\u0e31\u0e48\u0e19\u0e40\u0e2d\u0e07 \u0e08\u0e32\u0e01\u0e1e\u0e37\u0e49\u0e19\u0e10\u0e32\u0e19\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2a\u0e31\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e19\u0e35\u0e49\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a\u0e17\u0e35\u0e48\u0e20\u0e32\u0e22\u0e2b\u0e25\u0e31\u0e07\u0e01\u0e47\u0e01\u0e25\u0e32\u0e22\u0e21\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e20\u0e32\u0e29\u0e32 \u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e17\u0e35\u0e48\u0e40\u0e23\u0e35\u0e22\u0e01\u0e01\u0e31\u0e19\u0e27\u0e48\u0e32\u0e40\u0e1b\u0e47\u0e19 Functional Languages .. \u0e2d\u0e37\u0e21\u0e21.. \u0e15\u0e49\u0e2d\u0e07\u0e40\u0e01\u0e23\u0e34\u0e48\u0e19\u0e0b\u0e31\u0e01\u0e19\u0e34\u0e14 \u0e40\u0e23\u0e32\u0e41\u0e1a\u0e48\u0e07\u0e20\u0e32\u0e29\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e2d\u0e2d\u0e01\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e2d\u0e07\u0e1b\u0e23\u0e30\u0e40\u0e20\u0e17\u0e19\u0e30\u0e04\u0e23\u0e31\u0e1a\u0e04\u0e37\u0e2d Functional Languages \u0e01\u0e31\u0e1a Procedural \u0e2b\u0e23\u0e37\u0e2d Imperative Languages .. \u0e2a\u0e2d\u0e07\u0e2d\u0e31\u0e19\u0e19\u0e35\u0e49\u0e15\u0e48\u0e32\u0e07\u0e01\u0e31\u0e19\u0e17\u0e35\u0e48\u0e08\u0e38\u0e14\u0e17\u0e35\u0e48\u0e40\u0e1b\u0e47\u0e19\u0e01\u0e25\u0e44\u0e01\u0e02\u0e2d\u0e07\u0e20\u0e32\u0e29\u0e32 \u0e01\u0e25\u0e48\u0e32\u0e27\u0e04\u0e37\u0e2d Imperative Language \u0e40\u0e0a\u0e48\u0e19 C\/C++, Pascal \u0e2d\u0e22\u0e48\u0e32\u0e07\u0e17\u0e35\u0e48\u0e40\u0e23\u0e32\u0e43\u0e0a\u0e49\u0e01\u0e31\u0e19\u0e08\u0e30\u0e40\u0e19\u0e49\u0e19\u0e17\u0e35\u0e48\u0e01\u0e32\u0e23\u0e40\u0e1b\u0e25\u0e35\u0e48\u0e22\u0e19\u0e41\u0e1b\u0e25\u0e07\u0e04\u0e48\u0e32\u0e43\u0e19\u0e2b\u0e19\u0e48\u0e27\u0e22\u0e04\u0e27\u0e32\u0e21\u0e08\u0e33\u0e0b\u0e36\u0e48\u0e07\u0e40\u0e23\u0e32\u0e17\u0e33\u0e01\u0e31\u0e19\u0e42\u0e14\u0e22 \u0e15\u0e23\u0e07\u0e14\u0e49\u0e27\u0e22 assignment statement \u0e02\u0e2d\u0e07\u0e20\u0e32\u0e29\u0e32\u0e19\u0e31\u0e49\u0e19\u0e46 .. \u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e17\u0e35\u0e48\u0e40\u0e02\u0e35\u0e22\u0e19\u0e14\u0e49\u0e27\u0e22 Imperative Language \u0e08\u0e36\u0e07\u0e14\u0e33\u0e40\u0e19\u0e34\u0e19\u0e44\u0e1b\u0e44\u0e14\u0e49\u0e14\u0e49\u0e27\u0e22\u0e01\u0e32\u0e23\u0e40\u0e1b\u0e25\u0e35\u0e48\u0e22\u0e19\u0e04\u0e48\u0e32\u0e43\u0e19\u0e2b\u0e19\u0e48\u0e27\u0e22\u0e04\u0e27\u0e32\u0e21\u0e08\u0e33\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e48\u0e27\u0e19\u0e43\u0e2b\u0e0d\u0e48 \u0e17\u0e33\u0e43\u0e2b\u0e49\u0e40\u0e23\u0e32\u0e15\u0e49\u0e2d\u0e07\u0e41\u0e1b\u0e25\u0e07\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e21\u0e21\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e04\u0e33\u0e2a\u0e31\u0e48\u0e07\u0e43\u0e19\u0e01\u0e32\u0e23\u0e08\u0e31\u0e14\u0e01\u0e32\u0e23\u0e15\u0e31\u0e27\u0e41\u0e1b\u0e23 \u0e04\u0e48\u0e32\u0e04\u0e07\u0e17\u0e35\u0e48 \u0e2f\u0e25\u0e2f \u0e01\u0e48\u0e2d\u0e19 \u0e40\u0e1e\u0e37\u0e48\u0e2d\u0e43\u0e2b\u0e49\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e17\u0e33\u0e07\u0e32\u0e19\u0e44\u0e14\u0e49\u0e15\u0e32\u0e21\u0e15\u0e49\u0e2d\u0e07\u0e01\u0e32\u0e23 \u0e01\u0e32\u0e23\u0e41\u0e1b\u0e25\u0e07\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e21\u0e21\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e04\u0e33\u0e2a\u0e31\u0e48\u0e07\u0e19\u0e35\u0e48\u0e40\u0e2d\u0e07\u0e17\u0e35\u0e48\u0e17\u0e33\u0e43\u0e2b\u0e49\u0e21\u0e35\u0e42\u0e2d\u0e01\u0e32\u0e2a\u0e17\u0e35\u0e48\u0e08\u0e30\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e1e\u0e25\u0e32\u0e14 \u0e44\u0e21\u0e48\u0e15\u0e23\u0e07\u0e01\u0e31\u0e1a\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e21 \u0e41\u0e16\u0e21\u0e01\u0e32\u0e23\u0e17\u0e33\u0e2d\u0e30\u0e44\u0e23\u0e01\u0e31\u0e1a\u0e2b\u0e19\u0e48\u0e27\u0e22\u0e04\u0e27\u0e32\u0e21\u0e08\u0e33\u0e42\u0e14\u0e22\u0e15\u0e23\u0e07\u0e01\u0e47\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e34\u0e48\u0e07\u0e17\u0e35\u0e48\u0e2d\u0e31\u0e19\u0e15\u0e23\u0e32\u0e22 \u0e17\u0e38\u0e01\u0e04\u0e19\u0e04\u0e07\u0e40\u0e04\u0e22\u0e25\u0e37\u0e21 initialize variable \u0e2b\u0e23\u0e37\u0e2d\u0e40\u0e1c\u0e25\u0e2d\u0e2a\u0e23\u0e49\u0e32\u0e07 infinite loop \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e25\u0e37\u0e21\u0e40\u0e1b\u0e25\u0e35\u0e48\u0e22\u0e19 loop index variable \u0e43\u0e0a\u0e48\u0e21\u0e31\u0e49\u0e22\u0e04\u0e23\u0e31\u0e1a.. \u0e40\u0e2b\u0e15\u0e38\u0e01\u0e32\u0e23\u0e13\u0e4c\u0e40\u0e2b\u0e25\u0e48\u0e32\u0e19\u0e35\u0e49\u0e08\u0e30\u0e44\u0e21\u0e48\u0e40\u0e01\u0e34\u0e14\u0e16\u0e49\u0e32\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e14\u0e49\u0e27\u0e22 Functional Languages \u0e04\u0e23\u0e31\u0e1a &#8230; Functional Languages \u0e17\u0e38\u0e01\u0e46 \u0e20\u0e32\u0e29\u0e32\u0e21\u0e35\u0e04\u0e27\u0e32\u0e21\u0e43\u0e01\u0e25\u0e49\u0e0a\u0e34\u0e14\u0e01\u0e31\u0e1a Lambda Calculus \u0e04\u0e48\u0e2d\u0e19\u0e02\u0e49\u0e32\u0e07\u0e21\u0e32\u0e01 \u0e14\u0e31\u0e07\u0e19\u0e31\u0e49\u0e19\u0e21\u0e31\u0e19\u0e08\u0e36\u0e07\u0e21\u0e35 concept \u0e04\u0e25\u0e49\u0e32\u0e22\u0e01\u0e31\u0e1a Lambda Calculus \u0e04\u0e37\u0e2d\u0e40\u0e1b\u0e47\u0e19\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c \u0e08\u0e36\u0e07\u0e44\u0e21\u0e48\u0e15\u0e49\u0e2d\u0e07\u0e01\u0e31\u0e07\u0e27\u0e25\u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e01\u0e32\u0e23\u0e08\u0e31\u0e14\u0e01\u0e32\u0e23\u0e2b\u0e19\u0e48\u0e27\u0e22\u0e04\u0e27\u0e32\u0e21\u0e08\u0e33 \u0e2b\u0e23\u0e37\u0e2d\u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e1b\u0e25\u0e35\u0e01\u0e22\u0e48\u0e2d\u0e22\u0e2d\u0e37\u0e48\u0e19 .. \u0e01\u0e32\u0e23\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e08\u0e36\u0e07\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e40\u0e19\u0e49\u0e19\u0e44\u0e1b\u0e17\u0e35\u0e48\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e21\u0e43\u0e19\u0e01\u0e32\u0e23\u0e41\u0e01\u0e49\u0e1b\u0e31\u0e0d\u0e2b\u0e32\u0e44\u0e14\u0e49\u0e42\u0e14\u0e22\u0e15\u0e23\u0e07<\/p>\n<p>Functional Languages \u0e17\u0e35\u0e48\u0e43\u0e01\u0e25\u0e49\u0e0a\u0e34\u0e14\u0e01\u0e31\u0e1a Lambda Calculus \u0e21\u0e32\u0e01\u0e17\u0e35\u0e48\u0e2a\u0e38\u0e14 \u0e01\u0e47\u0e04\u0e37\u0e2d\u0e20\u0e32\u0e29\u0e32 LISP (List Processing) \u0e41\u0e25\u0e30 ML (Meta Language) \u0e17\u0e31\u0e49\u0e07\u0e2a\u0e2d\u0e07\u0e20\u0e32\u0e29\u0e32\u0e19\u0e35\u0e48\u0e43\u0e0a\u0e49\u0e01\u0e31\u0e19\u0e04\u0e48\u0e2d\u0e19\u0e02\u0e49\u0e32\u0e07\u0e41\u0e1e\u0e23\u0e48\u0e2b\u0e25\u0e32\u0e22 \u0e44\u0e21\u0e48\u0e19\u0e48\u0e32\u0e40\u0e0a\u0e37\u0e48\u0e2d\u0e2d\u0e35\u0e01\u0e41\u0e25\u0e49\u0e27\u0e41\u0e15\u0e48\u0e01\u0e47\u0e40\u0e1b\u0e47\u0e19\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e19\u0e31\u0e49\u0e19\u0e08\u0e23\u0e34\u0e07\u0e46 \u0e04\u0e23\u0e31\u0e1a \u0e2d\u0e22\u0e48\u0e32\u0e07 ML \u0e19\u0e35\u0e48\u0e1a\u0e23\u0e34\u0e29\u0e31\u0e17 Nortel, Motorola \u0e01\u0e47\u0e43\u0e0a\u0e49\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e0b\u0e2d\u0e1f\u0e15\u0e4c\u0e41\u0e27\u0e23\u0e4c \u0e21\u0e35\u0e1b\u0e23\u0e30\u0e2a\u0e1a\u0e01\u0e32\u0e23\u0e13\u0e4c\u0e17\u0e35\u0e48\u0e19\u0e48\u0e32\u0e2a\u0e19\u0e43\u0e08\u0e2b\u0e25\u0e32\u0e22\u0e46 \u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e21\u0e31\u0e19\u0e1b\u0e25\u0e2d\u0e14\u0e20\u0e31\u0e22\u0e21\u0e32\u0e01\u0e01\u0e27\u0e48\u0e32 C\/C++ \u0e2a\u0e48\u0e27\u0e19 LISP \u0e19\u0e31\u0e48\u0e19\u0e04\u0e19\u0e17\u0e35\u0e48\u0e40\u0e23\u0e35\u0e22\u0e19 AI \u0e2b\u0e19\u0e35\u0e44\u0e21\u0e48\u0e1e\u0e49\u0e19\u0e04\u0e23\u0e31\u0e1a \u0e2b\u0e25\u0e32\u0e22\u0e46 \u0e04\u0e19\u0e17\u0e35\u0e48\u0e43\u0e0a\u0e49 ML \u0e40\u0e1b\u0e47\u0e19\u0e1b\u0e23\u0e30\u0e08\u0e33\u0e08\u0e30\u0e0a\u0e2d\u0e1a\u0e21\u0e31\u0e19\u0e41\u0e25\u0e30\u0e1a\u0e2d\u0e01\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e14\u0e35\u0e01\u0e27\u0e48\u0e32 C, Java \u0e40\u0e1b\u0e47\u0e19\u0e44\u0e2b\u0e19\u0e46 \u0e41\u0e16\u0e21\u0e1b\u0e25\u0e2d\u0e14\u0e20\u0e31\u0e22\u0e01\u0e27\u0e48\u0e32\u0e14\u0e49\u0e27\u0e22 \u0e19\u0e31\u0e48\u0e19\u0e40\u0e1e\u0e23\u0e32\u0e30\u0e15\u0e31\u0e27\u0e20\u0e32\u0e29\u0e32\u0e21\u0e31\u0e19 bug free \u0e04\u0e23\u0e31\u0e1a ..<\/p>\n<p>Functional Language \u0e17\u0e35\u0e48\u0e08\u0e30\u0e41\u0e19\u0e30\u0e19\u0e33\u0e43\u0e2b\u0e49\u0e23\u0e39\u0e49\u0e08\u0e31\u0e01\u0e43\u0e19\u0e27\u0e31\u0e19\u0e19\u0e35\u0e49\u0e04\u0e37\u0e2d\u0e20\u0e32\u0e29\u0e32 OCaml \u0e04\u0e23\u0e31\u0e1a .. OCalm \u0e40\u0e1b\u0e47\u0e19\u0e20\u0e32\u0e29\u0e32\u0e17\u0e35\u0e48\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e21\u0e32\u0e08\u0e32\u0e01\u0e20\u0e32\u0e29\u0e32 Caml \u0e0b\u0e36\u0e48\u0e07\u0e40\u0e1b\u0e47\u0e19 dialect \u0e02\u0e2d\u0e07\u0e20\u0e32\u0e29\u0e32 ML \u0e2d\u0e35\u0e01\u0e17\u0e35 .. ML\/Caml\/OCaml \u0e19\u0e34\u0e22\u0e21\u0e43\u0e0a\u0e49\u0e43\u0e19\u0e01\u0e32\u0e23\u0e40\u0e23\u0e35\u0e22\u0e19\u0e01\u0e32\u0e23\u0e2a\u0e2d\u0e19\u0e27\u0e34\u0e0a\u0e32 computer programming \u0e43\u0e19\u0e2b\u0e25\u0e32\u0e22\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e14\u0e31\u0e07\u0e46 \u0e40\u0e0a\u0e48\u0e19 MIT, Standford, Cornell, UPenn. \u0e41\u0e25\u0e30 UC \u0e40\u0e01\u0e37\u0e2d\u0e1a\u0e17\u0e38\u0e01 campus (UCLA, UC-Berkeley, UC-Davis, etc.) \u0e42\u0e14\u0e22\u0e40\u0e2d\u0e32\u0e21\u0e32\u0e2a\u0e2d\u0e19\u0e43\u0e2b\u0e49\u0e19\u0e31\u0e01\u0e28\u0e36\u0e01\u0e29\u0e32\u0e2a\u0e32\u0e02\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e41\u0e17\u0e19 Imperative Languages \u0e2d\u0e22\u0e48\u0e32\u0e07 Pascal .. \u0e1b\u0e31\u0e08\u0e08\u0e38\u0e1a\u0e31\u0e19\u0e21\u0e35\u0e07\u0e32\u0e19\u0e27\u0e34\u0e08\u0e31\u0e22\u0e08\u0e33\u0e19\u0e27\u0e19\u0e21\u0e32\u0e01\u0e17\u0e35\u0e48\u0e43\u0e0a\u0e49\u0e20\u0e32\u0e29\u0e32 Caml \u0e43\u0e19\u0e01\u0e32\u0e23 implement \u0e40\u0e19\u0e37\u0e48\u0e2d\u0e07\u0e08\u0e32\u0e01\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e08\u0e30\u0e41\u0e2a\u0e14\u0e07\u0e16\u0e36\u0e07 logic \u0e01\u0e32\u0e23\u0e17\u0e33\u0e07\u0e32\u0e19\u0e02\u0e2d\u0e07\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e44\u0e14\u0e49\u0e14\u0e35\u0e01\u0e27\u0e48\u0e32 \u0e21\u0e31\u0e48\u0e19\u0e43\u0e08\u0e44\u0e14\u0e49\u0e27\u0e48\u0e32\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e08\u0e30\u0e15\u0e23\u0e07\u0e01\u0e31\u0e1a\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e21\u0e17\u0e35\u0e48\u0e43\u0e0a\u0e49\u0e41\u0e01\u0e49\u0e1b\u0e31\u0e0d\u0e2b\u0e32\u0e08\u0e23\u0e34\u0e07\u0e46 \u0e19\u0e2d\u0e01\u0e08\u0e32\u0e01\u0e19\u0e35\u0e49\u0e04\u0e27\u0e32\u0e21\u0e17\u0e35\u0e48\u0e20\u0e32\u0e29\u0e32\u0e15\u0e23\u0e30\u0e01\u0e39\u0e25 ML \u0e40\u0e1b\u0e47\u0e19\u0e20\u0e32\u0e29\u0e32\u0e17\u0e35\u0e48\u0e43\u0e01\u0e25\u0e49\u0e01\u0e31\u0e1a Lambda Calculus \u0e08\u0e36\u0e07\u0e21\u0e35\u0e01\u0e32\u0e23\u0e19\u0e33\u0e44\u0e1b\u0e43\u0e0a\u0e49\u0e43\u0e19\u0e17\u0e32\u0e07 Formal Verification \u0e01\u0e31\u0e19\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e41\u0e1e\u0e23\u0e48\u0e2b\u0e25\u0e32\u0e22 (Formal Verification \u0e40\u0e1b\u0e47\u0e19\u0e01\u0e32\u0e23\u0e15\u0e23\u0e27\u0e08\u0e2a\u0e2d\u0e1a\u0e01\u0e32\u0e23\u0e17\u0e33\u0e07\u0e32\u0e19\u0e15\u0e32\u0e21\u0e2b\u0e25\u0e31\u0e01\u0e40\u0e2b\u0e15\u0e38\u0e1c\u0e25\u0e14\u0e49\u0e27\u0e22\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c) \u0e2d\u0e22\u0e48\u0e32\u0e07 Secure Socket Layer version 3 (SSLv3) protocol \u0e01\u0e47 verify \u0e42\u0e14\u0e22\u0e43\u0e0a\u0e49\u0e20\u0e32\u0e29\u0e32 ML \u0e40\u0e1e\u0e37\u0e48\u0e2d\u0e14\u0e39\u0e27\u0e48\u0e32\u0e01\u0e32\u0e23\u0e17\u0e33\u0e07\u0e32\u0e19\u0e02\u0e2d\u0e07 protocol \u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e23\u0e31\u0e1a\u0e23\u0e2d\u0e07\u0e04\u0e27\u0e32\u0e21\u0e1b\u0e25\u0e2d\u0e14\u0e20\u0e31\u0e22\u0e44\u0e14\u0e49\u0e08\u0e23\u0e34\u0e07\u0e2b\u0e23\u0e37\u0e2d\u0e44\u0e21\u0e48 OCaml \u0e16\u0e39\u0e01\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e17\u0e35\u0e48 <a href=\"http:\/\/www.inria.ft\">INRIA<\/a> (The French National Institute of Research for Computer Science and Control) \u0e40\u0e1b\u0e47\u0e19\u0e20\u0e32\u0e29\u0e32\u0e17\u0e35\u0e48\u0e21\u0e35\u0e08\u0e38\u0e14\u0e40\u0e14\u0e48\u0e19\u0e17\u0e35\u0e48\u0e04\u0e27\u0e32\u0e21\u0e40\u0e1b\u0e47\u0e19 Functional Language \u0e41\u0e25\u0e30\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16 compile \u0e40\u0e1b\u0e47\u0e19 native binary \u0e41\u0e25\u0e30 bytecode \u0e44\u0e14\u0e49 \u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19\u0e01\u0e31\u0e1a Java (\u0e17\u0e33 applet \u0e01\u0e47\u0e44\u0e14\u0e49) \u0e08\u0e36\u0e07\u0e21\u0e35 portability \u0e41\u0e25\u0e30 mobility \u0e2a\u0e39\u0e07 OCaml \u0e21\u0e35\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e14\u0e49\u0e32\u0e19 object orientation \u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19 Java \u0e08\u0e36\u0e07\u0e43\u0e0a\u0e49\u0e07\u0e32\u0e19\u0e44\u0e14\u0e49\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e41\u0e1e\u0e23\u0e48\u0e2b\u0e25\u0e32\u0e22\u0e1e\u0e2d\u0e46 \u0e01\u0e31\u0e1a Java \u0e40\u0e25\u0e22\u0e25\u0e48\u0e30\u0e04\u0e23\u0e31\u0e1a \u0e23\u0e32\u0e22\u0e25\u0e30\u0e40\u0e2d\u0e35\u0e22\u0e14\u0e02\u0e2d\u0e07 OCaml\/Caml \u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e1e\u0e1a\u0e44\u0e14\u0e49\u0e17\u0e35\u0e48 <a href=\"http:\/\/caml.inria.fr\/\">Caml Homepage<\/a> \u0e04\u0e23\u0e31\u0e1a .. \u0e25\u0e2d\u0e07\u0e14\u0e32\u0e27\u0e19\u0e4c\u0e42\u0e2b\u0e25\u0e14\u0e21\u0e32\u0e43\u0e0a\u0e49\u0e14\u0e39\u0e41\u0e25\u0e49\u0e27\u0e08\u0e30\u0e23\u0e39\u0e49\u0e27\u0e48\u0e32\u0e20\u0e32\u0e29\u0e32 functional language \u0e21\u0e31\u0e19\u0e14\u0e35\u0e22\u0e31\u0e07\u0e44\u0e07 .. \u0e21\u0e35\u0e40\u0e27\u0e2d\u0e23\u0e4c\u0e0a\u0e31\u0e19\u0e1a\u0e19 MS Windows \u0e14\u0e49\u0e27\u0e22 \u0e15\u0e2d\u0e19\u0e41\u0e23\u0e01\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e07\u0e07\u0e46 \u0e40\u0e1e\u0e23\u0e32\u0e30\u0e20\u0e32\u0e29\u0e32\u0e21\u0e31\u0e19\u0e44\u0e21\u0e48\u0e40\u0e2b\u0e21\u0e37\u0e2d\u0e19 Pascal \u0e2b\u0e23\u0e37\u0e2d C \u0e40\u0e25\u0e22\u0e0b\u0e31\u0e01\u0e19\u0e34\u0e14 \u0e41\u0e15\u0e48\u0e16\u0e49\u0e32\u0e40\u0e02\u0e49\u0e32\u0e43\u0e08\u0e2b\u0e25\u0e31\u0e01\u0e01\u0e32\u0e23\u0e08\u0e30\u0e1e\u0e1a\u0e27\u0e48\u0e32 ML\/Caml\/OCaml \u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e44\u0e14\u0e49\u0e07\u0e48\u0e32\u0e22\u0e21\u0e32\u0e01 \u0e43\u0e0a\u0e49\u0e40\u0e27\u0e25\u0e32\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e19\u0e49\u0e2d\u0e22 \u0e44\u0e21\u0e48\u0e21\u0e35 bugs \u0e21\u0e32\u0e01\u0e27\u0e19\u0e43\u0e08 \u0e41\u0e16\u0e21\u0e40\u0e2d\u0e32\u0e2b\u0e25\u0e31\u0e01\u0e01\u0e32\u0e23\u0e43\u0e19\u0e01\u0e32\u0e23\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e19\u0e35\u0e49\u0e44\u0e1b\u0e43\u0e0a\u0e49\u0e44\u0e14\u0e49\u0e01\u0e31\u0e1a\u0e20\u0e32\u0e29\u0e32\u0e2d\u0e22\u0e48\u0e32\u0e07 LISP \u0e2b\u0e23\u0e37\u0e2d ADA \u0e44\u0e14\u0e49\u0e2d\u0e35\u0e01\u0e40\u0e22\u0e2d\u0e30\u0e40\u0e25\u0e22 \u0e25\u0e2d\u0e07\u0e40\u0e23\u0e34\u0e48\u0e21\u0e15\u0e49\u0e19\u0e44\u0e14\u0e49\u0e17\u0e35\u0e48 <a href=\"http:\/\/www.cs.ait.ac.th\/%7Ekitt\/\">Objective-Caml Tutorial<\/a> \u0e21\u0e35\u0e40\u0e2d\u0e01\u0e2a\u0e32\u0e23\u0e2d\u0e18\u0e34\u0e1a\u0e32\u0e22\u0e01\u0e32\u0e23\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e02\u0e31\u0e49\u0e19\u0e15\u0e49\u0e19\u0e43\u0e2b\u0e49\u0e14\u0e39 .. \u0e02\u0e2d\u0e43\u0e2b\u0e49\u0e2a\u0e19\u0e38\u0e01\u0e04\u0e23\u0e31\u0e1a ^^<\/p>\n<hr \/>\n<h3>References<\/h3>\n<ol>\n<li>Kanchana Kanchanasut, Assoc. Prof., <em>Foundation of Programming<\/em>, Lecture notes, Asian Institute of Technology, May 1997.<\/li>\n<li>INRIA, <em>Caml Homepage<\/em>, <a href=\"http:\/\/caml.inria.fr\">http:\/\/caml.inria.fr<\/a><\/li>\n<li>Kitt Tientanopajai, Doctoral Student, <em>Objective-Caml Tutorial<\/em>, Lecture notes, Asian Institute of Technology, May 1999. URL: <a href=\"http:\/\/www.cs.ait.ac.th\/%7Ekitt\">http:\/\/www.cs.ait.ac.th\/~kitt<\/a><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>\u0e2b\u0e32\u0e01\u0e40\u0e23\u0e32\u0e14\u0e39 code \u0e02\u0e2d\u0e07\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21 \u0e40\u0e23\u0e32\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e40\u0e2b\u0e47\u0e19\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19 \u0e04\u0e33\u0e2a\u0e31\u0e48\u0e07 \u0e15\u0e31\u0e27\u0e41\u0e1b\u0e23 \u0e04\u0e48\u0e32\u0e04\u0e07\u0e17\u0e35\u0e48 \u0e04\u0e25\u0e32\u0e2a \u0e2d\u0e2d\u0e1a\u0e40\u0e08\u0e04 .. \u0e25\u0e2d\u0e07\u0e19\u0e36\u0e01\u0e46 \u0e14\u0e39\u0e41\u0e25\u0e49\u0e27 \u0e2a\u0e34\u0e48\u0e07\u0e40\u0e2b\u0e25\u0e48\u0e32\u0e19\u0e35\u0e49\u0e40\u0e1b\u0e47\u0e19\u0e41\u0e04\u0e48 \u0e15\u0e31\u0e27\u0e40\u0e25\u0e02 \u0e2b\u0e23\u0e37\u0e2d \u0e15\u0e31\u0e27\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d \u0e40\u0e17\u0e48\u0e32\u0e19\u0e31\u0e49\u0e19\u0e40\u0e2d\u0e07 ..\u0e1a\u0e32\u0e07\u0e04\u0e19\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e32\u0e22\u0e02\u0e2d\u0e07\u0e15\u0e31\u0e27\u0e2d\u0e31\u0e01\u0e29\u0e23\u0e23\u0e2b\u0e31\u0e2a ASCII &#8230; \u0e01\u0e47 OK \u0e16\u0e37\u0e2d\u0e44\u0e21\u0e48\u0e1c\u0e34\u0e14.. \u0e41\u0e15\u0e48\u0e16\u0e49\u0e32\u0e21\u0e2d\u0e07\u0e25\u0e36\u0e01\u0e46 \u0e2d\u0e35\u0e01\u0e2a\u0e31\u0e01\u0e19\u0e34\u0e14..\u0e40\u0e23\u0e32\u0e08\u0e30\u0e23\u0e39\u0e49\u0e27\u0e48\u0e32\u0e17\u0e35\u0e48\u0e08\u0e23\u0e34\u0e07\u0e41\u0e25\u0e49\u0e27\u0e21\u0e31\u0e19\u0e04\u0e37\u0e2d &#8220;\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c&#8221; \u0e2d\u0e30\u0e44\u0e23\u0e1a\u0e32\u0e07\u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e17\u0e35\u0e48\u0e41\u0e17\u0e19\u0e2b\u0e23\u0e37\u0e2d\u0e2a\u0e37\u0e48\u0e2d\u0e16\u0e36\u0e07\u0e04\u0e27\u0e32\u0e21\u0e2b\u0e21\u0e32\u0e22\u0e1a\u0e32\u0e07\u0e2d\u0e22\u0e48\u0e32\u0e07 \u0e2b\u0e23\u0e37\u0e2d\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e40\u0e23\u0e35\u0e22\u0e01\u0e44\u0e14\u0e49\u0e27\u0e48\u0e32\u0e21\u0e31\u0e19\u0e1a\u0e23\u0e23\u0e08\u0e38 information \u0e2d\u0e22\u0e39\u0e48\u0e02\u0e49\u0e32\u0e07\u0e43\u0e19 .. \u0e16\u0e49\u0e32\u0e40\u0e23\u0e32\u0e21\u0e2d\u0e07\u0e17\u0e38\u0e01\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c..\u0e07\u0e31\u0e49\u0e19\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e17\u0e35\u0e48\u0e41\u0e17\u0e49\u0e08\u0e23\u0e34\u0e07\u0e41\u0e25\u0e49\u0e27\u0e01\u0e47\u0e04\u0e37\u0e2d\u0e15\u0e31\u0e27 \u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e19\u0e31\u0e48\u0e19\u0e40\u0e2d\u0e07 .. \u0e19\u0e35\u0e48\u0e2d\u0e32\u0e08\u0e08\u0e30\u0e14\u0e39\u0e40\u0e1b\u0e47\u0e19 concept \u0e44\u0e1b\u0e2b\u0e19\u0e48\u0e2d\u0e22 .. \u0e41\u0e15\u0e48\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e33\u0e04\u0e31\u0e0d\u0e02\u0e2d\u0e07\u0e21\u0e31\u0e19\u0e2d\u0e22\u0e39\u0e48\u0e17\u0e35\u0e48\u0e27\u0e48\u0e32 \u0e2a\u0e31\u0e0d\u0e0d\u0e25\u0e31\u0e01\u0e29\u0e13\u0e4c\u0e40\u0e2b\u0e25\u0e48\u0e32\u0e19\u0e35\u0e49\u0e21\u0e31\u0e19\u0e17\u0e33\u0e07\u0e32\u0e19\u0e44\u0e14\u0e49 \u0e21\u0e31\u0e19\u0e19\u0e33\u0e44\u0e1b\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e44\u0e14\u0e49 \u0e43\u0e2b\u0e49\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e01\u0e31\u0e1a\u0e40\u0e23\u0e32\u0e44\u0e14\u0e49 .. \u0e2d\u0e37\u0e21\u0e21\u0e21.. \u0e17\u0e33\u0e44\u0e14\u0e49\u0e22\u0e31\u0e07\u0e44\u0e07\u0e01\u0e31\u0e19 .. \u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e19\u0e35\u0e49\u0e15\u0e49\u0e2d\u0e07\u0e22\u0e49\u0e2d\u0e19\u0e2d\u0e14\u0e35\u0e15\u0e01\u0e31\u0e19\u0e0b\u0e31\u0e01\u0e40\u0e25\u0e47\u0e01\u0e19\u0e49\u0e2d\u0e22.. \u0e22\u0e49\u0e2d\u0e19\u0e44\u0e1b\u0e0a\u0e48\u0e27\u0e07\u0e17\u0e35\u0e48\u0e43\u0e01\u0e25\u0e49\u0e46 \u0e08\u0e30\u0e21\u0e35\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e40\u0e04\u0e23\u0e37\u0e48\u0e2d\u0e07\u0e41\u0e23\u0e01\u0e40\u0e01\u0e34\u0e14\u0e02\u0e36\u0e49\u0e19\u0e21\u0e32\u0e1a\u0e19\u0e42\u0e25\u0e01 \u0e19\u0e31\u0e01\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e15\u0e48\u0e32\u0e07\u0e2a\u0e07\u0e2a\u0e31\u0e22\u0e27\u0e48\u0e32\u0e2d\u0e30\u0e44\u0e23\u0e40\u0e1b\u0e47\u0e19\u0e15\u0e31\u0e27\u0e01\u0e33\u0e2b\u0e19\u0e14\u0e27\u0e48\u0e32\u0e1f\u0e31\u0e07\u0e01\u0e4c\u0e0a\u0e31\u0e19 \u0e2b\u0e23\u0e37\u0e2d\u0e01\u0e32\u0e23\u0e1b\u0e23\u0e30\u0e21\u0e27\u0e25\u0e1c\u0e25\u0e40\u0e1e\u0e37\u0e48\u0e2d\u0e2b\u0e32\u0e04\u0e33\u0e15\u0e2d\u0e1a\u0e46 \u0e19\u0e36\u0e07\u0e2a\u0e32\u0e21\u0e32\u0e23\u0e16\u0e17\u0e33\u0e44\u0e14\u0e49\u0e08\u0e23\u0e34\u0e07 \u0e17\u0e33\u0e44\u0e21\u0e21\u0e31\u0e19\u0e16\u0e36\u0e07\u0e04\u0e33\u0e19\u0e27\u0e13\u0e44\u0e14\u0e49 \u0e2d\u0e30\u0e44\u0e23\u0e04\u0e37\u0e2d\u0e2a\u0e34\u0e48\u0e07\u0e17\u0e35\u0e48\u0e04\u0e33\u0e19\u0e27\u0e13\u0e44\u0e14\u0e49 &hellip; <a href=\"https:\/\/kitty.in.th\/index.php\/articles\/lambda-calculus-and-functional-languages\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">\u0e41\u0e19\u0e30\u0e19\u0e33 Lambda Calculus \u0e41\u0e25\u0e30 Functional Languages<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":6157,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6254","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/pages\/6254","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/comments?post=6254"}],"version-history":[{"count":13,"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/pages\/6254\/revisions"}],"predecessor-version":[{"id":6306,"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/pages\/6254\/revisions\/6306"}],"up":[{"embeddable":true,"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/pages\/6157"}],"wp:attachment":[{"href":"https:\/\/kitty.in.th\/index.php\/wp-json\/wp\/v2\/media?parent=6254"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}