Logs: liberachat/#haskell
| 2021-08-08 00:51:30 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 240 seconds) |
| 2021-08-08 00:51:46 | → | pe200012 joins (~pe200012@218.107.49.28) |
| 2021-08-08 00:58:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-08 01:00:29 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-08 01:05:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-08 01:12:42 | × | xff0x quits (~xff0x@2001:1a81:5329:ea00:7c78:a917:7a91:b7c4) (Ping timeout: 240 seconds) |
| 2021-08-08 01:14:47 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-08-08 01:14:58 | → | xff0x joins (~xff0x@2001:1a81:533f:2500:e6ab:58ee:e458:ff3a) |
| 2021-08-08 01:15:45 | <dsal> | euouae: Let me know if you want some help conceiving of properties. It's a distinct skill. e.g. your `gameOver` type function signals `Won` forAll cases where all letters have been guessed. There's a library called hedgehog-corpus that is useful for arbitrary string inputs. |
| 2021-08-08 01:17:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-08 01:28:04 | × | euouae quits (~euouae@user/euouae) (Ping timeout: 246 seconds) |
| 2021-08-08 01:35:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-08 01:39:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-08 01:46:21 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-08 01:46:28 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-f514-c7d8-9e18-a2d5.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-08 01:52:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-08 01:58:47 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-08-08 01:58:56 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-08-08 02:07:54 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-08-08 02:13:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-08 02:13:50 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2021-08-08 02:14:37 | → | spruit11_ joins (~quassel@2a02:a467:ccd6:1:55d2:a8d9:e00b:3a3a) |
| 2021-08-08 02:15:07 | × | pe200012 quits (~pe200012@218.107.49.28) (Ping timeout: 245 seconds) |
| 2021-08-08 02:15:14 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 2021-08-08 02:15:59 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:d1df:9f45:a279:94ce) (Ping timeout: 258 seconds) |
| 2021-08-08 02:16:02 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-08 02:16:09 | <euouae> | Hello |
| 2021-08-08 02:16:30 | <euouae> | I get issues with stack and `stack ghci` related to Paths_* stuff |
| 2021-08-08 02:16:37 | <euouae> | In every project I make, what is that error about? |
| 2021-08-08 02:18:08 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-08-08 02:19:27 | <dsal> | What error? |
| 2021-08-08 02:19:36 | <dsal> | Are you using nix |
| 2021-08-08 02:19:37 | <dsal> | ? |
| 2021-08-08 02:20:24 | <euouae> | /msg tomsmeding Can you delete this paste please? https://paste.tomsmeding.com/PY3P7tsP I accidentally pasted my full name |
| 2021-08-08 02:20:27 | <euouae> | Ah great |
| 2021-08-08 02:20:28 | <euouae> | lol |
| 2021-08-08 02:21:01 | <dsal> | selfdox |
| 2021-08-08 02:21:04 | <koz> | This is a slightly odd one. Is there a conversion between Ordering and 8-bit numbers (signed or unsigned, I don't really mind) such that we can define a branchless equivalent to <> on Orderings on said numbers? |
| 2021-08-08 02:21:19 | <euouae> | Anyway deal check that dpaste if you want to see the error I'm getting dsal |
| 2021-08-08 02:21:38 | <dsal> | > (subtract 1) . fromEnum $ LT |
| 2021-08-08 02:21:39 | <lambdabot> | -1 |
| 2021-08-08 02:21:47 | × | td_ quits (~td@94.134.91.140) (Ping timeout: 245 seconds) |
| 2021-08-08 02:21:48 | <dsal> | > (subtract 1) . fromEnum <$> [LT .. ] |
| 2021-08-08 02:21:49 | <lambdabot> | [-1,0,1] |
| 2021-08-08 02:21:53 | <koz> | (meaning that if I take two Orderings x and y, convert them, then do this operation and convert back, it should be the same as x <> y) |
| 2021-08-08 02:22:52 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-08-08 02:22:52 | <dsal> | euouae: Oh. I just ignore those warnings. |
| 2021-08-08 02:23:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-08 02:23:16 | <euouae> | deal but note that I don't get the symbols |
| 2021-08-08 02:23:25 | <euouae> | dsal: For example `:t hiddenWord` like I do |
| 2021-08-08 02:23:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-08 02:23:28 | <dsal> | There are multiple targets in your project so there's ambiguity. |
| 2021-08-08 02:23:39 | <euouae> | the other target being `tests`? |
| 2021-08-08 02:23:49 | <dsal> | Are those symbols in Main? |
| 2021-08-08 02:23:54 | <euouae> | in Lib |
| 2021-08-08 02:23:54 | → | td_ joins (~td@94.134.91.249) |
| 2021-08-08 02:24:08 | <dsal> | Are they exported? |
| 2021-08-08 02:24:12 | <dsal> | :browse Lib |
| 2021-08-08 02:24:14 | <euouae> | Oops |
| 2021-08-08 02:24:38 | <euouae> | That was my issue, I thought maybe the warning was the issue |
| 2021-08-08 02:26:10 | × | Melantha quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-08-08 02:30:08 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-08 02:30:08 | FinnElija | is now known as Guest19 |
| 2021-08-08 02:30:08 | × | Guest19 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2021-08-08 02:30:08 | finn_elija | is now known as FinnElija |
| 2021-08-08 02:35:15 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-08-08 02:36:21 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-08 02:44:53 | × | euouae quits (~euouae@user/euouae) (Quit: Ping timeout (120 seconds)) |
| 2021-08-08 02:46:11 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-08 02:51:48 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-08 02:52:24 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-08 02:56:30 | × | euouae quits (~euouae@user/euouae) (Quit: Ping timeout (120 seconds)) |
| 2021-08-08 02:57:37 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-08-08 03:00:20 | → | damxsa joins (~damx@2001:16a2:cfd8:e500:40e7:6a69:a396:39e9) |
| 2021-08-08 03:07:32 | × | MQ-17J quits (~MQ-17J@8.21.10.94) (Ping timeout: 272 seconds) |
| 2021-08-08 03:11:15 | × | damxsa quits (~damx@2001:16a2:cfd8:e500:40e7:6a69:a396:39e9) (Quit: Leaving) |
| 2021-08-08 03:11:18 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-08 03:12:30 | × | lbseale quits (~lbseale@user/ep1ctetus) (Quit: Leaving) |
| 2021-08-08 03:15:42 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-08 03:17:18 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-08 03:18:00 | <euouae> | Here's my hangman game although I'm not satisfied with this one https://paste.tomsmeding.com/EIfcTeUc |
| 2021-08-08 03:18:20 | <euouae> | It is too hack-y, I'd rather have more data instead of functions such as `isWon` |
| 2021-08-08 03:18:36 | <euouae> | and all these conditions in the game loop and character guessing function |
| 2021-08-08 03:20:31 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-08-08 03:24:05 | <euouae> | Yeah this is pointless to test too. I should try to write something way more complicated |
| 2021-08-08 03:27:06 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
| 2021-08-08 03:28:23 | × | alx741 quits (~alx741@186.178.108.253) (Quit: alx741) |
| 2021-08-08 03:28:24 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-08-08 03:33:54 | <jle`> | i love haskell hangman implementations |
| 2021-08-08 03:34:46 | <euouae> | I wonder if I can write a hangman implementation using banana |
| 2021-08-08 03:34:54 | <euouae> | reactive-banana* |
| 2021-08-08 03:34:57 | <jle`> | euouae: one thing you can do is keep a set of letters-to-guess |
| 2021-08-08 03:35:03 | <jle`> | and delete items as they are guessed |
| 2021-08-08 03:35:10 | <jle`> | then when your letters-to-guess set is empty, the game is won |
| 2021-08-08 03:35:18 | <jle`> | basically invert your 'guesses' |
| 2021-08-08 03:35:53 | <jle`> | definitely not a necessary change, but i'm guessing this is the sort of thing you are looking for if you want more "data-encoded" logic than function-driven |
| 2021-08-08 03:36:14 | <jle`> | where the results are self-evident based on the structure of the data, instead of having to write a function with business logic |
| 2021-08-08 03:36:25 | <euouae> | One thing I did in a previous implementation was to keep a "previousState" which encoded what happened at the last iteration |
| 2021-08-08 03:36:41 | <euouae> | so a newly-created game would have "New" and if there was a wrong guess, it'd be "WrongGuess", etc |
| 2021-08-08 03:37:38 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 258 seconds) |
All times are in UTC.