Logs: freenode/#haskell
| 2021-03-16 05:02:55 | <koz_> | So if you have a Gen a, you can get Gen [a] using it. |
| 2021-03-16 05:03:36 | <bobweb> | OK, is the '<>' code or a line break? |
| 2021-03-16 05:03:41 | <koz_> | Code. |
| 2021-03-16 05:03:52 | <koz_> | It's the same as (++) in this case. |
| 2021-03-16 05:03:59 | <koz_> | So you can use that instead if you prefer. |
| 2021-03-16 05:04:34 | <bobweb> | I see. OK, I'll try your recommendation. Thank you. |
| 2021-03-16 05:05:10 | <koz_> | Generally, 'suchThat' isn't the best idea, because it's a pretty brute-force approach. |
| 2021-03-16 05:05:18 | <koz_> | It's 'make whatever, then hope it fits, if not, try again'. |
| 2021-03-16 05:05:23 | <koz_> | And you might be trying again _a lot_. |
| 2021-03-16 05:05:54 | × | mixfix41 quits (~user@unaffiliated/mixfix41) (Read error: Connection reset by peer) |
| 2021-03-16 05:05:59 | × | drbean quits (~drbean@TC210-63-209-153.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-16 05:06:12 | <bobweb> | LOL, OK. Yes, I want elegant and beautiful Haskell code for sure! |
| 2021-03-16 05:10:40 | <qih> | charukiewicz: Thanks for the tip. |
| 2021-03-16 05:11:15 | × | bobweb quits (ac381148@172.56.17.72) (Quit: Connection closed) |
| 2021-03-16 05:12:38 | → | bobweb joins (ac3a17de@172.58.23.222) |
| 2021-03-16 05:14:05 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-16 05:15:11 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-16 05:15:32 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-16 05:15:37 | <bobweb> | @koz I put this: stringGen = liftArbitrary (elem (['a' .. 'z'] <> ['A'..'Z'])) and got this error: https://paste.tomsmeding.com/NtJgPlob I know it's something simple but I am unfamiliar with lifting... |
| 2021-03-16 05:15:37 | <lambdabot> | Maybe you meant: yow do |
| 2021-03-16 05:16:17 | <koz_> | Ah, yeah, that's probably because I used the wrong function. :P |
| 2021-03-16 05:16:22 | <koz_> | It's got nothing to do with lifting. |
| 2021-03-16 05:16:38 | <bobweb> | Ok |
| 2021-03-16 05:16:58 | <koz_> | It should be 'elements', not 'elem'. |
| 2021-03-16 05:17:42 | <bobweb> | Ah, right. I originally used elements and moved to elem when that didn't work. OK, thanks. |
| 2021-03-16 05:19:34 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-16 05:20:42 | <bobweb> | @koz Yup, that works! Thank you. |
| 2021-03-16 05:20:43 | <lambdabot> | Maybe you meant: yow do |
| 2021-03-16 05:26:18 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Ping timeout: 245 seconds) |
| 2021-03-16 05:27:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-16 05:29:03 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-16 05:33:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-16 05:36:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-16 05:39:22 | × | bobweb quits (ac3a17de@172.58.23.222) (Ping timeout: 240 seconds) |
| 2021-03-16 05:40:34 | → | molehillish joins (~molehilli@ip98-167-226-26.ph.ph.cox.net) |
| 2021-03-16 05:42:13 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-16 05:42:58 | × | jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 245 seconds) |
| 2021-03-16 05:44:59 | → | aggin joins (~ecm@103.88.87.37) |
| 2021-03-16 05:48:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-16 05:49:33 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Quit: farn) |
| 2021-03-16 05:50:52 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-16 05:53:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-16 05:53:39 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-sowvivaeecbildoj) (Quit: Connection closed for inactivity) |
| 2021-03-16 05:54:38 | × | tabemann quits (~travisb@2600:1700:7990:24e0:101f:ae79:c83b:6c90) (Ping timeout: 264 seconds) |
| 2021-03-16 05:59:24 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-16 05:59:40 | × | Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-16 06:00:03 | × | cobreadmonster quits (499efd7f@haskell/developer/breadmonster) (Quit: Connection closed) |
| 2021-03-16 06:01:30 | × | benkolera quits (uid285671@gateway/web/irccloud.com/x-dasgfjgzoqobrquc) (Quit: Connection closed for inactivity) |
| 2021-03-16 06:04:38 | × | elusive quits (~Jeanne-Ka@static-198-54-134-171.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 2021-03-16 06:06:01 | → | travisb joins (~travisb@2600:1700:7990:24e0:101f:ae79:c83b:6c90) |
| 2021-03-16 06:07:05 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-dbopwiciasztapdp) (Quit: Connection closed for inactivity) |
| 2021-03-16 06:08:48 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 246 seconds) |
| 2021-03-16 06:09:47 | × | aggin quits (~ecm@103.88.87.37) (Quit: WeeChat 3.0.1) |
| 2021-03-16 06:10:29 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-16 06:12:18 | × | carlomagno quits (~cararell@148.87.23.13) (Ping timeout: 246 seconds) |
| 2021-03-16 06:16:08 | × | dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 2021-03-16 06:16:43 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-16 06:19:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-16 06:19:17 | → | dave_uy joins (~david@108.61.193.26) |
| 2021-03-16 06:22:19 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 2021-03-16 06:22:50 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 2021-03-16 06:24:14 | ← | rickygee parts (~rickygee@236-53-74-65.gci.net) () |
| 2021-03-16 06:24:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-16 06:26:53 | → | guest316 joins (~user@49.5.6.87) |
| 2021-03-16 06:27:03 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-16 06:31:00 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-16 06:31:34 | × | Guest11557 quits (~ccallahan@185.163.110.108) (Remote host closed the connection) |
| 2021-03-16 06:32:03 | → | malumore joins (~malumore@151.62.119.219) |
| 2021-03-16 06:32:40 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-16 06:32:59 | × | molehillish quits (~molehilli@ip98-167-226-26.ph.ph.cox.net) (Remote host closed the connection) |
| 2021-03-16 06:34:34 | × | klixto quits (~klixto@130.220.8.139) (Quit: WeeChat 3.0.1) |
| 2021-03-16 06:34:55 | → | aki_ joins (~aki_@185.204.1.185) |
| 2021-03-16 06:35:09 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-03-16 06:35:56 | <guest316> | why fixed-point would create a loop? |
| 2021-03-16 06:37:46 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-16 06:40:04 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 2021-03-16 06:40:34 | → | jayok joins (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 2021-03-16 06:41:20 | <olligobber> | guest316, https://en.wikipedia.org/wiki/Fixed-point_combinator#Usage_in_programming |
| 2021-03-16 06:42:45 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-16 06:44:12 | <olligobber> | I guess a loop is something like `while check(state) { state <- update(state) }' |
| 2021-03-16 06:45:02 | <olligobber> | which can be written recursively as `f state = if check state then f (update state) else state` |
| 2021-03-16 06:45:08 | → | gaff joins (~user@49.207.217.94) |
| 2021-03-16 06:45:41 | <olligobber> | which isn't a proper combinator because it contains f in the definition of f, so you use the fix point to write |
| 2021-03-16 06:45:57 | <gaff> | hi -- is there a way to to point cabal to fetch packages from stackage lts in config file |
| 2021-03-16 06:45:59 | <gaff> | ? |
| 2021-03-16 06:46:08 | <olligobber> | `f = fix \g state -> if check state then g (update state) else state' |
| 2021-03-16 06:47:11 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-16 06:47:15 | × | jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Quit: Leaving) |
| 2021-03-16 06:47:22 | <gaff> | appreciate any help |
| 2021-03-16 06:48:12 | <olligobber> | gaff, I'm fairly new to cabal, but I think if your package relies on a package then it will automatically fetch it from stackage? |
| 2021-03-16 06:48:37 | <guest316> | olligobber: call a fixed-point inside a Cont, why it would create a loop? |
| 2021-03-16 06:48:54 | <olligobber> | guest316, what's a Cont? |
| 2021-03-16 06:49:18 | <guest316> | olligobber: https://www.vex.net/~trebla/haskell/cont-monad.xhtml |
| 2021-03-16 06:49:24 | <guest316> | olligobber: Cont Monad |
| 2021-03-16 06:49:34 | <gaff> | i am not sure what you are saying. cabal, by default, pulls packages from hackage |
| 2021-03-16 06:49:38 | <guest316> | that Setjmp |
| 2021-03-16 06:49:53 | <olligobber> | gaff, oh, I'm wrong, someone else needs to help you |
| 2021-03-16 06:50:05 | <gaff> | instead, i want cabal to pull packages from stackage LTS |
| 2021-03-16 06:50:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2021-03-16 06:50:26 | <guest316> | setjmp is Cont action, which wrapped c's fixed-point |
All times are in UTC.