Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 353 354 355 356 357 358 359 360 361 362 363 .. 5022
— 502,152 events total
2020-10-01 18:59:23 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 18:59:25 <ski> hm ?
2020-10-01 18:59:27 → mav1 joins (~mav@83.135.139.36)
2020-10-01 18:59:38 <maerwald> reordering pattern matches
2020-10-01 18:59:53 <ski> they're disjoint, here
2020-10-01 18:59:55 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-01 18:59:57 <maerwald> yes
2020-10-01 19:00:07 <ski> so reordering should be fine
2020-10-01 19:00:08 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 19:00:13 <maerwald> in this case yeah
2020-10-01 19:00:53 <ski> (i wasn't suggesting doing it generally .. in some cases, i'd prefer having `Just' before `Nothing' :)
2020-10-01 19:01:13 <maerwald> but it was rather referring to evaluation order
2020-10-01 19:01:17 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-01 19:01:17 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-01 19:01:17 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-01 19:01:25 × Guest18 quits (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed)
2020-10-01 19:01:28 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-10-01 19:01:48 <maerwald> I'm just making conversation, bc it's so quiet here
2020-10-01 19:02:02 <ski> you're still forcing the same thing, whether you're conceptually first matching with `Nothing', and then `Just x', or else the other way around
2020-10-01 19:02:23 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-10-01 19:02:24 <maerwald> right, but you could add a guard
2020-10-01 19:02:48 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-01 19:03:24 × xcmw quits (~textual@dyn-72-33-0-89.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 19:03:25 <ski> yes, of course. then one probably couldn't reorder
2020-10-01 19:04:28 <maerwald> also, I'm starting to dislike the "one element per line" list formatting
2020-10-01 19:04:35 <maerwald> It's so much noise
2020-10-01 19:04:47 × ubert quits (~Thunderbi@178.115.129.189.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-01 19:04:58 <ski> pack related ones on the same line ?
2020-10-01 19:05:07 <maerwald> but if you care about minimal diffs, it's maybe better
2020-10-01 19:05:15 <ski> like, ending with the one ending with `\n'
2020-10-01 19:05:49 <maerwald> that said, britneys excessive newlining might actually play well with that property of minimal diffs
2020-10-01 19:06:04 <ski> (moving those spaces to the text starting the next line, i suppose)
2020-10-01 19:08:40 <maerwald> we need AI for formatting
2020-10-01 19:08:41 <ski> oh, you already have a `maybe' in there. the formatting of the call looks weird :)
2020-10-01 19:09:05 → isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-10-01 19:09:20 <maerwald> yeah, hence pattern matching is much clearer
2020-10-01 19:09:33 <ski> i guess it's doing a `maybeToList' and a `map'
2020-10-01 19:10:12 <maerwald> and in fact... I'd say I prefer a pattern match over composition (as long as nesting level is 1)
2020-10-01 19:10:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-01 19:10:56 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-01 19:11:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 19:12:08 <frdg> does anyone happen to know how to run code when a session dies with yesod? For example when the session dies I want to print "hello".
2020-10-01 19:12:40 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2020-10-01 19:14:04 × bobey88 quits (~bobey@72-172-218-188.fidnet.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-01 19:15:05 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-10-01 19:15:34 × kuribas quits (~user@ptr-25vy0i78se1i01mm5ri.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-01 19:16:28 hackage kind-generics-th 0.2.2.1 - Template Haskell support for generating `GenericK` instances https://hackage.haskell.org/package/kind-generics-th-0.2.2.1 (AlejandroSerrano)
2020-10-01 19:18:12 → conal joins (~conal@64.71.133.70)
2020-10-01 19:18:41 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-01 19:20:32 → nwoob joins (~apple@unaffiliated/nwoob)
2020-10-01 19:20:54 × Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-10-01 19:20:57 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-01 19:22:10 <nwoob> Haskell type system is more expressive.. What does this actually mean? How can I learn more about what is expressive type system and how haskell type system is more expressive then say for example typescript
2020-10-01 19:22:26 → bobey88 joins (~bobey@72-172-218-188.fidnet.com)
2020-10-01 19:22:31 → oab joins (~oab@214.92-220-221.customer.lyse.net)
2020-10-01 19:25:38 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-10-01 19:26:50 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-01 19:26:53 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2020-10-01 19:26:55 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-01 19:27:47 → mahene joins (~mahene@2a02:8109:86c0:8d68:5400:2bfd:d746:732c)
2020-10-01 19:27:49 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-01 19:28:49 → amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-10-01 19:29:58 × todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 260 seconds)
2020-10-01 19:31:25 × mav1 quits (~mav@83.135.139.36) (Ping timeout: 264 seconds)
2020-10-01 19:31:28 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-01 19:32:05 → steve[m]2 joins (stevetrout@gateway/shell/matrix.org/x-pdxujagzftttmnst)
2020-10-01 19:33:49 × alp quits (~alp@2a01:e0a:58b:4920:55a8:f0a:ee5d:168a) (Ping timeout: 272 seconds)
2020-10-01 19:36:22 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 260 seconds)
2020-10-01 19:36:41 × oab quits (~oab@214.92-220-221.customer.lyse.net) (Quit: oab)
2020-10-01 19:39:09 × tbreslein quits (~tbreslein@2a02:8108:140:44f8::901) (Remote host closed the connection)
2020-10-01 19:39:12 × acidjnk_new quits (~acidjnk@p200300d0c72378548d78178f4051abec.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2020-10-01 19:40:13 × vivan_ quits (b5aa4b5c@181.170.75.92) (Remote host closed the connection)
2020-10-01 19:40:32 <frdg> is left recursion relevant in Haskell?
2020-10-01 19:40:54 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-01 19:45:17 → chaosmasttter joins (~chaosmast@p200300c4a711ea01117f5b872fbc48e3.dip0.t-ipconnect.de)
2020-10-01 19:45:26 × bobey88 quits (~bobey@72-172-218-188.fidnet.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-01 19:46:42 × geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection)
2020-10-01 19:48:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-01 19:51:48 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-01 19:53:10 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-01 19:54:41 → shatriff joins (~vitaliish@haunt.prize.volia.net)
2020-10-01 19:55:53 <ski> @tell frdg "is left recursion relevant in Haskell?" -- can be, for parsing. (e.g. recursive-descent top-down parsing, often using parsing combinator libraries. or bottom-up `yacc'-like parser generators like `happy')
2020-10-01 19:55:53 <lambdabot> Consider it noted.
2020-10-01 19:58:28 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 20:00:21 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-01 20:00:35 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-01 20:00:47 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-01 20:01:32 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-10-01 20:01:56 × isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-10-01 20:02:37 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 256 seconds)
2020-10-01 20:06:31 <Squarism> Is there any one ruling test framework for Haskell? Got the impression its both HSpec and HUnit, but no obvious winner?
2020-10-01 20:07:32 <koz_> Squarism: I wouldn't recommend HSpec. Tasty is much better.
2020-10-01 20:07:40 <koz_> Also, HSpec and HUnit aren't directly comparable.
2020-10-01 20:07:44 × chappi quits (~swaroop@157.49.85.251) (Remote host closed the connection)
2020-10-01 20:07:50 <ski> @tell frdg it could also be used for breadth-first (think nondeterministic) traversal of infinite trees, like `bin = 1 : [n | m <- bin,n <- [2 * n,2 * n + 1]]' or `calkinWilf = 1%1 : [y | x <- calkinWilf,y <- [1 / (1 + 1 / x),1 + x]]' (cf. Prolog `bin(1). bin(N) :- bin(M),( N is 2 * M ; N is 2 * M + 1 ).')
2020-10-01 20:07:50 <lambdabot> Consider it noted.
2020-10-01 20:07:55 <maerwald> koz_: better how? I tried both and they can all do the same
2020-10-01 20:07:56 <koz_> HSpec does both unit and property testing; HUnit is only unit testing.
2020-10-01 20:08:06 <koz_> maerwald: Its docs are garbage,
2020-10-01 20:08:13 <koz_> Like, honestly.
←Prev  Next→
Page 1 .. 353 354 355 356 357 358 359 360 361 362 363 .. 5022

All times are in UTC.