Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4782 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 .. 5022
— 502,152 events total
2021-05-07 18:21:29 <tomsmeding> so that's why you need that constraint
2021-05-07 18:21:33 <thblt> tomsmeding: thanks.
2021-05-07 18:21:52 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-07 18:22:05 → robotmay joins (~beepboop@2001:8b0:7af0:2580:f0c2:ac37:d419:2dbf)
2021-05-07 18:22:20 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-07 18:22:48 <monochrom> The ideal of "write each fact once only" is plausible but it is not going to manifest in the form "write the same text and reuse verbatim in multiple contexts".
2021-05-07 18:23:22 <thblt> IOW, I cannot prevent the existence of a value of type "Calc X" for all x because of `undefined`, right?
2021-05-07 18:23:35 <tomsmeding> that's part of the problem indeed
2021-05-07 18:23:54 <tomsmeding> the other part is that even if there was no undefined at all, ghc would need to do _work_ to figure out which type is the right one
2021-05-07 18:24:28 <tomsmeding> because the types to compare depend on the _value_ at runtime
2021-05-07 18:24:33 <monochrom> Rather, it is more likely to manifest as writing in a structured, machine-readable format, and then for different contexts you apply a different filter and presenter.
2021-05-07 18:24:50 → mrchampion joins (~mrchampio@38.18.109.23)
2021-05-07 18:25:20 <thblt> tomsmeding: Ha right, Calc A and Calc B are both Calc.
2021-05-07 18:25:38 <thblt> tomsmeding: Thanks a lot :)
2021-05-07 18:25:59 <tomsmeding> the ghc developers could have decided to have the program do that work at runtime -- pattern match on the Calc in question to figure out which Eq dictionary to use -- but they decided not to
2021-05-07 18:26:03 <tomsmeding> thblt: cheers!
2021-05-07 18:26:49 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-07 18:28:28 → notzmv joins (~zmv@unaffiliated/zmv)
2021-05-07 18:29:27 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-07 18:30:11 → guriya joins (a0ee4b30@unaffiliated/guriya)
2021-05-07 18:30:17 × Firedancer quits (sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva) (Read error: Connection reset by peer)
2021-05-07 18:30:39 × hamishmack quits (sid389057@gateway/web/irccloud.com/x-rpcgwizcoublvqlf) (Ping timeout: 250 seconds)
2021-05-07 18:30:40 → xkapastel joins (uid17782@gateway/web/irccloud.com/x-nlcljrukqpuvrydw)
2021-05-07 18:30:51 × mpickering quits (sid78412@gateway/web/irccloud.com/x-tpskmsnkgjzzndkf) (Ping timeout: 260 seconds)
2021-05-07 18:31:05 × rann quits (sid175221@gateway/web/irccloud.com/x-kpzfexuzehrsrngu) (Ping timeout: 250 seconds)
2021-05-07 18:31:14 × nick_h quits (sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj) (Ping timeout: 245 seconds)
2021-05-07 18:31:20 × joel135 quits (sid136450@gateway/web/irccloud.com/x-btpltzfcfgoqnjdk) (Read error: Connection reset by peer)
2021-05-07 18:31:25 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-07 18:31:32 × gluegadget quits (sid22336@gateway/web/irccloud.com/x-rvnpjowkbxcsxpry) (Read error: Connection reset by peer)
2021-05-07 18:31:32 × edwinb quits (sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj) (Read error: Connection reset by peer)
2021-05-07 18:31:53 × sphi quits (~sphi@160.202.37.181) (Quit: Using Circe, the loveliest of all IRC clients)
2021-05-07 18:32:01 × PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-kmmdocnfhgdlkmie) (Ping timeout: 245 seconds)
2021-05-07 18:32:04 × dmj` quits (sid72307@gateway/web/irccloud.com/x-dxdffqeugfhdwmki) (Ping timeout: 245 seconds)
2021-05-07 18:32:13 × Tritlo quits (sid58727@gateway/web/irccloud.com/x-oepyiacuibpypgrx) (Read error: Connection reset by peer)
2021-05-07 18:32:17 × acertain quits (sid470584@gateway/web/irccloud.com/x-orzpfpabdksdtfgw) (Read error: Connection reset by peer)
2021-05-07 18:32:38 × jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-07 18:32:42 × affinespaces quits (sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak) (Ping timeout: 240 seconds)
2021-05-07 18:33:19 × SanchayanMaity quits (sid478177@gateway/web/irccloud.com/x-ggfrtzsywgaxgizs) (Ping timeout: 245 seconds)
2021-05-07 18:33:58 × dsturnbull quits (sid347899@gateway/web/irccloud.com/x-omsvvcpcwxsussbn) (Ping timeout: 276 seconds)
2021-05-07 18:34:49 → SanchayanMaity joins (sid478177@gateway/web/irccloud.com/x-chukfjcdrrnxfddu)
2021-05-07 18:34:49 → hamishmack joins (sid389057@gateway/web/irccloud.com/x-afrowrmbutgwqusu)
2021-05-07 18:34:50 → joel135 joins (sid136450@gateway/web/irccloud.com/x-oyngtafyvwzftkrz)
2021-05-07 18:34:56 → PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-pralefdjruhydymr)
2021-05-07 18:35:04 → nick_h joins (sid319833@gateway/web/irccloud.com/x-delbcuuwgtpqxrew)
2021-05-07 18:35:11 → gluegadget joins (sid22336@gateway/web/irccloud.com/x-rvenbvjzvhfmmnvs)
2021-05-07 18:35:13 → acertain joins (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb)
2021-05-07 18:35:13 → Tritlo joins (sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz)
2021-05-07 18:35:14 → affinespaces joins (sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut)
2021-05-07 18:35:15 → Firedancer joins (sid336191@gateway/web/irccloud.com/x-jmirddsbudznybxt)
2021-05-07 18:35:16 → mpickering joins (sid78412@gateway/web/irccloud.com/x-sprmnvdugdkgqlgh)
2021-05-07 18:35:36 → edwinb joins (sid69486@gateway/web/irccloud.com/x-txoworskyiyslxla)
2021-05-07 18:35:47 → dsturnbull joins (sid347899@gateway/web/irccloud.com/x-ycsflmfxxhqdrina)
2021-05-07 18:35:54 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-07 18:36:14 → rann joins (sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv)
2021-05-07 18:36:19 → dmj` joins (sid72307@gateway/web/irccloud.com/x-suyglozgzpvoorxi)
2021-05-07 18:37:10 × rajivr quits (uid269651@gateway/web/irccloud.com/x-gkfvaaewbzylzobi) (Quit: Connection closed for inactivity)
2021-05-07 18:38:45 <monochrom> The intuitionistic/construcive logic perspective sides with the compiler.
2021-05-07 18:38:47 <Gurkenglas> I'm getting a type error of b1 in go :: forall a1 b1. a1 -> Graph [(a1, b1)] -> Graph [(a1, b1)] not matching with b in monotonic :: (Ord a, Eq b) => Graph a -> Graph b -> Graph [(a, b)] even after turning on ScopedTypeVariables, what might cause that?
2021-05-07 18:39:03 × chisui quits (59f77ca1@i59F77CA1.versanet.de) (Ping timeout: 240 seconds)
2021-05-07 18:39:17 <Gurkenglas> (where my actual type annotation has no 1 in there)
2021-05-07 18:39:33 <monochrom> A classical logician has no problem with "a~Int or a~Bool, what's the problem?". A intuitionistic logician disagrees, "but you didn't tell me which one it is".
2021-05-07 18:39:57 <Gurkenglas> (works if I comment out go's annotation)
2021-05-07 18:40:11 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds)
2021-05-07 18:41:07 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:26bd:1b9c:1bb0:c59b) (Ping timeout: 260 seconds)
2021-05-07 18:41:46 × proofofkeags__ quits (~proofofke@205.209.28.54) (Ping timeout: 240 seconds)
2021-05-07 18:42:46 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-07 18:43:19 <monochrom> The minimum requirement for the Eq case would be: Eq :: Either (a :~: Bool) (a :~: Int) -> Calc a -> Calc a -> Bool
2021-05-07 18:44:08 <monochrom> This is minimum in theoretical obligatory information. The minimum-in-programmer-time solution is, of course, just adding "Eq a =>" and call it a day.
2021-05-07 18:45:34 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-07 18:47:59 × jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds)
2021-05-07 18:50:05 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-07 18:51:36 → _xft0 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl)
2021-05-07 18:51:46 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 18:52:25 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-07 18:54:01 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:45dc:7be8:df7c:b953)
2021-05-07 18:55:02 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-07 18:55:21 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-07 18:58:01 × knupfer quits (~Thunderbi@200116b82b638900b876a868553c62e5.dip.versatel-1u1.de) (Ping timeout: 276 seconds)
2021-05-07 18:58:13 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-07 19:02:41 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-07 19:04:48 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-05-07 19:05:22 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-07 19:06:18 → Ishutin_ joins (~ishutin@80-95-86-70.pool.digikabel.hu)
2021-05-07 19:07:21 × Ishutin quits (~ishutin@84-236-8-11.pool.digikabel.hu) (Ping timeout: 260 seconds)
2021-05-07 19:11:14 → bitmagie joins (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de)
2021-05-07 19:13:47 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-07 19:13:48 → kingmaker joins (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de)
2021-05-07 19:14:49 × bitmagie quits (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de) (Client Quit)
2021-05-07 19:16:37 <Gurkenglas> I have a string in ghci. How do I call another process with it?
2021-05-07 19:17:26 <Gurkenglas> I could put the string computation in a main, compile the .hs and pipe the .exe into that process, but that seems slow for iteration
2021-05-07 19:17:50 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-07 19:21:25 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2021-05-07 19:21:50 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2021-05-07 19:22:20 × guriya quits (a0ee4b30@unaffiliated/guriya) (Quit: Connection closed)
2021-05-07 19:25:12 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-07 19:25:42 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-07 19:26:00 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 19:27:33 <hyperisco> anyone know anything about stack exit codes? I am getting exit code 2 despite there being no error message
2021-05-07 19:27:50 <hyperisco> on stack install
2021-05-07 19:28:32 <hyperisco> the output appears the same on another machine but the exit code is 0
←Prev  Next→
Page 1 .. 4782 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 .. 5022

All times are in UTC.