Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 781 782 783 784 785 786 787 788 789 790 791 .. 18022
— 1,802,102 events total
2021-07-04 15:33:20 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-04 15:33:42 → cheater joins (~Username@user/cheater)
2021-07-04 15:34:30 × MorrowM quits (~MorrowM_@147.161.13.82) (Ping timeout: 258 seconds)
2021-07-04 15:34:51 × tomek-grzesiak quits (~tomek@109.206.213.203) (Quit: WeeChat 3.0.1)
2021-07-04 15:37:38 → notzmv joins (~zmv@user/notzmv)
2021-07-04 15:42:11 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-04 15:42:22 → samhh joins (~samhh@90.252.112.94)
2021-07-04 15:43:21 → lavaman joins (~lavaman@98.38.249.169)
2021-07-04 15:48:11 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-07-04 15:48:11 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
2021-07-04 15:48:15 → cheater1__ joins (~Username@user/cheater)
2021-07-04 15:48:18 cheater1__ is now known as cheater
2021-07-04 15:48:57 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-04 15:49:18 × anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving)
2021-07-04 15:53:24 → MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-07-04 15:53:27 → LukeHoersten_ joins (~LukeHoers@user/lukehoersten)
2021-07-04 15:55:20 × stevenxl quits (~stevenlei@68.235.43.165) (Ping timeout: 252 seconds)
2021-07-04 15:57:22 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2021-07-04 15:57:33 → stevenxl joins (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net)
2021-07-04 15:58:43 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-04 15:59:02 × MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds)
2021-07-04 15:59:08 × LukeHoersten_ quits (~LukeHoers@user/lukehoersten) (Ping timeout: 256 seconds)
2021-07-04 15:59:19 → fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-04 16:00:10 → MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-07-04 16:00:11 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-07-04 16:00:26 → Pickchea joins (~private@user/pickchea)
2021-07-04 16:01:48 → LukeHoersten_ joins (~LukeHoers@user/lukehoersten)
2021-07-04 16:02:42 → tomek-grzesiak joins (~tomek@109.206.213.203)
2021-07-04 16:03:06 × cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds)
2021-07-04 16:03:10 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-07-04 16:03:51 → cheater joins (~Username@user/cheater)
2021-07-04 16:03:58 × fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer)
2021-07-04 16:05:14 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds)
2021-07-04 16:05:33 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-07-04 16:05:51 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-04 16:09:25 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-04 16:10:38 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds)
2021-07-04 16:10:42 × edward1 quits (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-04 16:10:55 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-04 16:10:59 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-04 16:12:44 × LukeHoersten_ quits (~LukeHoers@user/lukehoersten) (Ping timeout: 256 seconds)
2021-07-04 16:15:24 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
2021-07-04 16:15:44 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-07-04 16:16:02 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-04 16:16:20 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-07-04 16:16:41 → warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df)
2021-07-04 16:23:51 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-04 16:24:30 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-04 16:25:12 → chris_ joins (~chris@81.96.113.213)
2021-07-04 16:25:23 → awth13 joins (~user@user/awth13)
2021-07-04 16:28:42 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-04 16:30:16 × chris_ quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2021-07-04 16:30:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-04 16:30:58 → ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-04 16:31:03 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-04 16:33:07 → MQ-17J joins (~MQ-17J@2607:fb90:893b:6cdc:ec:9cb6:c388:2ee2)
2021-07-04 16:33:28 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-04 16:33:39 × MQ-17J quits (~MQ-17J@2607:fb90:893b:6cdc:ec:9cb6:c388:2ee2) (Read error: Connection reset by peer)
2021-07-04 16:33:49 → cheater joins (~Username@user/cheater)
2021-07-04 16:33:56 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-04 16:34:00 → stevenxl_ joins (~stevenlei@68.235.43.141)
2021-07-04 16:36:58 → edward1 joins (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net)
2021-07-04 16:37:00 × stevenxl quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 265 seconds)
2021-07-04 16:37:11 → jneira[m] joins (~jneira@160.red-176-83-73.dynamicip.rima-tde.net)
2021-07-04 16:39:42 → Nyeogmi joins (~Nyeogmi@2601:645:8700:bea0:bcb8:b9ef:af27:7b7c)
2021-07-04 16:41:14 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-04 16:41:34 → vicfred joins (~vicfred@user/vicfred)
2021-07-04 16:41:50 × edward1 quits (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-07-04 16:42:11 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-04 16:43:37 → timCF joins (~timCF@m91-129-104-218.cust.tele2.ee)
2021-07-04 16:44:04 × Nyeogmi quits (~Nyeogmi@2601:645:8700:bea0:bcb8:b9ef:af27:7b7c) (Remote host closed the connection)
2021-07-04 16:44:10 <turlando> Suppose I want to match a N-way tree for a specific structure starting from the root node. What do you think is an idiomatic way to do so? The tree has an already well defined structure (as sum type) I'm not willing to change
2021-07-04 16:44:26 → Nyeogmi joins (~Nyeogmi@2601:645:8700:bea0:bcb8:b9ef:af27:7b7c)
2021-07-04 16:44:32 <turlando> (basically I want to do pattern matching without doing pattern matching)
2021-07-04 16:46:25 <dsal> Can you type up something you wish worked?
2021-07-04 16:46:44 <turlando> The issue is that basically I want a function I can pass the structure I'm looking for and returns me the elements I'd like to get. Suppose the tree is data T = A T | B T Int | C Text T. I want to pass this function something like "if the root is A, check if its element is a B, if so return the Int"
2021-07-04 16:46:54 <dsal> TBH, I think lens does what you want pretty easily.
2021-07-04 16:48:01 <turlando> I was hoping not to import lens since it's very heavy to compile (and learn from my point of view). I hoped I could write something simple I could also learn from
2021-07-04 16:49:39 × jneira[m] quits (~jneira@160.red-176-83-73.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-07-04 16:49:59 <dsal> Well, what lens would do at compile time is create prisms so you could preview down into that int with something like `r ^? _A . _B` (which would be `:: Maybe Int`). Those prism functions do the thing you're trying to avoid manually doing, but you can write them yourself.
2021-07-04 16:50:06 <dsal> They're only a little overkill because they are bidirectional.
2021-07-04 16:50:47 × neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 258 seconds)
2021-07-04 16:51:04 <turlando> In lisp I would be do something like have a match function that I would pass something like '(A (B ?subtree ?int)) and then recursively match A and B against the tree and return ?int that I would save in an accumulator in the meanwhile
2021-07-04 16:51:16 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-04 16:51:33 → qbt joins (~edun@user/edun)
2021-07-04 16:51:36 × qbt quits (~edun@user/edun) (Client Quit)
2021-07-04 16:52:09 <turlando> It's a relatively simple thing to do to disturb prism imho :) But I'm not sure how to get the thing done in an idiomatic way
2021-07-04 16:52:30 <turlando> (Also how to pass the desired tree structure with the placeholders)
2021-07-04 16:52:42 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Quit: Leaving)
2021-07-04 16:52:43 <turlando> s/prims/lens/
2021-07-04 16:52:54 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-04 16:53:47 <dsal> Well, the whole area of optics came into existence to answer those two questions.
2021-07-04 16:55:10 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-07-04 16:55:17 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-04 16:55:43 <dsal> λ> t ==> A (B (C "x") 3)
2021-07-04 16:55:43 <dsal> λ> t ^? _A . _B . _2 ==> Just 3
2021-07-04 16:55:46 × Nyeogmi quits (~Nyeogmi@2601:645:8700:bea0:bcb8:b9ef:af27:7b7c) (Changing host)
2021-07-04 16:55:46 → Nyeogmi joins (~Nyeogmi@user/nyeogmi)
2021-07-04 16:56:18 <sm[m]> microlens is a bit lighter
2021-07-04 16:56:20 × Pickchea quits (~private@user/pickchea) (Ping timeout: 265 seconds)
←Prev  Next→
Page 1 .. 781 782 783 784 785 786 787 788 789 790 791 .. 18022

All times are in UTC.