Newest at the top
2024-09-30 17:30:07 +0200 | <Inst> | is that why, since if / case compiles to case foo of True; False in core |
2024-09-30 17:29:43 +0200 | <Inst> | iirc function equality is a complete nightmare to deal with |
2024-09-30 17:29:17 +0200 | <Inst> | or in other words, why? |
2024-09-30 17:28:58 +0200 | <ski> | yes |
2024-09-30 17:28:39 +0200 | <Inst> | or in other words, haskell can only match on fully applied data constructors |
2024-09-30 17:27:54 +0200 | <ski> | `False' is a data constructor that is not a function |
2024-09-30 17:27:40 +0200 | <ski> | (and using `Left {}' doesn't help with this) |
2024-09-30 17:27:30 +0200 | <Inst> | yeah I thought it was a weird exception that'd allow me to match on functions since data constructosr are functions |
2024-09-30 17:27:17 +0200 | <ncf> | consider foo @Bool (bool (Left True) (Right False)) |
2024-09-30 17:27:15 +0200 | <ski> | yea, that too |
2024-09-30 17:27:01 +0200 | <ncf> | your match isn't complete, if anything |
2024-09-30 17:26:52 +0200 | <ski> | each data constructor pattern must be a data constructor fully applied to patterns corresponding to all the component arguments of the data constructor |
2024-09-30 17:26:20 +0200 | <Rembane> | Inst: Try Left{} instead |
2024-09-30 17:26:07 +0200 | <ski> | you can't match on functions with data constructors |
2024-09-30 17:25:54 +0200 | <Inst> | should Haskell accept this? |
2024-09-30 17:25:20 +0200 | <Inst> | https://paste.tomsmeding.com/ZFG0CItc |
2024-09-30 17:23:54 +0200 | <Inst> | why doesn't Haskell accept this? |
2024-09-30 17:21:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-09-30 17:21:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-09-30 17:20:56 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
2024-09-30 17:15:55 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-09-30 17:07:15 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-09-30 16:45:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-30 16:40:50 +0200 | ljdarj1 | ljdarj |
2024-09-30 16:40:49 +0200 | aforemny | (~aforemny@i59F4C7BB.versanet.de) (Ping timeout: 265 seconds) |
2024-09-30 16:40:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-30 16:40:22 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd4:700:eda4:904a:ed7b:86ce) aforemny |
2024-09-30 16:39:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
2024-09-30 16:38:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-30 16:32:17 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-09-30 16:28:49 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-09-30 16:21:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-30 16:20:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2024-09-30 16:13:07 +0200 | Guest9426 | (~User@103.182.161.2) (Quit: Client closed) |
2024-09-30 16:10:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-30 16:05:09 +0200 | <Guest9426> | Aight cheers I'll go take a look |
2024-09-30 16:03:54 +0200 | <opqdonut> | Guest9426: https://haskell.mooc.fi is a fairly up-to-date course on the basics |
2024-09-30 16:02:43 +0200 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
2024-09-30 16:02:43 +0200 | <ski> | @where CIS194 |
2024-09-30 16:02:05 +0200 | <Guest9426> | Can someone recommend a good learning resource to start learning haskell since there seems to be way too many to choose from and a lot of them might be outdated |
2024-09-30 16:01:40 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 265 seconds) |
2024-09-30 16:01:25 +0200 | spew | (~spew@201.141.99.170) spew |
2024-09-30 16:00:22 +0200 | Guest9426 | (~User@103.182.161.2) |
2024-09-30 16:00:03 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-09-30 15:59:52 +0200 | Yesman | (~Yesman@103.182.161.2) (Client Quit) |
2024-09-30 15:58:11 +0200 | Yesman | (~Yesman@103.182.161.2) |
2024-09-30 15:54:24 +0200 | Shires | (~Shires@81.170.22.200) () |
2024-09-30 15:53:23 +0200 | Shires | (~Shires@81.170.22.200) |
2024-09-30 15:43:12 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-09-30 15:42:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |