Logs on 2022-01-16 (liberachat/#haskell)
| 00:01:31 | <zero> | the Applicative instance for pairs is interesting. it's Monoid a => Applicative (a,) where pure = (mempty,) |
| 00:01:36 | <zero> | did not know that |
| 00:02:28 | <geekosaur> | it has to be able to get a value for the other half of the pair from somewhere |
| 00:02:46 | <zero> | yup, makes sense |
| 00:03:15 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Reconnecting) |
| 00:03:31 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 00:03:46 | <EvanR> | when I first saw return and tried to understand it, I was confused because of its name |
| 00:04:06 | <EvanR> | also for 5 seconds |
| 00:04:42 | <geekosaur> | return not being what it sounded like was one of the first things I encountered in chatter after joining #haskell |
| 00:05:22 | <EvanR> | at least pure doesn't have that kind of baggage, and you immediately know it's not making something pure because everything is pure anyway |
| 00:05:37 | <EvanR> | because this is HAASSKEELLLLLLLL |
| 00:05:50 | <zero> | (: |
| 00:06:11 | zero | unsafely performs IO |
| 00:06:19 | <jackdk> | :o |
| 00:06:20 | <EvanR> | also who the hell named pure that |
| 00:06:52 | <zero> | i'm more upset with "otherwise" |
| 00:06:58 | <zero> | way to long |
| 00:07:13 | <geekosaur> | frankly it's better than "t" |
| 00:07:53 | <ephemient> | you could always write | True if you want |
| 00:07:56 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Client Quit) |
| 00:08:11 | <zero> | not readable, not canonical |
| 00:08:12 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 00:09:01 | <geekosaur> | and they couldn't get away with reusing "else" |
| 00:09:11 | <zero> | i wonder if... |
| 00:09:14 | <zero> | brb |
| 00:09:30 | → | benin joins (~benin@183.82.30.17) |
| 00:09:30 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Client Quit) |
| 00:09:46 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 00:10:01 | <EvanR> | otherwise is readable |
| 00:10:15 | <EvanR> | code is read more times than it's written... unless it's my code |
| 00:11:51 | <lechner> | so true |
| 00:11:58 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 00:13:55 | × | shapr quits (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) (Remote host closed the connection) |
| 00:14:08 | → | shapr joins (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) |
| 00:14:52 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:20:09 | <lechner> | Hi, how can i daisy-chain the SQL statements starting in line 179 please? the error is below. Session vs Session () https://paste.tomsmeding.com/C8cs9CTz |
| 00:20:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 00:20:39 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Reconnecting) |
| 00:20:57 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 00:20:58 | × | Guest8449 quits (1000@gabilgathol.bandrate.org) (Changing host) |
| 00:20:58 | → | Guest8449 joins (1000@sourcemage/mage/beowulf) |
| 00:21:30 | Guest8449 | is now known as |beowulf| |
| 00:22:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:22:45 | <geekosaur> | you're misreading the error. you're passing it a Session (), it wants a Transaction () |
| 00:23:22 | × | Tuplanolla quits (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:25:02 | × | Constraintegic quits (~DundiDund@ppp-212-114-229-145.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 00:26:08 | ← | zero parts (~z@user/zero) (haskell) |
| 00:26:21 | → | zzz joins (~z@user/zero) |
| 00:26:44 | <zzz> | is there an extension to make shadowing illegal? |
| 00:27:24 | <zzz> | or "overloading", i think it's the most used term arond here |
| 00:28:20 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 00:28:20 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:28:59 | <geekosaur> | -Wname-shadowing -Werror ? |
| 00:29:22 | <geekosaur> | (someday it will be possible to write -Werror=name-shadowing, but not currently) |
| 00:29:24 | <ephemient> | or -Werror=name-shadowing if you don't want to turn on -Werror for everything else |
| 00:29:26 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 00:29:30 | <ephemient> | isn't it possible now? |
| 00:29:32 | <geekosaur> | oh, that does work now? |
| 00:29:38 | <geekosaur> | I thought it wasn't in ghc |
| 00:29:52 | <zzz> | nice, thanks! |
| 00:29:54 | <dmj`> | ghc --show-options | grep shadow --color |
| 00:30:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:30:43 | <ephemient> | seems to work as I expect in GHC 8.10: > Main.hs:4:19: error: [-Wname-shadowing, -Werror=name-shadowing] This binding for ‘main’ shadows the existing binding … |
| 00:35:22 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:39:06 | × | shapr quits (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) (Remote host closed the connection) |
| 00:39:20 | → | shapr joins (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) |
| 00:40:49 | <EvanR> | wat, without shadowing how do I pretend I'm overwriting vars in do notation xD |
| 00:41:09 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 00:41:51 | × | SummerSonw quits (~The_viole@203.77.49.232) (Client Quit) |
| 00:43:04 | <geekosaur> | ew |
| 00:43:25 | <EvanR> | x, x', x'', x''', x'''' is too confusing! |
| 00:44:39 | <ephemient> | mdo x <- pure $ x + 1; pure x -- 🙃 |
| 00:44:48 | <pavonia> | x, x', x'', x'3, x'4 etc. |
| 00:45:29 | <EvanR> | x_i x_i+1 x_i+2 |
| 00:45:35 | <EvanR> | with editor support to show fancy |
| 00:46:00 | × | retroid_ quits (~retro@2e40edd9.skybroadband.com) (Ping timeout: 250 seconds) |
| 00:46:17 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:46:28 | <EvanR> | and language support to make i work |
| 00:47:21 | <ephemient> | > xᵢ + xᵢ₊₁ + xᵢ₊₂ |
| 00:47:22 | <lambdabot> | <hint>:1:9: error: lexical error at character '\8321' |
| 00:50:31 | <pavonia> | Why doesn't it accept general Unicode digits in identifiers? |
| 00:50:31 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:51:46 | <EvanR> | > let xᵢ = 'c' in xᵢ |
| 00:51:47 | <lambdabot> | 'c' |
| 00:51:53 | <EvanR> | \o/ |
| 00:54:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:57:53 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::55f8) |
| 01:00:57 | zzz | facepalms |
| 01:01:30 | <zzz> | i thought no-name-shadowing would give me the warnings |
| 01:01:47 | <zzz> | but it's name-shadowing |
| 01:02:13 | <zzz> | "no" refers to the warning |
| 01:02:30 | <zzz> | not to the shadowing |
| 01:05:18 | × | shapr quits (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) (Remote host closed the connection) |
| 01:05:32 | → | shapr joins (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) |
| 01:06:51 | → | tommd joins (~tommd@75-164-130-101.ptld.qwest.net) |
| 01:06:57 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Ping timeout: 240 seconds) |
| 01:07:14 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:07:58 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 01:09:51 | → | notzmv joins (~zmv@user/notzmv) |
| 01:09:51 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:10:38 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 01:11:24 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:31 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:30 | × | DNH quits (~DNH@2a02:8108:1100:16d8:b0c0:5871:210d:15db) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:19:38 | → | retroid_ joins (~retro@2e40edd9.skybroadband.com) |
| 01:20:03 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 01:22:02 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 01:22:21 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 01:24:35 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 01:27:42 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:29:39 | <zzz> | why does `main = pure 7` print `7`? |
| 01:30:12 | <EvanR> | in ghci ? |
| 01:30:48 | <tommd> | It doesnt' in the context of a Haskell language specification or ghc-compiled program. |
| 01:31:00 | <zzz> | ah ok |
| 01:31:09 | <zzz> | so it's a ghci quirk |
| 01:31:09 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:31:23 | <lechner> | geekosaur: thanks! it took ages and is ugly, but it works. best of all, it makes sense & i'm in love with it somehow |
| 01:31:24 | <EvanR> | if you type main in ghci, it'll execute the IO action and return the result, and print it |
| 01:31:51 | <EvanR> | works with any IO action in ghci (that returns something that can Show) |
| 01:32:38 | <EvanR> | and if there's no Show... it prints nothing... apparently |
| 01:32:50 | <zzz> | EvanR: ok thanks. i understand how that's useful but it caused a moment of confusion for me |
| 01:32:58 | <geekosaur> | yes. this is documented in the ghc user manual |
| 01:33:26 | <geekosaur> | along with a way to change what typeclass it uses, so in principle you could use a prettyprinting typeclass instead |
| 01:33:45 | <zzz> | that's nice |
| 01:34:15 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#using-a-custom-interactive-printing-function |
| 01:34:20 | <EvanR> | oh wow |
| 01:34:50 | <ephemient> | ghc should only cares what the type of main is in the main module when it's building an executable |
| 01:36:52 | <geekosaur> | yes, i only cares about the type of Main.main (or whatever entry point is specified by -main-is) |
| 01:41:55 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 01:42:19 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 01:43:40 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 01:43:59 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 01:46:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:49:19 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:50:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 01:50:39 | → | vysn joins (~vysn@user/vysn) |
| 01:52:40 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 01:53:57 | <justsomeguy> | Why should I care that kinds exist? What are they useful for? |
| 01:53:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:58:36 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 01:58:51 | × | drewolson quits (~drewolson@user/drewolson) (Quit: The Lounge - https://thelounge.chat) |
| 01:59:01 | → | drewolson joins (~drewolson@user/drewolson) |
| 01:59:15 | <EvanR> | probably good when you get a kind mismatch, i.e. tried to use f on a when f doesn't take any arguments |
| 01:59:31 | <EvanR> | "don't care until it saves your ass" |
| 01:59:53 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 01:59:56 | <pavonia> | Kinds are to types what types are to values. So they are useful for "type-safe" type-level programming |
| 02:00:27 | <EvanR> | stops you from putting wrong number of arguments to a type constructor among other things |
| 02:00:47 | <EvanR> | guides you to what sort of things can be Functor, or Monad |
| 02:00:53 | <EvanR> | or what can't be |
| 02:02:41 | → | zmt00 joins (~zmt00@user/zmt00) |
| 02:02:53 | <pavonia> | What do we call the next level, btw, to get type-safe kinds? |
| 02:03:06 | × | tired quits (~tired@user/tired) (Quit: /) |
| 02:03:09 | <EvanR> | sorts, then snaps, then crackles, then pops |
| 02:03:30 | <EvanR> | or cumulative hierarchy of types |
| 02:03:44 | <pavonia> | Ah right, I've heard of sorts before |
| 02:04:04 | <pavonia> | Is that already a thing in GHC? |
| 02:04:17 | <EvanR> | * :: BOX ? |
| 02:04:29 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 02:04:38 | → | tired joins (~tired@user/tired) |
| 02:07:17 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 02:07:18 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 02:08:07 | → | califax- joins (~califax@user/califx) |
| 02:08:30 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 02:11:27 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 02:11:27 | califax- | is now known as califax |
| 02:11:51 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:13:54 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 02:15:20 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 02:18:32 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 02:18:35 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 02:24:22 | × | xff0x quits (~xff0x@2001:1a81:5294:3100:2847:70a9:c956:fedc) (Ping timeout: 250 seconds) |
| 02:25:08 | → | neurocyte0917095 joins (~neurocyte@IP-094046087042.dynamic.medianet-world.de) |
| 02:25:08 | × | neurocyte0917095 quits (~neurocyte@IP-094046087042.dynamic.medianet-world.de) (Changing host) |
| 02:25:08 | → | neurocyte0917095 joins (~neurocyte@user/neurocyte) |
| 02:26:17 | → | xff0x joins (~xff0x@2001:1a81:52d5:6400:be64:2647:1b3d:efbf) |
| 02:27:10 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 02:27:12 | → | zmt00 joins (~zmt00@user/zmt00) |
| 02:27:24 | × | neurocyte091709 quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 02:27:24 | neurocyte0917095 | is now known as neurocyte091709 |
| 02:27:27 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 02:28:26 | → | biog joins (~user1@static.39.160.132.142.clients.your-server.de) |
| 02:30:02 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 02:33:19 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 02:33:28 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:34:53 | <EvanR> | that might have been removed to make way for dependent haskell |
| 02:35:13 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 02:36:27 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 02:38:32 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 02:43:00 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 02:51:00 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:52:15 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection) |
| 02:54:42 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 02:56:21 | <jackdk> | yeah the axiom Type :: Type was added by the extension -XTypeInType |
| 02:57:31 | <jackdk> | the extension is now deprecated because it's always-on, now that the rework in GHC is solid |
| 02:58:05 | <EvanR> | the unreasonable effectiveness of Type in Type |
| 02:58:29 | <EvanR> | hey, martin lof originally defined it so |
| 03:01:59 | <EvanR> | can I take a moment to complement the base data structure Data.List.NonEmpty, it is surprisingly nice and somehow isn't hell to integrate with other stuff |
| 03:02:14 | <EvanR> | unlike anything other than Int for integers |
| 03:03:00 | <EvanR> | also it's required by sconcat |
| 03:09:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:13:51 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480::41) |
| 03:14:32 | → | monochrom joins (trebla@216.138.220.146) |
| 03:15:04 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
| 03:16:22 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 03:22:06 | → | benin joins (~benin@183.82.30.17) |
| 03:22:41 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 03:23:45 | × | tommd quits (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 256 seconds) |
| 03:32:10 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 03:33:11 | → | nf joins (~n@monade.li) |
| 03:35:03 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:35:03 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:35:03 | finn_elija | is now known as FinnElija |
| 03:35:41 | → | zmt00 joins (~zmt00@user/zmt00) |
| 03:38:29 | × | td_ quits (~td@muedsl-82-207-238-062.citykom.de) (Ping timeout: 256 seconds) |
| 03:38:36 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 03:40:08 | → | td_ joins (~td@muedsl-82-207-238-133.citykom.de) |
| 03:42:59 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 03:43:23 | nf | is now known as yoneda |
| 03:43:41 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:44:55 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 03:47:08 | × | burnside_ quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 03:47:41 | → | burnsidesLlama joins (~burnsides@client-8-72.eduroam.oxuni.org.uk) |
| 03:51:22 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 03:51:54 | × | burnsidesLlama quits (~burnsides@client-8-72.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 03:54:14 | <zzz> | sorts snaps crackles pops that's a joke, right? i believe anything at this point |
| 04:00:45 | → | yauhsien_ joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 04:00:45 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 04:09:26 | <EvanR> | according to a physics book I read, the derivative of acceleration is jerk. The derivative of jerk is snap. The derivative of snap is crackle. And the derivative of crackle is pop |
| 04:09:43 | <EvanR> | so the joke is on us |
| 04:13:03 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 04:16:59 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:17:02 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:c8a9:440b:1eee:6f25) |
| 04:24:11 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 04:26:17 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds) |
| 04:28:54 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 04:29:48 | <zzz> | https://en.m.wikipedia.org/wiki/Fourth,_fifth,_and_sixth_derivatives_of_position |
| 04:30:03 | × | meer quits (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 04:30:41 | <zzz> | great |
| 04:36:26 | → | Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 04:42:32 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 04:44:18 | <EvanR> | Char :: * |
| 04:44:22 | <EvanR> | * :: BOX |
| 04:44:30 | <EvanR> | BOX :: WithAFox |
| 04:44:41 | <EvanR> | WithAFox :: GreenEggsAndHam |
| 04:46:43 | → | zmt00 joins (~zmt00@user/zmt00) |
| 04:47:34 | × | yauhsien_ quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:48:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:48:07 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 04:58:51 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 04:58:57 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:02:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:03:03 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:c8a9:440b:1eee:6f25) (Remote host closed the connection) |
| 05:03:52 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:5434:4d02:a0f8:4397) |
| 05:14:52 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 05:17:16 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 05:20:02 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 05:20:38 | [_] | is now known as [itchyjunk] |
| 05:24:17 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 05:27:25 | → | fef joins (~thedawn@user/thedawn) |
| 05:27:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 05:30:41 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 05:35:37 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 05:35:37 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 05:35:37 | → | wroathe joins (~wroathe@user/wroathe) |
| 05:37:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 05:37:12 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 05:39:59 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:40:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 05:40:57 | × | ensyde quits (~ensyde@2600:1700:2050:1040:17c:22a2:b625:20d7) (Ping timeout: 240 seconds) |
| 05:42:48 | → | gentauro joins (~gentauro@user/gentauro) |
| 05:52:24 | → | mbuf joins (~Shakthi@110.225.247.38) |
| 05:55:02 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 05:58:47 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:00:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 06:08:17 | <zzz> | how does Solo differ from Identity? |
| 06:09:16 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 06:10:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:11:00 | × | lavaman quits (~lavaman@98.38.249.169) (Client Quit) |
| 06:11:44 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 06:15:48 | × | mbuf quits (~Shakthi@110.225.247.38) (Quit: Leaving) |
| 06:16:10 | <ephemient> | zzz, https://hackage.haskell.org/package/base-4.16.0.0/docs/Data-Tuple.html#t:Solo explains |
| 06:16:31 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 06:17:41 | <zzz> | seems equivalent to me |
| 06:18:13 | <zzz> | oh nvm |
| 06:18:25 | <zzz> | Identity is a newtype |
| 06:23:39 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:5434:4d02:a0f8:4397) (Remote host closed the connection) |
| 06:28:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:31:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:33:20 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:37:32 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 06:39:12 | → | Jing joins (~hedgehog@240e:390:7c53:a7e1:d86c:41cf:1829:367e) |
| 06:43:30 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 06:47:17 | × | shapr quits (~user@2601:7c0:c37c:46d0:fdf3:f0cd:30b3:4860) (Ping timeout: 240 seconds) |
| 06:52:02 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 06:52:54 | → | Inst joins (~delicacie@2601:6c4:4080:3f80:d7a:54de:7875:5faa) |
| 07:01:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:02:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:02:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 07:05:32 | → | kaph_ joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 07:05:37 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 07:08:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 07:08:09 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 07:08:12 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 07:10:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:13:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:14:24 | → | val-host joins (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) |
| 07:17:47 | → | zmt00 joins (~zmt00@user/zmt00) |
| 07:22:12 | ← | travv0 parts (sid293381@user/travv0) () |
| 07:26:49 | → | ksqsf joins (~user@134.209.106.31) |
| 07:41:12 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 07:51:47 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 07:52:32 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 07:54:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:01:12 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:01:55 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 08:05:09 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 08:09:55 | × | ksqsf quits (~user@134.209.106.31) (Ping timeout: 256 seconds) |
| 08:11:03 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 08:16:40 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:17:20 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 08:17:26 | × | acidsys quits (~LSD@2.lsd.systems) (Excess Flood) |
| 08:20:36 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 08:21:29 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 08:23:17 | → | Constraintegic joins (~DundiDund@ppp-212-114-229-130.dynamic.mnet-online.de) |
| 08:25:05 | → | ysh joins (sid6017@id-6017.ilkley.irccloud.com) |
| 08:26:32 | → | acidsys joins (~LSD@2.lsd.systems) |
| 08:26:38 | × | incertia quits (~incertia@24.42.241.219) (Quit: ZNC 1.7.5 - https://znc.in) |
| 08:26:58 | → | incertia joins (~incertia@24.42.241.219) |
| 08:35:30 | → | ksqsf joins (~user@134.209.106.31) |
| 08:40:32 | × | ksqsf quits (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 08:41:36 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 08:42:17 | → | `2jt joins (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) |
| 08:43:24 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 276 seconds) |
| 08:44:17 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 08:45:27 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 08:53:33 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 08:54:37 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 08:56:10 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 08:57:33 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 09:00:20 | → | ksqsf joins (~user@134.209.106.31) |
| 09:00:26 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 09:01:55 | → | notzmv joins (~zmv@user/notzmv) |
| 09:02:54 | × | ksqsf quits (~user@134.209.106.31) (Remote host closed the connection) |
| 09:03:11 | → | ksqsf joins (~user@134.209.106.31) |
| 09:07:14 | → | _ht joins (~quassel@2a02:a468:b619:1:b64b:7088:4c77:6428) |
| 09:16:57 | → | ensyde joins (~ensyde@2600:1700:2050:1040:59da:fcd2:abfb:4d1d) |
| 09:16:59 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 09:17:18 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:17:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:18:11 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Quit: Leaving) |
| 09:18:58 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 09:19:53 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 09:22:02 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 09:23:32 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 09:24:18 | × | jinsun quits (~quassel@user/jinsun) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 09:24:34 | → | Tuplanolla joins (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) |
| 09:24:39 | → | jinsun joins (~quassel@user/jinsun) |
| 09:28:03 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 09:32:36 | → | sprout joins (~quassel@2a02:a467:ccd6:1:798d:4129:9f07:fe5b) |
| 09:32:39 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 09:35:37 | × | sprout_ quits (~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64) (Ping timeout: 240 seconds) |
| 09:37:49 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 09:38:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:42:23 | × | jinsun quits (~quassel@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 09:42:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:43:49 | → | jinsun joins (~quassel@user/jinsun) |
| 09:45:09 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 09:47:51 | × | Jing quits (~hedgehog@240e:390:7c53:a7e1:d86c:41cf:1829:367e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:48:05 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:50:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:50:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 09:51:27 | → | cosimone joins (~user@93-47-231-31.ip115.fastwebnet.it) |
| 09:57:48 | → | Jing joins (~hedgehog@240e:390:7c53:a7e1:58ff:45a7:b03e:c3bc) |
| 09:59:50 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 10:00:07 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:01:07 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 10:03:39 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 10:04:02 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 10:06:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 10:07:00 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 10:07:22 | → | mmhat joins (~mmh@55d4c3c9.access.ecotel.net) |
| 10:13:07 | → | Hildegunst joins (~luc@80.248.12.109.rev.sfr.net) |
| 10:13:17 | × | Hildegunst quits (~luc@80.248.12.109.rev.sfr.net) (Client Quit) |
| 10:15:34 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 10:15:49 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 10:27:20 | × | kaph_ quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Quit: Leaving) |
| 10:27:47 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 10:27:54 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:30:24 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 10:31:11 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:31:23 | → | Hildegunst joins (~luc@80.248.12.109.rev.sfr.net) |
| 10:33:33 | × | spaceseller quits (~spacesell@31.147.205.13) (Quit: Leaving) |
| 10:40:05 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:41:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 10:41:13 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 10:42:13 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 10:42:54 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:43:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:43:53 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:a000:310a:887:a8c8:ed35) |
| 10:47:51 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 10:49:08 | × | acidsys quits (~LSD@2.lsd.systems) (Excess Flood) |
| 10:49:55 | → | acidsys joins (~LSD@2.lsd.systems) |
| 10:50:09 | × | nunggu quits (~q@gateway/tor-sasl/nunggu) (Ping timeout: 276 seconds) |
| 10:54:56 | → | max22- joins (~maxime@2a01cb0883359800c0130ad75708c925.ipv6.abo.wanadoo.fr) |
| 10:56:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:01:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:04:05 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 11:04:32 | × | Hildegunst quits (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 11:05:55 | → | kupi_ joins (uid212005@id-212005.hampstead.irccloud.com) |
| 11:07:53 | → | nunggu joins (~q@gateway/tor-sasl/nunggu) |
| 11:10:02 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 11:12:49 | → | fef joins (~thedawn@user/thedawn) |
| 11:22:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:26:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 11:29:38 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:30:37 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 11:30:40 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:31:50 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:32:37 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 11:32:56 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 11:33:29 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 11:38:17 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 11:40:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 11:40:20 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 11:41:20 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:41:37 | × | Inst quits (~delicacie@2601:6c4:4080:3f80:d7a:54de:7875:5faa) (Ping timeout: 240 seconds) |
| 11:42:09 | kupi_ | is now known as kupi |
| 11:42:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:48:33 | → | Inst joins (~delicacie@2601:6c4:4080:3f80:e892:9f45:4e01:f54f) |
| 11:57:13 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:57:49 | kupi | is now known as Guest6690 |
| 12:03:48 | → | Hildegunst joins (~luc@80.248.12.109.rev.sfr.net) |
| 12:04:31 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 12:04:48 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 12:06:00 | → | DNH joins (~DNH@2a02:8108:1100:16d8:a006:e9af:80b4:2cf) |
| 12:06:56 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 12:17:32 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 12:20:02 | × | Hildegunst quits (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 12:24:17 | → | __monty__ joins (~toonn@user/toonn) |
| 12:27:02 | × | ksqsf quits (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 12:33:32 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 12:38:54 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 12:43:27 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 12:43:36 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 12:45:31 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 12:45:55 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:47:13 | → | yauhsien joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 12:50:04 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 12:51:25 | × | max22- quits (~maxime@2a01cb0883359800c0130ad75708c925.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 12:52:07 | × | yauhsien quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 12:52:29 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 12:54:30 | → | FragByte joins (~christian@user/fragbyte) |
| 12:57:24 | × | nunggu quits (~q@gateway/tor-sasl/nunggu) (Changing host) |
| 12:57:24 | → | nunggu joins (~q@user/nunggu) |
| 13:01:01 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 13:02:12 | → | fef joins (~thedawn@user/thedawn) |
| 13:02:20 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 13:04:23 | → | FragByte joins (~christian@user/fragbyte) |
| 13:05:05 | → | biog joins (~user1@static.39.160.132.142.clients.your-server.de) |
| 13:06:17 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 13:08:48 | → | Guest1715 joins (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 13:10:02 | × | Constraintegic quits (~DundiDund@ppp-212-114-229-130.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 13:14:29 | <Inst> | haskell is just painful |
| 13:14:30 | <Inst> | :( |
| 13:15:28 | <Inst> | okay, even weirder stuff since very few people do winhaskell |
| 13:16:08 | <Inst> | i'm trying to figure out if hready can be used to detect keypresses (answer is no) |
| 13:16:18 | × | val-host quits (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) (Quit: Leaving) |
| 13:16:41 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 13:16:51 | <Inst> | but, when I try to do a function application via fmap and bool into io handle, I get false. When I try to do the same via lambda case, I get true |
| 13:19:42 | × | atwm quits (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Remote host closed the connection) |
| 13:23:15 | × | DNH quits (~DNH@2a02:8108:1100:16d8:a006:e9af:80b4:2cf) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:24:26 | <xsperry> | Inst, you can foreign import c_getch and c_kbhit from conio.h |
| 13:25:01 | <Inst> | i'll try haskeline first, i was told to try that |
| 13:28:35 | × | APic quits (apic@apic.name) (Quit: [TLS] Client upgrade) |
| 13:28:47 | → | APic joins (apic@apic.name) |
| 13:30:07 | <xsperry> | s/c_getch/getch |
| 13:31:02 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 240 seconds) |
| 13:32:01 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 13:32:49 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:34:23 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 13:34:39 | <sha296> | Hello |
| 13:35:56 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Client Quit) |
| 13:36:42 | → | DNH joins (~DNH@2a02:8108:1100:16d8:2032:bbef:e5a8:56de) |
| 13:40:22 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 13:41:23 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 13:41:43 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 13:41:57 | <sha296> | Hi |
| 13:42:30 | <xsperry> | hi |
| 13:43:18 | <sha296> | I am a beginner when it comes to Haskell |
| 13:43:19 | × | Guest1715 quits (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
| 13:43:42 | <sha296> | I am looking forward to benefit from you people |
| 13:46:55 | <polyphem> | sha296: whats your background, and where are you at on your journey into haskell ? |
| 13:47:03 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::55f8) |
| 13:47:47 | <sha296> | My background is in discrete maths and theoretical CS (algorithms specifically) |
| 13:48:02 | <sha296> | Currently, I am looking into some books |
| 13:48:06 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 13:48:20 | <sha296> | How does one quote? |
| 13:48:28 | <sha296> | I am using hexchat? |
| 13:49:32 | <kitzman> | Hm, beginner question: how can a type be in scope, but its data constructor not? |
| 13:50:09 | → | FragByte joins (~christian@user/fragbyte) |
| 13:50:12 | <polyphem> | kitzman: a module exports a typename but not its constructors |
| 13:50:53 | <polyphem> | thats how encapsulation is done in haskell |
| 13:50:59 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 13:51:09 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Quit: Leaving) |
| 13:51:32 | <polyphem> | usually there are also some "smart constructors" i.e. functions that construct the ype for you in scope |
| 13:51:41 | <kitzman> | oh. i see - so i would have to manipulate the struct just inside the module (and probs this will be beneficial for my code as well) |
| 13:52:17 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 13:52:21 | <polyphem> | is it your own type/module ? |
| 13:52:44 | <kitzman> | yes. between the Endpoint and the Service layer. |
| 13:52:56 | <geekosaur> | sha296, irc doesn't have built-in quoting. you might want to try matrix.org as a more modern interface to irc |
| 13:53:04 | <geekosaur> | should be the same room name (#haskell) |
| 13:53:16 | <sha296> | Oh, I see |
| 13:53:23 | <polyphem> | in the module export list you exportet the type , and not its constructors |
| 13:53:30 | <sha296> | I do have matrix but I prefer xmpp |
| 13:54:44 | <polyphem> | module ServiceLayer (MyType) where ... exports only the type, wheras module ServiceLayer (MyType(..)) where ... exports also the constructors |
| 13:54:47 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Client Quit) |
| 13:55:01 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 13:55:32 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:55:35 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 13:55:51 | <kitzman> | polyphem: thank you, now I see my mistake |
| 13:56:24 | <polyphem> | not necessarily a mistake, it depends what you want to encapsulate/export ... |
| 13:56:50 | <kitzman> | yeah, I think it makes sense to do this in this particular case |
| 13:57:15 | <polyphem> | kitzman: thats your design desicion to make :) |
| 13:57:16 | × | Tuplanolla quits (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) (Ping timeout: 250 seconds) |
| 13:57:25 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 13:57:40 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 13:58:15 | <geekosaur> | not aware of any xmpp gateways, sorry |
| 13:58:30 | <geekosaur> | just matrix and irccloud |
| 13:58:48 | <polyphem> | kitzman: check out "smart constructors" to get a broader idea ... usefull |
| 13:59:08 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 13:59:28 | → | FragByte joins (~christian@user/fragbyte) |
| 14:00:24 | × | `2jt quits (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 14:00:47 | → | `2jt joins (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) |
| 14:00:50 | ← | sha296 parts (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Leaving) |
| 14:01:03 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 14:01:21 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 14:01:29 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Quit: Leaving) |
| 14:01:45 | → | sha296 joins (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) |
| 14:02:12 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 14:02:42 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 14:06:20 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 14:07:46 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 14:10:13 | → | max22- joins (~maxime@2a01cb08833598007a0a24004d47b92d.ipv6.abo.wanadoo.fr) |
| 14:11:04 | <kitzman> | thank you I will ^^ |
| 14:11:39 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 14:13:00 | → | val-host joins (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) |
| 14:13:12 | <zzz> | how does `length = sum . map (const 1)` differ from the "normal" way or is it just a matter of style? |
| 14:13:29 | <zzz> | s/^how// |
| 14:13:48 | → | Tuplanolla joins (~Tuplanoll@91-159-69-157.elisa-laajakaista.fi) |
| 14:14:25 | <polyphem> | zzz: sum itself is a fold , you are adding another tracersal of the list by map |
| 14:14:44 | <polyphem> | *traversal |
| 14:16:38 | <zzz> | isn't it subject to fusion? |
| 14:16:48 | <polyphem> | so instead of just folding , you are folding after mapping , which might get optimized |
| 14:17:23 | <zzz> | ah yes, i'm assuming optimization |
| 14:17:29 | × | val-host quits (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) (Client Quit) |
| 14:17:47 | <polyphem> | i guess , but i really dont know much about optimization , i guess so |
| 14:18:54 | × | sha296 quits (~shakil@2409:4060:208:b748:90bc:94d2:ef56:d69d) (Quit: Leaving) |
| 14:19:38 | <zzz> | i expect this kind of optimization to be trivial but am also not sure |
| 14:20:29 | <polyphem> | its a "readable" implementation which is good IMO |
| 14:22:00 | <Sqaure> | anyone know if there exist some trick (using TH presumably) to turn servant "Api" types into typeclasses. I find their approach gives horrible error messages. Every type error become a "Api type" error. |
| 14:25:52 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Read error: Connection reset by peer) |
| 14:29:32 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 14:30:10 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 14:34:42 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 14:35:03 | × | hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 14:36:24 | → | hololeap joins (~hololeap@user/hololeap) |
| 14:37:57 | × | DNH quits (~DNH@2a02:8108:1100:16d8:2032:bbef:e5a8:56de) (Ping timeout: 240 seconds) |
| 14:40:16 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:48:32 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 14:48:49 | → | Topsi joins (~Tobias@dyndsl-095-033-024-084.ewe-ip-backbone.de) |
| 14:50:23 | × | max22- quits (~maxime@2a01cb08833598007a0a24004d47b92d.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 14:51:36 | <carbolymer> | what was the name of the GHC extension which was disabling lazines? something like StrictHaskell |
| 14:53:00 | <carbolymer> | Strict |
| 14:53:04 | <yushyin> | carbolymer: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/strict.html |
| 14:53:59 | <geekosaur> | or StrictData. note that using -XStrict means you can't use most of the Prelude, which relies on laziness |
| 14:54:24 | × | Guest6690 quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:55:50 | → | Ruit joins (~textual@c-69-248-83-247.hsd1.nj.comcast.net) |
| 15:01:20 | <carbolymer> | thx |
| 15:02:01 | × | SummerSonw quits (~The_viole@203.77.49.232) (Quit: Leaving) |
| 15:04:09 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 15:04:38 | × | Ruit quits (~textual@c-69-248-83-247.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:05:58 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 15:08:06 | → | xkuru joins (~xkuru@user/xkuru) |
| 15:10:15 | → | jkaye joins (~jkaye@2601:281:8300:7530:ebdf:216a:24ec:ae90) |
| 15:13:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 15:13:32 | × | xff0x quits (~xff0x@2001:1a81:52d5:6400:be64:2647:1b3d:efbf) (Ping timeout: 250 seconds) |
| 15:14:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:22:40 | → | Everything joins (~Everythin@37.115.210.35) |
| 15:23:09 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 15:23:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:24:37 | → | nunggu joins (~q@user/nunggu) |
| 15:27:23 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:27:38 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 15:27:57 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 15:27:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 15:28:47 | × | nunggu quits (~q@user/nunggu) (Remote host closed the connection) |
| 15:29:10 | → | nunggu joins (~q@user/nunggu) |
| 15:30:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:30:51 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:30:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:32:59 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 15:34:16 | → | xff0x joins (~xff0x@2001:1a81:52d5:6400:be64:2647:1b3d:efbf) |
| 15:35:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 15:46:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:51:02 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:51:15 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:51:15 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:51:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:56:23 | <cheater> | people still haven't made a strict prelude? |
| 15:56:50 | yehoshua[m] | is now known as Yehoshua |
| 15:57:35 | × | Yehoshua quits (~yehoshuay@2001:470:69fc:105::1:593f) (Quit: Reconnecting) |
| 15:57:48 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 15:57:49 | → | Yehoshua joins (~yehoshuay@2001:470:69fc:105::1:593f) |
| 15:58:37 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 15:58:42 | × | Yehoshua quits (~yehoshuay@2001:470:69fc:105::1:593f) (Client Quit) |
| 15:58:56 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 16:00:12 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 16:01:17 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 16:01:36 | → | nunggu joins (~q@user/nunggu) |
| 16:01:36 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:02:29 | × | Yehoshua quits (~yehoshua@2001:470:69fc:105::1:593f) (Client Quit) |
| 16:02:32 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 16:02:44 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 16:02:50 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:03:22 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 16:05:36 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 16:05:49 | <Sqaure> | I guess im not seeing the obvious but i had to create this function to convert my Servant app actions to Servants context : eitherToHandler :: (e -> ServantErr) -> Either e a -> Handler a ; eitherToHandler f = Handler . withExceptT f . liftEither |
| 16:07:27 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 16:09:52 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 250 seconds) |
| 16:11:34 | × | random_ quits (~random@185.219.68.251) (Read error: Connection reset by peer) |
| 16:12:16 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 16:12:37 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:12:57 | × | YoungFrog quits (~youngfrog@2a02:a03f:c21b:f900:f89b:2c73:97b1:7ba3) (Remote host closed the connection) |
| 16:13:17 | → | YoungFrog joins (~youngfrog@2a02:a03f:c21b:f900:9952:728:f039:79c2) |
| 16:15:25 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:15:48 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 16:19:23 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:24:55 | → | MajorBiscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 16:26:39 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 16:29:18 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 16:30:59 | <sprout> | > nil |
| 16:31:00 | <lambdabot> | error: Variable not in scope: nil |
| 16:31:19 | <sprout> | > [] |
| 16:31:21 | <lambdabot> | [] |
| 16:31:27 | <sprout> | > head [] |
| 16:31:29 | <lambdabot> | *Exception: Prelude.head: empty list |
| 16:34:45 | → | shapr joins (~user@2601:7c0:c37c:46d0:2bce:110:d6ba:469e) |
| 16:40:42 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 16:41:38 | cjay- | is now known as cjay |
| 16:43:49 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 16:47:27 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 16:49:31 | <zzz> | why would you want a strict prelude? |
| 16:50:53 | × | spaceseller quits (~spacesell@31.147.205.13) (Client Quit) |
| 16:50:56 | <EvanR> | what even is a strict prelude |
| 16:53:32 | <zzz> | i never got this fixation on strictness |
| 16:54:45 | <zzz> | haskell is *the* lazy language, and actually does it well. why do people keep trying to make it strict? |
| 16:54:48 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Quit: WeeChat 3.0) |
| 16:55:12 | <jkaye> | It's very easy to leak memory unintentionally with lazy semantics by default. It can be hard to find these leaks, and similarly hard to reason about them |
| 16:55:17 | <geekosaur> | because figuring out where laziness is / isn't appropriate is hard |
| 16:55:26 | <jkaye> | So, it becomes an issue for a lot of people, and they look for a solution |
| 16:55:41 | <jkaye> | These problems are well-documented and (I think) well agreed upon within the community at large |
| 16:55:51 | <geekosaur> | that said, I kinda feel like you lose the point of purity, and thereby the point of Haskell, if you lose laziness |
| 16:56:26 | → | xb0o2 joins (~xb0o2@user/xb0o2) |
| 16:56:46 | <Rembane> | I'd prefer tooling that helped me with finding where my code has the wrong amount of laziness rather than throwing it all out. |
| 16:57:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:57:58 | <EvanR> | a visualizer of the program-in-motion, tony stark style |
| 16:58:11 | <EvanR> | you point at a hologram in space and see the space leaking in real time |
| 16:58:48 | <jkaye> | Rembane, I tend to agree. IF it somehow became easier to work with/reason about I think a lot of the questions/complaints would melt. I'd use a tool like that for sure |
| 16:59:09 | <EvanR> | ghc-vis is good but not that |
| 17:00:03 | <geekosaur> | the ghc devs and folks working woith them are still wokring on tooling based around the eventlog that is supposed to help with that |
| 17:00:14 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 17:00:18 | <Rembane> | geekosaur: That's really cool. |
| 17:00:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:00:55 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 17:00:57 | → | Constraintegic joins (~DundiDund@ppp-212-114-229-130.dynamic.mnet-online.de) |
| 17:02:08 | <geekosaur> | that said, it is notable that even ghc devs have big problems finding and reasoning about laziness leaks |
| 17:02:22 | <geekosaur> | but I have to think turning Haskell into a worse OCaml is not the solution |
| 17:03:07 | <Rembane> | Maybe laziness leaks are really hard to keep track of? |
| 17:04:00 | <geekosaur> | they are. but that's what the eventlog is about |
| 17:05:26 | <EvanR> | if you're expecting to get away with very little heap usage, you can turn the heap limit low which acts like gutter bumpers during testing. But real code might need to use a bunch of space at some point, and not be a bug |
| 17:05:49 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 17:05:49 | <EvanR> | how does a tool know the diff |
| 17:05:54 | → | zmt01 joins (~zmt00@user/zmt00) |
| 17:06:11 | <jkaye> | One super naive way would be to see if the memory is being used by thunks vs. values |
| 17:06:34 | <jkaye> | 10Gb of thunks is probably not what someone meant to do. Operative word being probably, because I'm sure there are situations where that is intended |
| 17:06:56 | <jkaye> | But for the type of thing that I'm referring to, it would be strategies similar to that |
| 17:06:57 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 17:07:07 | <jkaye> | I'm sure smarter GHC people could come up with much better ways |
| 17:08:20 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 17:08:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:13:08 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-131-125.cust.tzulo.com) |
| 17:15:37 | × | Inst quits (~delicacie@2601:6c4:4080:3f80:e892:9f45:4e01:f54f) (Ping timeout: 240 seconds) |
| 17:17:42 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 17:17:58 | <geekosaur> | there's some refinements to that, like you can ignore thunks that never make it out of the nursery |
| 17:18:01 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 17:19:43 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 17:22:15 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 17:22:21 | <dmj`> | Csaba's STG interpreter can detect space leaks |
| 17:22:41 | × | lechner quits (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 17:24:21 | → | lechner joins (~lechner@debian/lechner) |
| 17:25:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:27:33 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:29:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:29:47 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 17:31:36 | → | biog joins (~user1@static.39.160.132.142.clients.your-server.de) |
| 17:32:43 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 17:35:02 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:35:07 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 17:38:17 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 17:38:32 | × | MajorBiscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.3) |
| 17:39:32 | × | mud quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 17:39:58 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:40:30 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 17:40:37 | → | mud joins (~mud@user/kadoban) |
| 17:42:15 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 276 seconds) |
| 17:43:02 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 17:46:07 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 17:51:16 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
| 17:52:28 | → | benin joins (~benin@183.82.30.17) |
| 17:52:57 | × | zmt01 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 17:54:44 | × | Jing quits (~hedgehog@240e:390:7c53:a7e1:58ff:45a7:b03e:c3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:56:21 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:57:33 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 18:01:03 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 18:03:00 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 18:03:39 | → | zmt00 joins (~zmt00@user/zmt00) |
| 18:05:05 | → | max22- joins (~maxime@2a01cb0883359800342882a7243a01c5.ipv6.abo.wanadoo.fr) |
| 18:08:00 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 18:12:29 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 18:13:52 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 18:15:57 | × | jkaye quits (~jkaye@2601:281:8300:7530:ebdf:216a:24ec:ae90) (Ping timeout: 240 seconds) |
| 18:20:29 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:21:32 | → | Shiranai joins (~Shiranai@190.237.13.17) |
| 18:24:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:25:05 | <Shiranai> | Hello, I want to do "popping" on the natural numbers, i.e., `a = [1..]`, `a' = pop 1 a`, `a' == [1,3,4,..]`. It doesn't have to be lists, but I want this popping functionality, how to implement this? |
| 18:25:54 | <dsal> | :t splitAt |
| 18:25:55 | <lambdabot> | Int -> [a] -> ([a], [a]) |
| 18:26:03 | <dsal> | splitAt 1 [1..10] |
| 18:26:08 | <dsal> | > splitAt 1 [1..10] |
| 18:26:10 | <lambdabot> | ([1],[2,3,4,5,6,7,8,9,10]) |
| 18:26:45 | <EvanR> | so this pop is more like a "lookup delete" |
| 18:26:56 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 18:26:57 | <EvanR> | Data.Map and Data.IntMap have that |
| 18:27:29 | <EvanR> | for infinite number of natural numbers, maybe use a Data.Set to track which numbers you already deleted |
| 18:29:30 | <dsal> | Yeah, doing it with lists is probably not cheap. |
| 18:29:32 | <EvanR> | a co-finite set represented by it's finite complement |
| 18:29:36 | <dsal> | > second (drop 1) $ splitAt 1 [1..10] |
| 18:29:37 | <lambdabot> | ([1],[3,4,5,6,7,8,9,10]) |
| 18:29:44 | <EvanR> | its* |
| 18:29:50 | <sofviic[m]> | the naive solution would probs be `pop n l = take n l ++ drop (n+1) l` |
| 18:29:53 | <sofviic[m]> | s/naive/naïve/ |
| 18:30:24 | <EvanR> | oh, was that 1 the index of what to lookup-delete |
| 18:31:02 | <EvanR> | a jenga stack |
| 18:31:33 | <dsal> | > let pop x = uncurry (<>) . second (drop 1) . splitAt x in pop 1 [1..10] |
| 18:31:34 | <lambdabot> | [1,3,4,5,6,7,8,9,10] |
| 18:32:01 | <EvanR> | it's cheap if you stay near the top of the stack / list |
| 18:34:27 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 18:34:54 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 18:35:37 | → | evocatus joins (~evocatus@62.182.77.224) |
| 18:35:39 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:35:43 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480::41) |
| 18:36:00 | <sofviic[m]> | * the naïve solution would probs be `pop n l = take n l ++ drop (n+1) l`, |
| 18:36:00 | <sofviic[m]> | without the `l` argument: `pop n = ((<>) . take n) <*> (drop (n+1))`. |
| 18:42:17 | → | econo joins (uid147250@user/econo) |
| 18:50:17 | → | biog joins (~user1@static.39.160.132.142.clients.your-server.de) |
| 18:52:41 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:54:25 | → | zmt00 joins (~zmt00@user/zmt00) |
| 18:56:58 | <Shiranai> | great, thanks guys |
| 18:59:54 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 19:00:19 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 19:04:21 | <EvanR> | if haskell pops all the boards from stack of theseus and replaces them, is it still the same stack |
| 19:04:50 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 19:06:32 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 19:08:43 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 19:09:37 | <Shiranai> | no because pushing the values into the stack again probably made them get allocated in a different part in memory :^) |
| 19:10:13 | <EvanR> | isn't the point of a ship to move around! |
| 19:10:20 | <monochrom> | hahaha |
| 19:11:40 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 19:12:00 | <monochrom> | But what about the point of a stack? :) |
| 19:14:48 | <EvanR> | many languages feature generators that output another value on demand, it's funny haskell gets "put value back into generator" for free, something often not in the generator API |
| 19:15:35 | <EvanR> | also KLAX was awesome |
| 19:16:07 | <EvanR> | a game made for implementing as haskell list |
| 19:21:55 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 19:22:49 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 19:23:17 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 19:23:17 | → | fef joins (~thedawn@user/thedawn) |
| 19:25:00 | → | biog joins (~user1@static.39.160.132.142.clients.your-server.de) |
| 19:25:32 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:27:17 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:31:04 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:31:30 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 19:31:51 | → | califax joins (~califax@user/califx) |
| 19:32:45 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 19:36:12 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) |
| 19:46:24 | × | x88x88x quits (~x88x88x@149.28.53.172) (Quit: ZNC - https://znc.in) |
| 19:46:56 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 19:47:15 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 19:47:38 | → | fef joins (~thedawn@user/thedawn) |
| 19:48:36 | × | xstill- quits (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 19:48:36 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 19:51:51 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 19:51:57 | → | x88x88x joins (~x88x88x@149.28.53.172) |
| 19:54:08 | → | xstill- joins (xstill@fimu/xstill) |
| 19:54:29 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:1926:260a:1924:1e2) |
| 19:54:30 | → | pavonia joins (~user@user/siracusa) |
| 19:54:37 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 19:55:46 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:55:54 | → | zaquest joins (~notzaques@5.130.79.72) |
| 20:02:22 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 20:03:53 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 20:05:27 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 20:05:27 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 20:07:14 | → | juhp joins (~juhp@128.106.188.82) |
| 20:07:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:08:29 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:11:24 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:11:28 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 20:12:37 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 20:16:14 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:16:14 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:16:14 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:20:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 20:22:26 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 20:22:59 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:28:51 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Ping timeout: 256 seconds) |
| 20:28:51 | × | xstill- quits (xstill@fimu/xstill) (Ping timeout: 256 seconds) |
| 20:30:50 | → | atwm joins (~atwm@pop.92-184-112-8.mobile.abo.orange.fr) |
| 20:31:52 | × | atwm quits (~atwm@pop.92-184-112-8.mobile.abo.orange.fr) (Remote host closed the connection) |
| 20:36:58 | → | xstill- joins (xstill@fimu/xstill) |
| 20:37:30 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 20:38:37 | × | biog quits (~user1@static.39.160.132.142.clients.your-server.de) (Quit: ZZZzzz…) |
| 20:39:59 | × | evocatus quits (~evocatus@62.182.77.224) (Quit: Leaving) |
| 20:45:56 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 20:51:24 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 20:52:50 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 20:53:16 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:a000:310a:887:a8c8:ed35) (Ping timeout: 250 seconds) |
| 20:54:55 | × | sektor quits (~kvirc@87.227.175.182) (Ping timeout: 256 seconds) |
| 21:02:44 | × | _ht quits (~quassel@2a02:a468:b619:1:b64b:7088:4c77:6428) (Remote host closed the connection) |
| 21:04:49 | → | lispy joins (~lispy4@84.69.59.93) |
| 21:08:21 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 21:08:21 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 21:08:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:09:45 | → | xlei_ joins (~akans@pool-71-125-19-142.nycmny.fios.verizon.net) |
| 21:10:47 | × | xlei quits (~akans@pool-71-125-19-142.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 21:12:02 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 21:13:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 21:14:35 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 21:18:27 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 21:24:18 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 21:24:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:25:30 | <energizer> | shot in the dark - is there a unicode symbol in math that represents `isInfixOf`? |
| 21:27:14 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 21:27:15 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Remote host closed the connection) |
| 21:27:22 | <hpc> | the closest symbols i can think of all operate on sets |
| 21:28:55 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 21:28:58 | <d34df00d> | energizer: if you're asking that, then probably your readers won't know either, so I'd go with inventing your own for your domain. |
| 21:30:32 | × | Shiranai quits (~Shiranai@190.237.13.17) (Quit: Connection closed) |
| 21:34:08 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:38:08 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 21:41:59 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Quit: Leaving) |
| 21:42:15 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 21:49:53 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 256 seconds) |
| 21:50:49 | yoneda | is now known as nf |
| 21:53:06 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:53:49 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:55:01 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Ping timeout: 240 seconds) |
| 21:57:54 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 22:01:55 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:03:03 | → | jkaye joins (~jkaye@2601:281:8300:7530:a42:be20:6ada:7861) |
| 22:03:26 | <energizer> | is there a package somewhere with safe versions of functions like `safeMaximum :: [a] -> Maybe a` |
| 22:04:36 | <xsperry> | safe package, perhaps |
| 22:04:36 | <ephemient> | (∣) = isSubsequenceOf would be *somewhat* understandable, maybe. can't think of one for isInfixOf though |
| 22:04:59 | <johnw> | Can I use cabal to compile .agda files in my project, in order to import compiled Agda modules into my Haskell project? |
| 22:06:26 | <energizer> | xsperry: that's it, thanks |
| 22:06:34 | <xsperry> | np |
| 22:07:01 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 22:07:37 | <hololeap> | energizer: I wonder if you could borrow something from relational algebra: https://en.wikipedia.org/wiki/Relational_algebra |
| 22:08:15 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 22:08:36 | <energizer> | hololeap: i'm not seeing the connection |
| 22:09:12 | <EvanR> | I've been avoiding safeMaximum by putting an item at the head of the list to act as the default |
| 22:09:29 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:09:29 | × | xb0o2 quits (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 22:09:54 | hololeap | shrugs |
| 22:10:01 | <energizer> | i guess isInfixOf is really a regular expression match query |
| 22:10:10 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 22:10:12 | <hololeap> | isInfixOf seems like it could be related to some kind of join |
| 22:10:17 | × | shapr quits (~user@2601:7c0:c37c:46d0:2bce:110:d6ba:469e) (Ping timeout: 240 seconds) |
| 22:10:38 | <hololeap> | I'm not familiar enough with all that to give more detail than that |
| 22:11:15 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
| 22:12:09 | <geekosaur> | johnw, cabal doesn't currently know about Agda. there's been a proposal made for a plugin mechanism which would allow adding support for arbitrary languages (rather than, say, adding wired-in support for Agda or Rust or whatever) but it's only a proposal at present |
| 22:12:33 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 22:14:15 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 22:15:35 | × | jkaye quits (~jkaye@2601:281:8300:7530:a42:be20:6ada:7861) (Remote host closed the connection) |
| 22:16:16 | <energizer> | ephemient: (|) actually seems right for isInfixOf, since "abc" is a product "a" \times "b" \times "c" in the regular-language sense and "bc" 'divides' that product. or am i wrong? |
| 22:16:47 | → | benin joins (~benin@106.198.88.241) |
| 22:16:56 | <energizer> | oh yeah i'm wrong |
| 22:16:58 | <energizer> | duh |
| 22:17:13 | <energizer> | cuz "ac" also divides "abc" |
| 22:19:09 | <energizer> | ...or does it |
| 22:19:24 | <ephemient> | also U+007C is special in Haskell, so I wrote U+2223 there |
| 22:19:42 | <ephemient> | which makes it all the more awkward |
| 22:20:17 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:22:15 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 22:22:26 | <energizer> | https://en.wikipedia.org/wiki/Division_(mathematics)#Left_and_right_division |
| 22:22:59 | → | Ruit joins (~textual@c-69-248-83-247.hsd1.nj.comcast.net) |
| 22:23:20 | <monochrom> | This × is non-commutative. abc is not ac × b |
| 22:23:27 | × | Ruit quits (~textual@c-69-248-83-247.hsd1.nj.comcast.net) (Client Quit) |
| 22:23:57 | → | you joins (~ShmoSeph@c-69-248-83-247.hsd1.nj.comcast.net) |
| 22:23:58 | <energizer> | that applies to the matrix case too, so i dont think that hurts us |
| 22:24:57 | <sclv> | johnw: the above is basically correct. in the meantime, if you want, you can use a custom setup.hs that compiles agda as a preconf hook |
| 22:24:59 | <energizer> | `"abc" / "bc"` is `Just "a"` i think? |
| 22:25:11 | <monochrom> | Yeah. |
| 22:28:50 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 22:32:06 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:32:10 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 22:34:50 | <energizer> | `"aba" / "a"` makes "ab" or "ba" ? |
| 22:36:02 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 22:37:00 | <energizer> | oh here we go https://en.wikipedia.org/wiki/Quotient_of_a_formal_language |
| 22:37:01 | × | ensyde quits (~ensyde@2600:1700:2050:1040:59da:fcd2:abfb:4d1d) (Read error: Connection reset by peer) |
| 22:38:40 | <Hecate> | §3 |
| 22:38:43 | <Hecate> | (woops) |
| 22:38:53 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:39:42 | × | lispy quits (~lispy4@84.69.59.93) (Quit: Leaving) |
| 22:41:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:41:46 | <monochrom> | Also https://en.wikipedia.org/wiki/Composition_of_relations#Quotients >:) |
| 22:42:36 | <energizer> | ephemient: actually i think (|) can be correct, if it's defined to mean "right-divides" or to mean "left-divides" |
| 22:43:16 | <EvanR> | the poor disrespected broken pipe symbol, such a missed opportunity to mean "divides" |
| 22:43:28 | <EvanR> | I mean... seriously... |
| 22:43:47 | <ephemient> | but neither left-divides nor right-divides is what you want, is it? |
| 22:43:51 | <EvanR> | ¦ |
| 22:44:18 | <energizer> | ephemient: aren't they equivalent and both equal to isInfixOf? |
| 22:45:56 | <energizer> | ...or are they equivalent to isPrefixOf and isSuffixOf |
| 22:48:13 | <energizer> | i think it might be prefix/suffix not infix but i'm not, like, good at this |
| 22:48:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:49:28 | <ephemient> | if you're thinking of (⨉) = (<>) then it's definitely prefix/suffix |
| 22:53:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:01:05 | → | jkaye joins (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 23:04:25 | → | deadmarshal joins (~deadmarsh@95.38.231.124) |
| 23:04:58 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-125.cust.tzulo.com) (Quit: Leaving) |
| 23:07:00 | → | yauhsien_ joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 23:08:54 | × | deadmarshal quits (~deadmarsh@95.38.231.124) (Ping timeout: 250 seconds) |
| 23:11:29 | × | yauhsien_ quits (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 23:13:02 | × | you quits (~ShmoSeph@c-69-248-83-247.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 23:14:02 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:17:20 | → | benin5 joins (~benin@183.82.179.241) |
| 23:18:17 | × | benin quits (~benin@106.198.88.241) (Ping timeout: 256 seconds) |
| 23:18:18 | benin5 | is now known as benin |
| 23:24:22 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 23:25:04 | → | tommd joins (~tommd@75-164-130-101.ptld.qwest.net) |
| 23:27:18 | × | Topsi quits (~Tobias@dyndsl-095-033-024-084.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 23:27:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:31:14 | → | AlexNoo_ joins (~AlexNoo@178.34.162.42) |
| 23:31:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 23:33:01 | × | AlexZenon quits (~alzenon@94.233.240.62) (Ping timeout: 256 seconds) |
| 23:34:43 | × | cosimone quits (~user@93-47-231-31.ip115.fastwebnet.it) (Ping timeout: 256 seconds) |
| 23:34:43 | × | Alex_test quits (~al_test@94.233.240.62) (Ping timeout: 256 seconds) |
| 23:35:07 | × | AlexNoo quits (~AlexNoo@94.233.240.62) (Ping timeout: 256 seconds) |
| 23:35:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:36:51 | → | AlexZenon joins (~alzenon@178.34.162.42) |
| 23:38:19 | × | jkaye quits (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) (Remote host closed the connection) |
| 23:38:47 | → | jkaye joins (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 23:40:05 | → | Alex_test joins (~al_test@178.34.162.42) |
| 23:41:10 | → | yauhsien_ joins (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 23:41:30 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:41:32 | × | jkaye quits (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) (Remote host closed the connection) |
| 23:42:14 | → | jkaye joins (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 23:45:53 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 23:49:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:53:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
All times are in UTC on 2022-01-16.