Lambda Calculus
Check-in [b281f9d74f]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:tweaks
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:b281f9d74f11ec583553be0d8c7c6103b6f0e0b7
User & Date: bill 2011-12-07 02:43:15
Context
2011-12-07
15:07
fixed slides based on Shlomi's comments check-in: 296cbf459c user: bill tags: trunk
02:43
tweaks check-in: b281f9d74f user: bill tags: trunk
01:53
cleaned up list constructors check-in: c562cd4027 user: bill tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to slides.html.

1276
1277
1278
1279
1280
1281
1282
1283









1284
1285
1286
1287
1288
1289
1290
1291

1292
1293
1294
1295
1296
1297
1298
....
1300
1301
1302
1303
1304
1305
1306
1307

1308
1309
1310
1311
1312
1313
1314
....
1320
1321
1322
1323
1324
1325
1326
1327

1328
1329
1330
1331
1332
1333
1334
....
1347
1348
1349
1350
1351
1352
1353
1354

1355
1356
1357
1358
1359
1360
1361
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* exception handling









***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* exception handling


Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* exception handling


Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* exception handling


Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* exception handling


Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")







|
>
>
>
>
>
>
>
>
>







|
>







 







|
>







 







|
>







 







|
>







1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
....
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
....
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
....
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
* (Uh, other stuff...)
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
* (Uh, other stuff...)

Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
* (Uh, other stuff...)

Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
* (Uh, other stuff...)

Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")
................................................................................
***
#Monads

* monads let you sequence functional operations
 * let you appear to program imperatively (with the right syntactic sugar)
 * but actually, you are programming functionally
* interact smoothly with external environments, like IO and window systems
* handle exceptions
* (Uh, other stuff...)

Haskell example:

    do
      printStr "Please enter your name: "
      name <- getLine
      name <- return (name ++ " Jr")