Logs: freenode/#haskell
| 2021-03-04 00:06:29 | × | vk3wtf quits (~doc@115-64-102-158.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2021-03-04 00:06:41 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-04 00:07:04 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds) |
| 2021-03-04 00:07:13 | × | xff0x quits (~xff0x@2001:1a81:53fc:b400:9e6f:7ec7:a06c:c48c) (Ping timeout: 258 seconds) |
| 2021-03-04 00:07:26 | ← | hendursa1 parts (~weechat@gateway/tor-sasl/hendursaga) () |
| 2021-03-04 00:07:55 | → | xff0x joins (~xff0x@2001:1a81:53fc:b400:1709:f370:e50:9a12) |
| 2021-03-04 00:08:27 | → | pair joins (~fruitsale@192-0-213-82.cpe.teksavvy.com) |
| 2021-03-04 00:08:32 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-04 00:09:16 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds) |
| 2021-03-04 00:10:14 | ← | pair parts (~fruitsale@192-0-213-82.cpe.teksavvy.com) () |
| 2021-03-04 00:11:15 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds) |
| 2021-03-04 00:14:13 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-03-04 00:14:31 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-04 00:14:57 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-03-04 00:15:28 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-04 00:16:59 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-04 00:19:38 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:48a4:c618:6af2:de72) |
| 2021-03-04 00:20:38 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-04 00:21:23 | → | vk3wtf joins (~doc@115-64-102-158.tpgi.com.au) |
| 2021-03-04 00:21:32 | → | Tario joins (~Tario@200.119.187.14) |
| 2021-03-04 00:22:11 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-04 00:22:44 | → | JASTH joins (~Android@78-68-99-187-no2810.tbcn.telia.com) |
| 2021-03-04 00:22:53 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-0000-0000-0000-0c67.res6.spectrum.com) (Quit: WeeChat 3.0) |
| 2021-03-04 00:26:46 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:9f47) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-04 00:27:40 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-ztatnfztaowajlyf) |
| 2021-03-04 00:28:55 | × | JASTH quits (~Android@78-68-99-187-no2810.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-03-04 00:32:38 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ztiomawifornmkpr) |
| 2021-03-04 00:35:57 | × | Tario quits (~Tario@200.119.187.14) (Ping timeout: 264 seconds) |
| 2021-03-04 00:36:02 | → | gitgoood joins (~gitgood@82-132-217-228.dab.02.net) |
| 2021-03-04 00:36:55 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) |
| 2021-03-04 00:37:16 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:9f47) |
| 2021-03-04 00:39:04 | × | gitgood quits (~gitgood@82-132-216-44.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-04 00:39:18 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-04 00:39:20 | → | emmanuel_erc joins (~user@cpe-74-71-106-64.nyc.res.rr.com) |
| 2021-03-04 00:40:14 | <romesrf> | hey, i'm trying to write a function sort of "satisfyPredicate" |
| 2021-03-04 00:40:20 | <romesrf> | satisfyPredicate predicate x = if predicate x then x else satisfyPredicate predicate (x+1) |
| 2021-03-04 00:40:50 | <romesrf> | this works, for example, if i call satisfyPredicate (>200) 1, i'll get 201 |
| 2021-03-04 00:41:41 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-04 00:41:51 | <romesrf> | however, i'm not sure passing an accumulator value to the function is a clean haskell practice... feels kind of off |
| 2021-03-04 00:42:27 | <romesrf> | what would be a correct way to get this function "satisfyPredicate" to receive a predicate only, and to output the first natural number to satisfy it |
| 2021-03-04 00:42:32 | <romesrf> | ? |
| 2021-03-04 00:43:49 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-03-04 00:44:37 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-04 00:44:55 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-04 00:45:38 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-04 00:45:49 | <monochrom> | It is alright, I don't think there is anything bad about it. |
| 2021-03-04 00:46:56 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-04 00:47:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:48a4:c618:6af2:de72) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-04 00:47:59 | <monochrom> | Another style is: head (filter (>200) [0..]). But don't worry about it too much, either is fine. Learn both. |
| 2021-03-04 00:48:26 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-04 00:48:55 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-04 00:49:47 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-04 00:49:58 | <xsperry> | as a general recommendation, when you want to avoid passing initial value, one option is to make a helper function (usually within the function that calls it) |
| 2021-03-04 00:52:34 | × | m0rphism1 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 245 seconds) |
| 2021-03-04 00:54:46 | × | redmp quits (~redmp@172.58.35.249) (Ping timeout: 276 seconds) |
| 2021-03-04 00:55:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-04 00:56:33 | <xsperry> | I like being able to pass initial value in this case though. and you can make the function more general by accepting Enum and not Num. ie: |
| 2021-03-04 00:56:53 | <xsperry> | > let satisfyPredicate2 f init = head $ filter f [init..] in satisfyPredicate2 isAlpha '\0' |
| 2021-03-04 00:56:56 | <lambdabot> | 'A' |
| 2021-03-04 00:57:53 | → | JASTH joins (~Android@78-68-99-187-no2810.tbcn.telia.com) |
| 2021-03-04 00:58:24 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-03-04 00:58:52 | × | JASTH quits (~Android@78-68-99-187-no2810.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-03-04 01:00:50 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-04 01:02:28 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-04 01:03:19 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-04 01:04:23 | <romesrf> | monochrom: oh, thank you vmuch |
| 2021-03-04 01:04:34 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-04 01:05:07 | <romesrf> | xsperry: interesting, i'm not sure i understand but i'll save this message for when i do :) |
| 2021-03-04 01:05:14 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-04 01:05:35 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 600 seconds) |
| 2021-03-04 01:06:30 | <xsperry> | rom1504, [..] is syntax sugar for enumFrom/enumFromTo. that's where the Enum constraint comes from |
| 2021-03-04 01:06:34 | <xsperry> | romesrf* |
| 2021-03-04 01:07:13 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-04 01:07:17 | <xsperry> | > enumFrom 1 |
| 2021-03-04 01:07:19 | <lambdabot> | [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... |
| 2021-03-04 01:07:22 | <xsperry> | > enumFrom 'a' |
| 2021-03-04 01:07:24 | <lambdabot> | "abcdefghijklmnopqrstuvwxyz{|}~\DEL\128\129\130\131\132\133\134\135\136\137\... |
| 2021-03-04 01:07:31 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) (Remote host closed the connection) |
| 2021-03-04 01:08:45 | <ephemient> | > enumFromBy 'A' 'a' |
| 2021-03-04 01:08:47 | <lambdabot> | error: |
| 2021-03-04 01:08:48 | <lambdabot> | • Variable not in scope: enumFromBy :: Char -> Char -> t |
| 2021-03-04 01:08:48 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-03-04 01:08:49 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-04 01:08:52 | <ephemient> | > enumFromThen 'A' 'a' |
| 2021-03-04 01:08:54 | <lambdabot> | "Aa\129\161\193\225\257\289\321\353\385\417\449\481\513\545\577\609\641\673\... |
| 2021-03-04 01:09:07 | <ephemient> | oh right Char is bigger than Byte |
| 2021-03-04 01:09:59 | → | redmp joins (~redmp@172.58.35.249) |
| 2021-03-04 01:11:17 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-04 01:11:28 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-04 01:11:29 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-04 01:11:48 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-04 01:12:50 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-04 01:13:35 | → | ryanbooker joins (uid4340@gateway/web/irccloud.com/x-tduhrfkkobkcibnm) |
| 2021-03-04 01:15:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 01:16:33 | × | ryanbooker quits (uid4340@gateway/web/irccloud.com/x-tduhrfkkobkcibnm) (Client Quit) |
| 2021-03-04 01:17:39 | → | ryanbooker joins (uid4340@gateway/web/irccloud.com/x-rnkpnanajeurascu) |
| 2021-03-04 01:18:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-04 01:19:28 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-04 01:20:14 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-04 01:20:38 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
All times are in UTC.