| 2024-01-04 00:05:34 +0100 | <monochrom> | Although, I don't think "you dont have to figure out which member you actually have before operating on it" makes sense in even Oleg's union. |
| 2024-01-04 00:05:42 +0100 | vulpine | (xfnw@tilde.team) |
| 2024-01-04 00:06:42 +0100 | <monochrom> | Although^2, programmer's prose description being completely unreliable, I can't even be sure what that sentence means. |
| 2024-01-04 00:07:15 +0100 | <Axman6> | you could probably do something with generics-sop |
| 2024-01-04 00:08:14 +0100 | <Axman6> | and then use type classes to say foo :: HasMember a alts => SOP alts f -> ... or something (been a long time since I looked at sop) |
| 2024-01-04 00:09:10 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-04 00:18:22 +0100 | <geekosaur> | I'm wondering if typeclasses by themselves are closest to what was actually intended, tbh |
| 2024-01-04 00:18:31 +0100 | <geekosaur> | think outside the C box |
| 2024-01-04 00:19:54 +0100 | <geekosaur> | that said I catch a whiff of OOP think here |
| 2024-01-04 00:20:13 +0100 | <monochrom> | Well, Python was mentioned. >:) |
| 2024-01-04 00:21:47 +0100 | <energizer> | if a module/package A defines a typeclass and B defines a type, can C define how the type is an instance of the typeclass? |
| 2024-01-04 00:23:20 +0100 | <monochrom> | Conversely, I had a student over-excited by Haskell and therefore tried to write Haskell code in Python: Instead of taking advantage of OO, the student wrote a lot of "if x isinstanceOf C then ... else if x isInstanceOf D then ... else ..." |
| 2024-01-04 00:23:27 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-04 00:24:19 +0100 | <monochrom> | Yes you can do that. You will run into "orphaned instance" warnings because there are drawbacks. But it's legal. |
| 2024-01-04 00:25:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-01-04 00:26:42 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
| 2024-01-04 00:26:49 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 256 seconds) |
| 2024-01-04 00:27:21 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-04 00:28:25 +0100 | misterfish | (~misterfis@87.215.131.98) |
| 2024-01-04 00:36:50 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-01-04 00:37:08 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-04 00:40:39 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-01-04 00:41:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-04 00:42:27 +0100 | misterfish | (~misterfis@87.215.131.98) (Ping timeout: 252 seconds) |
| 2024-01-04 00:43:52 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-01-04 00:46:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1c7c:a8a0:e06d:ea11) (Ping timeout: 268 seconds) |
| 2024-01-04 00:47:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-04 00:57:14 +0100 | acidjnk | (~acidjnk@p200300d6e72b9332bd5f9443fc84bbf7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-04 01:01:15 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-04 01:02:31 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-04 01:03:35 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 2024-01-04 01:10:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-04 01:14:25 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-01-04 01:19:44 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-04 01:41:51 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-04 01:58:51 +0100 | <iphy> | is there an equivalent to (fmap . fmap . fmap) for "for_"? |
| 2024-01-04 02:00:01 +0100 | <iphy> | I want to do a 3 levels deep for_, so right now I have `for_ xxxs $ \xxs -> for_ xxs $ \xs -> for_ xs -> do something` |
| 2024-01-04 02:03:24 +0100 | <EvanR> | energizer, "record of functions" or just type classes accomplishes "uniform interface which could be implemented many ways"... which is more like intersection types than union |
| 2024-01-04 02:04:50 +0100 | <energizer> | EvanR: i mean if i want to make a union of T and R then i can define a class UnionTR and implement it for T and R |
| 2024-01-04 02:05:54 +0100 | <EvanR> | then some function says I expect to be handed a thing that satisfies UnionTR, i.e. T AND R, i.e. intersection not union |
| 2024-01-04 02:06:03 +0100 | <EvanR> | whereas union is like T OR R |
| 2024-01-04 02:06:42 +0100 | <EvanR> | at least that's how interfaces are described in oop nowadays |
| 2024-01-04 02:06:51 +0100 | <monochrom> | Rewrite "for_ xs f" to "traverse_ f xs", which is actually the OG (OK the real OG is mapM_). for_ was an afterthought syntax sugar. |
| 2024-01-04 02:08:13 +0100 | <monochrom> | Then you will find that you're looking at "traverse_ (traverse_ (traverse_ something)) xxxs" so it is amenable to using (.) |
| 2024-01-04 02:10:06 +0100 | <monochrom> | This is why mapM_ is the OG. It is directly analogous to fmap, complete with analogous argument order. forM_ and for_ are imposters. |
| 2024-01-04 02:11:17 +0100 | <[Leary]> | You could also use `for_ . Compose . Compose`. |
| 2024-01-04 02:11:33 +0100 | <monochrom> | :( |
| 2024-01-04 02:12:14 +0100 | <iphy> | right, thanks :) |
| 2024-01-04 02:12:45 +0100 | <EvanR> | we need a programming language where argument order doesn't matter |
| 2024-01-04 02:13:00 +0100 | <EvanR> | to finally solve it |
| 2024-01-04 02:13:31 +0100 | <EvanR> | and yes it's HTML |
| 2024-01-04 02:14:26 +0100 | <energizer> | PL with only commutative functions probably exists |
| 2024-01-04 02:18:09 +0100 | <monochrom> | Here are some reasons people have trouble clarifying between "and" and "or". |
| 2024-01-04 02:19:55 +0100 | <monochrom> | If I have a set S = {x,y}, then both of the following hold: "if z in S, then z=x or z=y" which harps on "or"; "x in S and y in S" which harps on "and". |
| 2024-01-04 02:20:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-01-04 02:21:17 +0100 | <monochrom> | Every function of type "Either X Y -> Z" (which harps on "or") can be factored into a pair (X -> Z, Y -> Z) (which harps on "and"). |
| 2024-01-04 02:21:38 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-01-04 02:21:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-04 02:22:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-04 02:23:37 +0100 | <EvanR> | when math descriptions of situations annoyingly decide to explain "x has some property P" as "x is in set P"... is that and or or xD |
| 2024-01-04 02:23:44 +0100 | bilegeek | (~bilegeek@2600:1008:b025:e194:70b1:1c7f:4763:8e19) |
| 2024-01-04 02:28:27 +0100 | <monochrom> | Oh yeah that is one more reason, which goes way back to what Aristotle realized. |
| 2024-01-04 02:30:43 +0100 | <monochrom> | He realized that there are two dual ways to characterize a notion. For example if you want to characterize cars. You could enumerate all instances of cars. Or you could enumerate all traits of cars. (The OO people end up doing the latter, s/trait/method/ ) |
| 2024-01-04 02:31:24 +0100 | <monochrom> | Naturally, union of trait sets becomes intersection of instance sets. |
| 2024-01-04 02:34:31 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2024-01-04 02:40:56 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-04 02:54:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-01-04 02:54:27 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-01-04 02:55:05 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-04 03:17:16 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 276 seconds) |
| 2024-01-04 03:20:08 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-04 03:21:08 +0100 | mmhat | (~mmh@p200300f1c7323c8fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2024-01-04 03:22:57 +0100 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-01-04 03:34:12 +0100 | araujo | (~araujo@216.73.163.89) |
| 2024-01-04 03:35:09 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-04 03:36:36 +0100 | araujo | (~araujo@216.73.163.89) (Remote host closed the connection) |
| 2024-01-04 03:44:02 +0100 | rosco | (~rosco@14.191.221.79) |
| 2024-01-04 03:54:53 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-01-04 04:03:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-04 04:04:00 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-04 04:04:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-04 04:05:27 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-04 04:07:12 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-04 04:14:37 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-01-04 04:15:19 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-04 04:15:30 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-04 04:15:34 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Ping timeout: 245 seconds) |
| 2024-01-04 04:15:41 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2024-01-04 04:16:11 +0100 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2024-01-04 04:16:36 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2024-01-04 04:16:43 +0100 | cheater_ | cheater |
| 2024-01-04 04:20:02 +0100 | infonaut | (~onkrac@153.33.68.192) |
| 2024-01-04 04:21:35 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-01-04 04:21:36 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-04 04:26:49 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-04 04:27:53 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-04 04:28:28 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-04 04:37:04 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-01-04 04:43:13 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 2024-01-04 04:44:45 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2024-01-04 04:49:23 +0100 | Batzy | (~quassel@user/batzy) |
| 2024-01-04 04:49:37 +0100 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-04 04:51:23 +0100 | td_ | (~td@i53870921.versanet.de) |
| 2024-01-04 04:52:47 +0100 | Batzy_ | (~quassel@user/batzy) (Ping timeout: 264 seconds) |
| 2024-01-04 04:54:20 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-01-04 05:08:31 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-01-04 05:09:02 +0100 | not_reserved | (~not_reser@185.153.177.188) |
| 2024-01-04 05:12:18 +0100 | aforemny | (~aforemny@2001:9e8:6ce0:4e00:87b9:bb6b:a794:dec0) |
| 2024-01-04 05:12:31 +0100 | trev | (~trev@user/trev) |
| 2024-01-04 05:12:58 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf9:b200:7b19:e80d:f43d:af69) (Ping timeout: 246 seconds) |
| 2024-01-04 05:16:04 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-04 05:29:06 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 245 seconds) |
| 2024-01-04 05:31:09 +0100 | td_ | (~td@i53870939.versanet.de) |
| 2024-01-04 05:32:44 +0100 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2024-01-04 05:36:15 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2c72-319f-381f-b43a.res6.spectrum.com) |
| 2024-01-04 05:42:27 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2024-01-04 05:42:29 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2024-01-04 05:42:29 +0100 | haritz | (~hrtz@user/haritz) |
| 2024-01-04 05:46:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-04 06:01:06 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-04 06:02:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-04 06:08:11 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-01-04 06:15:34 +0100 | Core6310 | (~rosco@2001:ee0:50e4:59f0:79d2:43e7:f8f9:f6b) |
| 2024-01-04 06:19:54 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-04 06:26:31 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-04 06:29:24 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-01-04 06:49:49 +0100 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2024-01-04 06:51:08 +0100 | rosco | (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 2024-01-04 07:11:52 +0100 | infonaut | (~onkrac@153.33.68.192) (Quit: WeeChat 3.5) |
| 2024-01-04 07:11:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 07:12:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 07:16:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-04 07:18:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-04 07:19:17 +0100 | euleritian | (~euleritia@dynamic-046-114-205-107.46.114.pool.telefonica.de) |
| 2024-01-04 07:24:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-04 07:24:42 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2024-01-04 07:24:59 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-04 07:29:20 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-01-04 07:30:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-01-04 07:44:51 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-04 07:46:03 +0100 | rosco | (~rosco@14.191.221.79) |
| 2024-01-04 07:50:17 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-04 07:52:13 +0100 | <dminuoso_> | energizer: To continue on your union topic. Well you can of course just use Dynamic, and write some `unsafeFromDynamic :: Dynamic -> a`, and enjoy the bottoms in your program. |
| 2024-01-04 07:52:43 +0100 | <dminuoso_> | Err that is missing a `Typeable a` constraint of course. |
| 2024-01-04 07:53:12 +0100 | <energizer> | dminuoso_: it's not the dynamism that i'm looking for, it just so happens that dynamic languages tend to have support for those types |
| 2024-01-04 07:53:50 +0100 | <dminuoso_> | I dont understand. |
| 2024-01-04 07:53:59 +0100 | <dminuoso_> | How is `Dynamic` not exactly that all-encompassing union type? |
| 2024-01-04 08:01:50 +0100 | euleritian | (~euleritia@dynamic-046-114-205-107.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-04 08:02:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 08:02:20 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-01-04 08:04:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 08:04:45 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 08:04:45 +0100 | rosco | (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 2024-01-04 08:06:23 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-01-04 08:20:32 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-01-04 08:33:56 +0100 | helslwed | (~helslwed@176.254.244.83) (Ping timeout: 268 seconds) |
| 2024-01-04 08:36:48 +0100 | <monochrom> | I don't think there is consensus whether it is "dynamic languages can support union types" or "dynamic languages support no types at all, instead can support dynamic ad hoc dispatch". |
| 2024-01-04 08:38:56 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-04 08:41:27 +0100 | <monochrom> | But it's an unproductive rabbit hole because every time you take a solution method optimized for one language and try to replicate it in another language it is always going to be an unproductive rabbit hole. |
| 2024-01-04 08:42:44 +0100 | <monochrom> | Like I said, the converse also holds, it is just as silly to replicate Haskell's favourite algebraic types and pattern matching in Python and refuse to use OO there. |
| 2024-01-04 08:43:13 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 256 seconds) |
| 2024-01-04 08:45:08 +0100 | DaRiX | (~DaRiX@176.254.244.83) |
| 2024-01-04 08:46:51 +0100 | <dminuoso_> | monochrom: Sure. I think trying to pin any single description to python is helpful, they are ultimately just mind models. |
| 2024-01-04 08:46:54 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-04 08:47:27 +0100 | <dminuoso_> | Especially if a language doesnt outright start with denotational semantics |
| 2024-01-04 08:52:05 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-01-04 08:53:44 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-01-04 09:01:27 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-01-04 09:03:28 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-04 09:03:41 +0100 | <haskellbridge> | 14<maerwald> Does it matter? |
| 2024-01-04 09:05:17 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-01-04 09:06:11 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-04 09:06:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-04 09:08:59 +0100 | <[exa]> | energizer: "tend to have support for these types" I tend to read as "for whatever reason they didn't decide to kill the wide spectrum of subtle atrocities right at the source" |
| 2024-01-04 09:09:20 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-01-04 09:11:20 +0100 | <energizer> | anyway i found a paper about union and intersection types, i figure it'll be more productive to read that than doing another round on irc https://arxiv.org/pdf/1206.5386.pdf |
| 2024-01-04 09:11:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-04 09:19:55 +0100 | acidjnk | (~acidjnk@p200300d6e72b9355985adb6a1a34faf9.dip0.t-ipconnect.de) |
| 2024-01-04 09:23:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-01-04 09:23:52 +0100 | euleritian | (~euleritia@dynamic-046-114-205-107.46.114.pool.telefonica.de) |
| 2024-01-04 09:23:53 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-04 09:27:23 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:ab00:ca4b:d6ff:fec1:99da) |
| 2024-01-04 09:29:11 +0100 | euleritian | (~euleritia@dynamic-046-114-205-107.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-04 09:29:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 09:34:35 +0100 | <[exa]> | energizer: btw most people who actually want "union-ish" types are pretty happy with existentials, e.g. the polymorphic lists etc. The main challenge is to represent the information that is really available at compile-time reasonably; and with unions that's quite hard |
| 2024-01-04 09:36:06 +0100 | <[exa]> | cf. julia -- they try to do unions everywhere and it kinda works BUT suddenly there are packages with loading time around 10 seconds where the whole time is wasted by the runtime on literally searching through the type unions and trying to figure out what is what |
| 2024-01-04 09:39:58 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-04 09:45:08 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-01-04 09:47:29 +0100 | dnh^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-04 09:54:10 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-04 10:01:10 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2024-01-04 10:16:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-04 10:22:14 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-04 10:23:15 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Leaving) |
| 2024-01-04 10:25:16 +0100 | bilegeek | (~bilegeek@2600:1008:b025:e194:70b1:1c7f:4763:8e19) (Quit: Leaving) |
| 2024-01-04 10:31:33 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-04 10:34:19 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2024-01-04 10:43:24 +0100 | rosco | (~rosco@14.191.221.79) |
| 2024-01-04 10:44:17 +0100 | Core6310 | (~rosco@2001:ee0:50e4:59f0:79d2:43e7:f8f9:f6b) (Read error: Connection reset by peer) |
| 2024-01-04 10:46:50 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: I gotta go.) |
| 2024-01-04 10:48:07 +0100 | arahael_ | (~arahael@43.245.36.156) |
| 2024-01-04 10:49:50 +0100 | arahael_ | (~arahael@43.245.36.156) () |
| 2024-01-04 10:55:19 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-01-04 10:55:27 +0100 | rosco | (~rosco@14.191.221.79) (Ping timeout: 268 seconds) |
| 2024-01-04 10:56:34 +0100 | ubert | (~Thunderbi@p200300ecdf0b88389ad273f029169514.dip0.t-ipconnect.de) |
| 2024-01-04 11:12:16 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-04 11:15:01 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-01-04 11:15:11 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-04 11:17:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-04 11:21:23 +0100 | chele | (~chele@user/chele) |
| 2024-01-04 11:22:57 +0100 | wheatengineer | (~frederik@p200300f63f25e0005b9afabf97e17f62.dip0.t-ipconnect.de) |
| 2024-01-04 11:25:06 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 11:26:49 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-01-04 11:27:09 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-04 11:27:39 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-04 11:30:32 +0100 | not_reserved | (~not_reser@185.153.177.188) (Ping timeout: 250 seconds) |
| 2024-01-04 11:32:29 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 11:34:34 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-04 11:34:52 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-04 11:35:02 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-04 11:35:36 +0100 | rosco | (~rosco@113.161.70.10) |
| 2024-01-04 11:38:16 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2024-01-04 11:39:09 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-04 11:41:05 +0100 | zeka_ | (~zeka@2600:1700:2121:180:fdba:3a5f:e04d:7620) (Ping timeout: 268 seconds) |
| 2024-01-04 11:42:07 +0100 | zeka__ | (~zeka@2600:1700:2121:180:a844:f195:8819:66c0) |
| 2024-01-04 11:53:23 +0100 | rosco | (~rosco@113.161.70.10) (Ping timeout: 264 seconds) |
| 2024-01-04 11:54:15 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-04 11:56:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-04 12:01:28 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-04 12:02:00 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:ab00:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
| 2024-01-04 12:09:41 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-04 12:10:39 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-04 12:11:45 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-01-04 12:14:29 +0100 | rosco | (~rosco@14.161.22.228) |
| 2024-01-04 12:18:51 +0100 | rosco | (~rosco@14.161.22.228) (Ping timeout: 260 seconds) |
| 2024-01-04 12:19:53 +0100 | rosco | (~rosco@113.161.70.10) |
| 2024-01-04 12:21:23 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-04 12:23:38 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-01-04 12:26:47 +0100 | rosco | (~rosco@113.161.70.10) (Ping timeout: 260 seconds) |
| 2024-01-04 12:28:34 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2024-01-04 12:33:03 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-01-04 12:35:59 +0100 | vglfr | (~vglfr@169.pool85-48-184.static.orange.es) |
| 2024-01-04 12:39:08 +0100 | sroso | (~sroso@user/SrOso) (Remote host closed the connection) |
| 2024-01-04 12:39:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-04 12:46:35 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-04 12:53:36 +0100 | foul_owl | (~kerry@185.216.231.182) (Read error: Connection reset by peer) |
| 2024-01-04 12:56:00 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-04 12:56:08 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-01-04 12:56:22 +0100 | vglfr | (~vglfr@169.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-04 12:56:44 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-04 12:58:13 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-04 13:01:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-04 13:01:03 +0100 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | sm2n | (ae95cb1267@user/sm2n) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | cpli | (77fc530071@2604:bf00:561:2000::252) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | kuruczgy | (55b66dd3ae@2604:bf00:561:2000::127f) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | aniketd | (32aa4844cd@2604:bf00:561:2000::dcb) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | probie | (cc0b34050a@user/probie) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:04 +0100 | raghavgururajan_ | (799d132964@2604:bf00:561:2000::242) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | chaitlatte0 | (ea29c0bb16@2604:bf00:561:2000::1124) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | sus | (1b7af6299f@user/zeromomentum) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:05 +0100 | jakzale | (6291399afa@user/jakzale) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | eso | (a0662dfd5e@2604:bf00:561:2000::1266) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Read error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:06 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (Write error: Connection reset by peer) |
| 2024-01-04 13:01:16 +0100 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2024-01-04 13:01:21 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2024-01-04 13:01:21 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2024-01-04 13:01:22 +0100 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2024-01-04 13:01:24 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-01-04 13:01:24 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-01-04 13:01:25 +0100 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2024-01-04 13:01:25 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-01-04 13:01:25 +0100 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) |
| 2024-01-04 13:01:26 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2024-01-04 13:01:27 +0100 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-01-04 13:01:27 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2024-01-04 13:01:28 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2024-01-04 13:01:28 +0100 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) |
| 2024-01-04 13:01:30 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2024-01-04 13:01:33 +0100 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 2024-01-04 13:01:35 +0100 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2024-01-04 13:01:36 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-01-04 13:01:40 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2024-01-04 13:01:41 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-01-04 13:01:42 +0100 | fn_lumi | (3d621153a5@2604:bf00:561:2000::df7) |
| 2024-01-04 13:01:42 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
| 2024-01-04 13:01:43 +0100 | probie | (cc0b34050a@user/probie) |
| 2024-01-04 13:01:44 +0100 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2024-01-04 13:01:44 +0100 | aniketd | (32aa4844cd@2604:bf00:561:2000::dcb) |
| 2024-01-04 13:01:46 +0100 | kuruczgy | (55b66dd3ae@2604:bf00:561:2000::127f) |
| 2024-01-04 13:01:47 +0100 | eso | (a0662dfd5e@2604:bf00:561:2000::1266) |
| 2024-01-04 13:01:49 +0100 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2024-01-04 13:01:49 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2024-01-04 13:01:52 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-01-04 13:01:52 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-01-04 13:01:53 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-01-04 13:01:54 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-01-04 13:01:55 +0100 | cpli | (77fc530071@2604:bf00:561:2000::252) |
| 2024-01-04 13:01:56 +0100 | rselim | (ce261f06ff@user/milesrout) |
| 2024-01-04 13:02:47 +0100 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
| 2024-01-04 13:06:58 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-04 13:10:30 +0100 | foul_owl | (~kerry@185.216.231.181) |
| 2024-01-04 13:18:27 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-04 13:18:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-01-04 13:18:27 +0100 | finn_elija | FinnElija |
| 2024-01-04 13:22:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-01-04 13:22:25 +0100 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 276 seconds) |
| 2024-01-04 13:23:14 +0100 | euleritian | (~euleritia@82.113.98.54) |
| 2024-01-04 13:24:35 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-04 13:26:01 +0100 | euleritian | (~euleritia@82.113.98.54) (Read error: Connection reset by peer) |
| 2024-01-04 13:26:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 13:26:40 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 13:29:14 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-04 13:34:27 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 2024-01-04 13:38:53 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 240 seconds) |
| 2024-01-04 13:42:33 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:ba5c:5700:a75b:5c2d) |
| 2024-01-04 13:43:25 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-04 13:44:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-04 13:53:20 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-04 13:53:21 +0100 | edr | (~edr@user/edr) |
| 2024-01-04 13:55:50 +0100 | AlexZenon | (~alzenon@178.34.161.237) (Ping timeout: 268 seconds) |
| 2024-01-04 13:58:51 +0100 | tv | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2024-01-04 13:59:33 +0100 | AlexZenon | (~alzenon@178.34.161.237) |
| 2024-01-04 13:59:33 +0100 | AlexZenon | (~alzenon@178.34.161.237) (Client Quit) |
| 2024-01-04 13:59:47 +0100 | AlexNoo | (~AlexNoo@178.34.161.237) (Quit: Leaving) |
| 2024-01-04 14:04:21 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 2024-01-04 14:12:20 +0100 | tv | (~tv@user/tv) |
| 2024-01-04 14:13:00 +0100 | AlexNoo | (~AlexNoo@178.34.161.237) |
| 2024-01-04 14:14:04 +0100 | AlexNoo | (~AlexNoo@178.34.161.237) (Client Quit) |
| 2024-01-04 14:15:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-04 14:16:31 +0100 | AlexZenon | (~alzenon@178.34.161.237) |
| 2024-01-04 14:17:23 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-01-04 14:20:20 +0100 | AlexNoo | (~AlexNoo@178.34.161.237) |
| 2024-01-04 14:20:43 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-04 14:21:57 +0100 | not_reserved | (~not_reser@86.48.15.29) |
| 2024-01-04 14:29:06 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-01-04 14:29:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-04 14:32:52 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-04 14:37:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-04 14:41:42 +0100 | euleritian | (~euleritia@82.113.98.54) |
| 2024-01-04 14:46:52 +0100 | <haskellbridge> | 04<Artem> Julia is slow to load not because of union types. It's the whole compilation strategy and LLVM working at load time. The union stuff is pretty efficient. You can read a paper of my colleague Ben Ching on it https://benchung.github.io/papers/jlalgo.pdf |
| 2024-01-04 14:51:34 +0100 | <[exa]> | Artem: that's another issue. I spent a lot of time benchmarking this one, don't worry |
| 2024-01-04 14:54:22 +0100 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2024-01-04 14:55:27 +0100 | <[exa]> | as in, try doing `import JuMP` and profile; 85% time spent is in `intersect_all` of runtime just walking&backtracking through the types |
| 2024-01-04 14:56:30 +0100 | <[exa]> | the LLVM precompilation used to be a lot worse (esp. in 2019 from the paper date) but they did a pretty good job on precompiling and caching reasonably, so it's by far not as painful nowadays |
| 2024-01-04 14:57:01 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-04 15:02:13 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2024-01-04 15:03:21 +0100 | euleritian | (~euleritia@82.113.98.54) (Ping timeout: 268 seconds) |
| 2024-01-04 15:03:57 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2024-01-04 15:04:22 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2024-01-04 15:04:32 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) () |
| 2024-01-04 15:07:32 +0100 | euleritian | (~euleritia@dynamic-046-114-156-223.46.114.pool.telefonica.de) |
| 2024-01-04 15:07:38 +0100 | tv | (~tv@user/tv) |
| 2024-01-04 15:10:39 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: I gotta go.) |
| 2024-01-04 15:16:35 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-04 15:18:31 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-04 15:19:10 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2024-01-04 15:22:20 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-04 15:25:58 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2024-01-04 15:27:21 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-04 15:28:49 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-04 15:47:26 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 245 seconds) |
| 2024-01-04 15:48:11 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-04 15:48:12 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Client Quit) |
| 2024-01-04 15:49:28 +0100 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2024-01-04 16:03:02 +0100 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2024-01-04 16:07:53 +0100 | Ekho | (~Ekho@user/ekho) |
| 2024-01-04 16:09:21 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-04 16:15:12 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:ab00:ca4b:d6ff:fec1:99da) |
| 2024-01-04 16:15:50 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-04 16:16:14 +0100 | tv | (~tv@user/tv) |
| 2024-01-04 16:17:01 +0100 | califax | (~califax@user/califx) |
| 2024-01-04 16:18:31 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-04 16:21:53 +0100 | famubu | (~julinuser@user/famubu) () |
| 2024-01-04 16:22:06 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-04 16:26:13 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-04 16:31:03 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-04 16:32:01 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-04 16:38:24 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-01-04 16:43:52 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 268 seconds) |
| 2024-01-04 16:51:29 +0100 | Square | (~Square@user/square) |
| 2024-01-04 17:03:20 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-04 17:03:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-04 17:06:54 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-04 17:07:36 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-04 17:08:10 +0100 | <Fansly> | Hello |
| 2024-01-04 17:08:57 +0100 | <[exa]> | hi there |
| 2024-01-04 17:17:12 +0100 | <haskellbridge> | 15<Jade> hi |
| 2024-01-04 17:20:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-04 17:30:05 +0100 | gues26563 | (~username@2001:4090:a246:827d:570d:ddf3:8977:a395) |
| 2024-01-04 17:36:11 +0100 | not_reserved | (~not_reser@86.48.15.29) (Quit: Client closed) |
| 2024-01-04 17:36:57 +0100 | Dmitry44 | (~Dmitry@92.100.122.12) |
| 2024-01-04 17:38:07 +0100 | <Dmitry44> | Hello! I try to install ghcid and have the same problems on all my machines (under vanilla Arch). |
| 2024-01-04 17:38:12 +0100 | <Dmitry44> | [1 of 6] Compiling Language.Haskell.Ghcid.Escape ( src/Language/Haskell/Ghcid/Escape.hs, dist/build/Language/Haskell/Ghcid/Escape.o, dist/build/Language/Haskell/Ghcid/Escape.dyn_o ) |
| 2024-01-04 17:38:13 +0100 | <Dmitry44> | src/Language/Haskell/Ghcid/Escape.hs:12:1: error: |
| 2024-01-04 17:38:13 +0100 | <Dmitry44> | Could not find module ‘Data.Either.Extra’ |
| 2024-01-04 17:38:14 +0100 | <Dmitry44> | There are files missing in the ‘extra-1.7.14’ package, |
| 2024-01-04 17:38:14 +0100 | <Dmitry44> | try running 'ghc-pkg check'. |
| 2024-01-04 17:38:15 +0100 | <Dmitry44> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2024-01-04 17:38:15 +0100 | <Dmitry44> | | |
| 2024-01-04 17:38:16 +0100 | <Dmitry44> | 12 | import Data.Either.Extra |
| 2024-01-04 17:38:16 +0100 | <Dmitry44> | | ^^^^^^^^^^^^^^^^^^^^^^^^ |
| 2024-01-04 17:38:17 +0100 | <Dmitry44> | src/Language/Haskell/Ghcid/Escape.hs:13:1: error: |
| 2024-01-04 17:38:17 +0100 | <Dmitry44> | Could not find module ‘Data.List.Extra’ |
| 2024-01-04 17:38:18 +0100 | <Dmitry44> | There are files missing in the ‘extra-1.7.14’ package, |
| 2024-01-04 17:38:18 +0100 | <Dmitry44> | try running 'ghc-pkg check'. |
| 2024-01-04 17:38:19 +0100 | <Dmitry44> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2024-01-04 17:38:19 +0100 | <Dmitry44> | | |
| 2024-01-04 17:38:20 +0100 | <Dmitry44> | 13 | import Data.List.Extra |
| 2024-01-04 17:38:20 +0100 | <Dmitry44> | | ^^^^^^^^^^^^^^^^^^^^^^ |
| 2024-01-04 17:38:21 +0100 | <Dmitry44> | src/Language/Haskell/Ghcid/Escape.hs:15:1: error: |
| 2024-01-04 17:39:00 +0100 | <exarkun> | Dmitry44: irc is not great at large blobs of text. Try pasting on something like gist.github.com or codepad.org and then pasting a link here. |
| 2024-01-04 17:39:13 +0100 | <EvanR> | @where paste |
| 2024-01-04 17:39:13 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-01-04 17:39:29 +0100 | <Dmitry44> | i tried both ways: install Cabal / GHC with ghcup, or to install it from Arch repo (ghc 9.0, cabal-install, ghc-static, ghc-extra) |
| 2024-01-04 17:39:46 +0100 | <Dmitry44> | got it! |
| 2024-01-04 17:40:01 +0100 | <haskellbridge> | 14<maerwald> arch repo is broken trash |
| 2024-01-04 17:40:26 +0100 | <Dmitry44> | ok. which linux distro is most stable for haskell? |
| 2024-01-04 17:41:30 +0100 | euleritian | (~euleritia@dynamic-046-114-156-223.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-01-04 17:41:35 +0100 | <haskellbridge> | 14<maerwald> stable? Haskellers hate stable |
| 2024-01-04 17:41:38 +0100 | <haskellbridge> | 14<maerwald> let's see |
| 2024-01-04 17:41:45 +0100 | <haskellbridge> | 14<maerwald> Ubuntu, Fedora, Debian, Mint |
| 2024-01-04 17:42:14 +0100 | <Dmitry44> | i'm a beginner, so i prefer something smooth and gentle ))) joking |
| 2024-01-04 17:42:18 +0100 | <haskellbridge> | 14<maerwald> I'm leaning towards Fedora |
| 2024-01-04 17:44:02 +0100 | euleritian | (~euleritia@dynamic-046-114-175-238.46.114.pool.telefonica.de) |
| 2024-01-04 17:44:19 +0100 | <haskellbridge> | 14<maerwald> I like smooth too, but some Haskellers don't |
| 2024-01-04 17:44:22 +0100 | <haskellbridge> | 14<maerwald> they like it rough |
| 2024-01-04 17:44:34 +0100 | <haskellbridge> | 14<maerwald> they want things to break, because it's cool :D |
| 2024-01-04 17:45:34 +0100 | <Dmitry44> | thanks |
| 2024-01-04 17:45:37 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:7f3:c10e:ae4b:b779) |
| 2024-01-04 17:45:37 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:7f3:c10e:ae4b:b779) (Changing host) |
| 2024-01-04 17:45:37 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-04 17:47:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-04 17:49:58 +0100 | <haskellbridge> | 06<sm> "ar: .stack-work/dist/aarch64-osx/ghc-9.8.1/build/cbits/c_fsevents.o: No such file or directory" - does it ring any bells ? |
| 2024-01-04 17:50:10 +0100 | <haskellbridge> | 06<sm> (building hfsevents.. I guess I should check their tracker) |
| 2024-01-04 17:53:08 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-04 17:54:36 +0100 | Dmitry44 | (~Dmitry@92.100.122.12) (Quit: Client closed) |
| 2024-01-04 17:55:12 +0100 | ubert1 | (~Thunderbi@p200300ecdf0b88097115ce3f27816b5d.dip0.t-ipconnect.de) |
| 2024-01-04 17:55:26 +0100 | ubert | (~Thunderbi@p200300ecdf0b88389ad273f029169514.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-04 17:55:26 +0100 | ubert1 | ubert |
| 2024-01-04 17:55:53 +0100 | euleritian | (~euleritia@dynamic-046-114-175-238.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-01-04 17:56:38 +0100 | <haskellbridge> | 06<sm> lots of haskellers want things to not break, let's not make people forget we exist :) |
| 2024-01-04 17:56:46 +0100 | <haskellbridge> | 06<sm> think we don't exist |
| 2024-01-04 17:57:18 +0100 | <haskellbridge> | 06<sm> gosh why would anyone pick Fedora over Debian ? well, off topic I guess |
| 2024-01-04 17:57:52 +0100 | <[exa]> | way to break stuff |
| 2024-01-04 17:58:13 +0100 | euleritian | (~euleritia@dynamic-046-114-180-041.46.114.pool.telefonica.de) |
| 2024-01-04 18:00:35 +0100 | <[exa]> | re fsevents, is there any previous error or log from anything that made the c_fsevents.o ? |
| 2024-01-04 18:00:54 +0100 | <[exa]> | (kinda wondering, why would the source file have a suffix `.m` ?) |
| 2024-01-04 18:03:09 +0100 | <EvanR> | we're blaming arch's haskell issues on haskell? |
| 2024-01-04 18:03:33 +0100 | <EvanR> | smh |
| 2024-01-04 18:04:27 +0100 | <haskellbridge> | 06<sm> [exa] I don't think so, I'm also getting this from just `stack build hfsevents` |
| 2024-01-04 18:04:29 +0100 | <geekosaur> | [exa], looks like Objective-C |
| 2024-01-04 18:04:42 +0100 | euleritian | (~euleritia@dynamic-046-114-180-041.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-01-04 18:05:00 +0100 | <haskellbridge> | 06<sm> I would compare with cabal but I am not smart enough to make cabal (re)build this package and confirm that it worked |
| 2024-01-04 18:05:03 +0100 | euleritian | (~euleritia@dynamic-046-114-005-049.46.114.pool.telefonica.de) |
| 2024-01-04 18:07:01 +0100 | <haskellbridge> | 14<maerwald> sm: Fedora never break OpenSSL? xD |
| 2024-01-04 18:07:07 +0100 | <haskellbridge> | 14<maerwald> *broke |
| 2024-01-04 18:07:15 +0100 | <haskellbridge> | 14<maerwald> can think of many other reasons |
| 2024-01-04 18:09:39 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-04 18:11:56 +0100 | <duncan> | It is not the case that Fedora breaks things like package dependencies |
| 2024-01-04 18:12:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Remote host closed the connection) |
| 2024-01-04 18:12:24 +0100 | <duncan> | It adds new Linux sauce and changes a way of doing a thing, but it's not actually broken |
| 2024-01-04 18:12:26 +0100 | euleritian | (~euleritia@dynamic-046-114-005-049.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-01-04 18:12:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-04 18:12:33 +0100 | <haskellbridge> | 14<maerwald> debian also likes to mess with SONAMEs and pkg-config files |
| 2024-01-04 18:13:17 +0100 | euleritian | (~euleritia@dynamic-046-114-001-220.46.114.pool.telefonica.de) |
| 2024-01-04 18:15:39 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-04 18:19:40 +0100 | <duncan> | If you consider Linux changing things like network, sound as a breakage, then sure, Debian breaks those too. If you aren't considering something like BSD or Solaris/Illumos as a serious alternative in this case (which they absolutely are), then that's on you, and your loss |
| 2024-01-04 18:20:37 +0100 | <duncan> | Debian LTS is also really good BTW, and it's in most circumstances free of charge. I'd use that sooner than Ubuntu or its derivatives. |
| 2024-01-04 18:20:59 +0100 | euleritian | (~euleritia@dynamic-046-114-001-220.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-01-04 18:21:10 +0100 | <haskellbridge> | 14<maerwald> or Gentoo ;P |
| 2024-01-04 18:21:30 +0100 | wheatengineer | (~frederik@p200300f63f25e0005b9afabf97e17f62.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-01-04 18:21:54 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-04 18:22:51 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-01-04 18:23:24 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-01-04 18:23:52 +0100 | haskellbridge | 06<sm> throws https://changelog.complete.org/archives/10620-consider-security-first into the pot |
| 2024-01-04 18:24:12 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-04 18:26:45 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-01-04 18:29:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-04 18:31:54 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:ab00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-01-04 18:36:38 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 2024-01-04 18:39:41 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-04 18:43:07 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-04 18:45:49 +0100 | euleritian | (~euleritia@dynamic-046-114-232-233.46.114.pool.telefonica.de) |
| 2024-01-04 18:51:58 +0100 | ubert | (~Thunderbi@p200300ecdf0b88097115ce3f27816b5d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-04 18:54:24 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-04 18:56:02 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-04 18:56:52 +0100 | gues26563 | (~username@2001:4090:a246:827d:570d:ddf3:8977:a395) (Ping timeout: 246 seconds) |
| 2024-01-04 18:57:05 +0100 | shapr`` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-04 18:57:56 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:7f3:c10e:ae4b:b779) |
| 2024-01-04 18:57:57 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:7f3:c10e:ae4b:b779) (Changing host) |
| 2024-01-04 18:57:57 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-04 18:58:25 +0100 | ubert | (~Thunderbi@p200300ecdf0b880962fc2fd34a0ff1a5.dip0.t-ipconnect.de) |
| 2024-01-04 18:58:36 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-01-04 18:59:14 +0100 | euleritian | (~euleritia@dynamic-046-114-232-233.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-01-04 19:01:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-04 19:04:20 +0100 | euleritian | (~euleritia@dynamic-046-114-105-137.46.114.pool.telefonica.de) |
| 2024-01-04 19:12:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Remote host closed the connection) |
| 2024-01-04 19:15:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-04 19:16:55 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-04 19:20:09 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
| 2024-01-04 19:23:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-04 19:25:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-04 19:28:05 +0100 | <exarkun> | there isn't a deriving strategy for a record type that derives an instance using the instance for a specified record field, is there? |
| 2024-01-04 19:28:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-04 19:29:39 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-04 19:33:14 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-04 19:33:34 +0100 | <glguy> | exarkun: seem very unlikely |
| 2024-01-04 19:34:23 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-04 19:34:49 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-04 19:42:35 +0100 | mikess | (~sam@user/mikess) |
| 2024-01-04 19:47:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-04 19:52:57 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) |
| 2024-01-04 19:53:06 +0100 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (WeeChat 4.1.1) |
| 2024-01-04 19:54:01 +0100 | shapr`` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-01-04 20:03:19 +0100 | euleritian | (~euleritia@dynamic-046-114-105-137.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-04 20:03:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 20:08:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-04 20:08:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 20:13:20 +0100 | ubert | (~Thunderbi@p200300ecdf0b880962fc2fd34a0ff1a5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-04 20:14:05 +0100 | tv | (~tv@user/tv) (Ping timeout: 240 seconds) |
| 2024-01-04 20:14:23 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 264 seconds) |
| 2024-01-04 20:18:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-04 20:23:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Remote host closed the connection) |
| 2024-01-04 20:23:38 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2024-01-04 20:24:11 +0100 | ubert | (~Thunderbi@p200300ecdf0b8809c68cd0f0e38f660b.dip0.t-ipconnect.de) |
| 2024-01-04 20:26:45 +0100 | <[exa]> | is there some shortcut syntax for making functions that update a few named record fields, like `\record -> record{field1=xxx, field2=yyy}` |
| 2024-01-04 20:26:58 +0100 | <glguy> | no |
| 2024-01-04 20:27:19 +0100 | <[exa]> | but I'd love to abuse this for various devilish purposes. :( |
| 2024-01-04 20:28:02 +0100 | <geekosaur> | (lens…) |
| 2024-01-04 20:28:32 +0100 | tv | (~tv@user/tv) |
| 2024-01-04 20:31:02 +0100 | <monochrom> | lens or maybe something from the HasField system. |
| 2024-01-04 20:31:03 +0100 | <EvanR> | define that function |
| 2024-01-04 20:31:15 +0100 | <monochrom> | That too. :) |
| 2024-01-04 20:32:05 +0100 | <Rembane> | Isn't it possible to pattern match on records if using some nice modern extensions? |
| 2024-01-04 20:32:52 +0100 | <monochrom> | Yes, but this question doesn't want to get fields, it wants to set fields. |
| 2024-01-04 20:33:53 +0100 | <[exa]> | yap. I'll probably go with lenses but the operator glue there isn't that nice |
| 2024-01-04 20:34:09 +0100 | <[exa]> | the syntax \{f1=val1, f2=val2} is used for anything? |
| 2024-01-04 20:34:34 +0100 | <[exa]> | ok apparently it's reserved for a parse error |
| 2024-01-04 20:35:54 +0100 | <monochrom> | I expect "\R{f1=val1, f2=val2} -> ..." to be vanilla Haskell 2010 pattern matching for record syntax, if R is a data constructor. |
| 2024-01-04 20:36:38 +0100 | <monochrom> | "\{f1=val1, f2=val2}" is way too close to that, and I would not like it to mean setting fields instead of getting fields. |
| 2024-01-04 20:37:36 +0100 | <monochrom> | At any rate in general I expect "\foo" to mean that foo is an input not an output. |
| 2024-01-04 20:37:57 +0100 | <monochrom> | or rather, foo describes an input. |
| 2024-01-04 20:41:10 +0100 | <[exa]> | yeah |
| 2024-01-04 20:46:12 +0100 | <c_wraith> | monochrom: am I remembering right, that you sometimes give students an exercise in making a probability monad? |
| 2024-01-04 20:47:06 +0100 | <Franciman> | is anybody using haskell with guix? |
| 2024-01-04 20:47:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-04 20:47:56 +0100 | <monochrom> | c_wraith: You remember right, I did that. |
| 2024-01-04 20:48:34 +0100 | <c_wraith> | monochrom: did you ask them to model the Monty Hall problem to make sure they got it right? :) |
| 2024-01-04 20:48:47 +0100 | <monochrom> | I didn't. |
| 2024-01-04 20:48:59 +0100 | <c_wraith> | You may not be evil enough :) |
| 2024-01-04 20:49:15 +0100 | <[exa]> | Franciman: I've had a plan to try like 2 months ago but never got to it :D |
| 2024-01-04 20:50:07 +0100 | <Franciman> | i was trying, and it seems kinda "problemless" atm |
| 2024-01-04 20:50:17 +0100 | <Franciman> | issue being you have fewer packaged deps |
| 2024-01-04 20:50:33 +0100 | <Franciman> | but you also have the guix import hackage/stackage commodity |
| 2024-01-04 20:50:41 +0100 | <Franciman> | haven't tried them yet |
| 2024-01-04 20:51:14 +0100 | <[exa]> | you might hit this https://github.com/simonmichael/hledger/issues/1033#issuecomment-1005437746 |
| 2024-01-04 20:51:25 +0100 | <[exa]> | but that's all the problems I know about |
| 2024-01-04 20:51:44 +0100 | <Franciman> | ty |
| 2024-01-04 20:51:49 +0100 | <monochrom> | As it happens, it is true that the dispute comes down to "Hall knows which door is unprized and opens it" vs "Hall picks a random door to open, oh it happens to be unprized". So it comes down to whoever posing the question making it clear or unclear. |
| 2024-01-04 20:53:07 +0100 | <monochrom> | Or did I misremember it? I need to check again. |
| 2024-01-04 20:53:42 +0100 | <c_wraith> | monochrom: I don't think that actually matters. I think it is sufficient to say "he opened a door, this is what was behind it". |
| 2024-01-04 20:54:09 +0100 | <c_wraith> | Whether he knew or not doesn't affect the decision tree |
| 2024-01-04 20:54:44 +0100 | <__monty__> | Also doesn't matter whether or not the prize is behind the revealed door. |
| 2024-01-04 20:55:20 +0100 | <__monty__> | If it is then switch or not doesn't matter. If it isn't then switching's optimal. That means regardless of what is revealed it's optimal to switch. |
| 2024-01-04 20:56:46 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-01-04 20:56:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-04 20:56:51 +0100 | <c_wraith> | hah. also true. |
| 2024-01-04 20:57:59 +0100 | <c_wraith> | though if he reveals the winning prize, it *does* change the probabilities, even if not what choice is optimal |
| 2024-01-04 20:59:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-04 21:01:07 +0100 | euleritian | (~euleritia@dynamic-046-114-105-137.46.114.pool.telefonica.de) |
| 2024-01-04 21:02:00 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-04 21:03:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-04 21:09:03 +0100 | euleritian | (~euleritia@dynamic-046-114-105-137.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-04 21:09:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-04 21:16:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-04 21:18:24 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-04 21:34:49 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-01-04 21:36:59 +0100 | <peutri> | what if his alg is "only offer to switch if it results in a goat"? |
| 2024-01-04 21:38:05 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-01-04 21:38:12 +0100 | <monochrom> | You are an evil game host. >:) |
| 2024-01-04 21:38:37 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
| 2024-01-04 21:39:00 +0100 | <monochrom> | Are you the Phantom of The Opera? Offering a lose-lose game? |
| 2024-01-04 21:40:36 +0100 | <EvanR> | if the prize is behind the open door, the probability is 100%. Otherwise 0% |
| 2024-01-04 21:40:42 +0100 | <EvanR> | duh |
| 2024-01-04 21:41:17 +0100 | <peutri> | my point is, if all you see is him switching, you don't know much more of the rules |
| 2024-01-04 21:41:19 +0100 | <EvanR> | veritasium has been having a field day with stuff like this |
| 2024-01-04 21:41:21 +0100 | <EvanR> | recently |
| 2024-01-04 21:42:14 +0100 | <monochrom> | All versions of the question insist that the revealed door has no prize. So if you model Hall as random, you have to throw in conditional probability "on condition that it is unprized". |
| 2024-01-04 21:42:37 +0100 | <monochrom> | Wait, recent? I think it has been years. |
| 2024-01-04 21:43:13 +0100 | <EvanR> | sleeping beauty paradox 10 months ago, ok not that recent |
| 2024-01-04 21:43:17 +0100 | <EvanR> | just me time warping |
| 2024-01-04 21:43:21 +0100 | <monochrom> | Definitely older than that time about the switch, the lightbulb just a metre away, and a very very long cable. |
| 2024-01-04 21:43:46 +0100 | <monochrom> | Oh sleeping beauty. |
| 2024-01-04 21:43:48 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-04 21:44:37 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-04 21:45:25 +0100 | <EvanR> | I keep thinking the right answer is one which I never heard anywhere but probability 101, which posed probabilities as things you make up for a situation instead of discovering from a word problem, unless the word problem gives you the probabilities somehow |
| 2024-01-04 21:46:11 +0100 | <monochrom> | I agree. |
| 2024-01-04 21:46:13 +0100 | <EvanR> | so monty hall having 99.9999% prize in one of the doors is valid instead of 1/3 |
| 2024-01-04 21:48:32 +0100 | <monochrom> | Well you make up assumptions, but you try to be reasonable, so for example you use the principle of indifference and assume uniform probabilities as much as possible. |
| 2024-01-04 21:49:48 +0100 | <EvanR> | the probabilities you make up could be better or worse by a practical metric once applied |
| 2024-01-04 21:49:55 +0100 | <EvanR> | if you can repeat experiments |
| 2024-01-04 21:50:15 +0100 | <EvanR> | maybe if you can't |
| 2024-01-04 21:50:42 +0100 | <EvanR> | i.e. I said probability is 0% and the one time we get to try it happens, my model sucks |
| 2024-01-04 21:52:34 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2024-01-04 21:52:45 +0100 | <monochrom> | Yeah I just mean you do not start with 0.999 out of the blue, if you start with it it should be because you have data or previous experience favouring it. |
| 2024-01-04 21:52:59 +0100 | <EvanR> | or perhaps you have an argument arguing for it xD |
| 2024-01-04 21:53:19 +0100 | <EvanR> | logos pathos ethos or something |
| 2024-01-04 22:07:59 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-04 22:17:48 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-04 22:18:35 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-04 22:23:00 +0100 | bilegeek | (~bilegeek@2600:1008:b00e:eae6:fb16:ad39:774b:5f34) |
| 2024-01-04 22:23:41 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-01-04 22:25:07 +0100 | ubert | (~Thunderbi@p200300ecdf0b8809c68cd0f0e38f660b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-01-04 22:28:02 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 260 seconds) |
| 2024-01-04 22:44:28 +0100 | mikess | (~sam@user/mikess) |
| 2024-01-04 22:45:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-01-04 22:59:18 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 2024-01-04 23:00:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-04 23:07:00 +0100 | <phma> | I submitted a package, but Hackage refused to build it because its compiler is too old to understand (.>>.). Is it time to upgrade the compiler? |
| 2024-01-04 23:07:18 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-04 23:07:20 +0100 | <phma> | https://hackage.haskell.org/package/WringTwistree-0.0.1.0/reports/2 |
| 2024-01-04 23:07:22 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-04 23:08:45 +0100 | <c_wraith> | might be. I have no idea how they pick a GHC version to build with. In the interim, you can upload docs built offline |
| 2024-01-04 23:09:18 +0100 | <phma> | The docs build fine on my box. How do I upload them? |
| 2024-01-04 23:09:57 +0100 | <c_wraith> | check out how https://github.com/ekmett/lens/blob/master/scripts/hackage-docs.sh does it |
| 2024-01-04 23:09:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-04 23:13:30 +0100 | <jackdk> | cabal haddock --haddock-for-hackage followed by cabal upload -d on the tarball it makes |
| 2024-01-04 23:14:17 +0100 | <phma> | will that work with stack too? cabal would use the old compiler, I think |
| 2024-01-04 23:15:41 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-04 23:17:23 +0100 | <sclv> | cabal uses whatever compiler you specify with the -with-compiler flag |
| 2024-01-04 23:17:37 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2024-01-04 23:18:00 +0100 | <monochrom> | Huh you can totally install a new compiler (eg with ghcup) and if it is the default (eg tell ghcup to make it default) then cabal will use it. |
| 2024-01-04 23:19:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-04 23:20:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-04 23:21:32 +0100 | <monochrom> | In fact under a reasonablility assumption, since you have uploaded to hackage, you must have tested "cabal build" and observed that it have succeeded, therefore it must have used a new-enough compiler. |
| 2024-01-04 23:22:11 +0100 | <sclv> | i assume they tested with stack |
| 2024-01-04 23:22:42 +0100 | <monochrom> | Well then the reasonability assumption fails. |
| 2024-01-04 23:23:02 +0100 | <haskellbridge> | 15<Jade> Heya, I'm trying to build a computer algebra system that focuses on type level stuff. |
| 2024-01-04 23:23:03 +0100 | <haskellbridge> | 15<Jade> Specifically I have a `Function f` class which can be extended. |
| 2024-01-04 23:23:03 +0100 | <monochrom> | Naive of me to assume that people test things before uploading. |
| 2024-01-04 23:23:04 +0100 | <haskellbridge> | 15<Jade> I want to be able to perform simplifications on them, for which I was considering an open type family, in order to add simplifications on the fly. |
| 2024-01-04 23:23:05 +0100 | <haskellbridge> | 15<Jade> The problem is, that there are overlaps pretty quickly which makes this not very useful, as it doesn't work properly. |
| 2024-01-04 23:23:07 +0100 | <haskellbridge> | 15<Jade> Specifically, if I for example have `instance Simplifies (Number :+ Number) where type Simplification (Number :+ Number) = Number; -- implementation` then it becomes impossible to have a recursive case `instance Simplifies (f :+ g) where -- ...` because those overlap. |
| 2024-01-04 23:23:08 +0100 | <haskellbridge> | 15<Jade> I was trying multiple things (split up into multiple classes, Use newtypes) but none have worked out yet |
| 2024-01-04 23:23:32 +0100 | <haskellbridge> | 15<Jade> I don't really know where to go from here, because I would like to be able to do type level extendable simplification |
| 2024-01-04 23:24:49 +0100 | <monochrom> | "computer algebra system that focuses on type level stuff" sounds like an oxymoron. |
| 2024-01-04 23:25:10 +0100 | <haskellbridge> | 15<Jade> Let's call it a CAS library, does that make sense? |
| 2024-01-04 23:26:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-04 23:26:29 +0100 | <monochrom> | Either you go all out on dependent typing, or you accept a large chunk of run-time checks. |
| 2024-01-04 23:26:48 +0100 | <haskellbridge> | 15<Jade> yeah I want to try to do dependent types but I suck at it lol |
| 2024-01-04 23:26:55 +0100 | <monochrom> | In the former case, either way 10 more years for Haskell to get there, or switch to a real dependently typed language today. |
| 2024-01-04 23:27:04 +0100 | <monochrom> | s/way/wait/ |
| 2024-01-04 23:27:20 +0100 | <haskellbridge> | 15<Jade> heh |
| 2024-01-04 23:27:34 +0100 | <haskellbridge> | 15<Jade> I mean, I can mostly get there with what I have using closed type families |
| 2024-01-04 23:27:44 +0100 | <haskellbridge> | 15<Jade> but I want to have it extendable |
| 2024-01-04 23:28:04 +0100 | <monochrom> | But overlapping instances is not a crime, it is possibly the right thing to do in this case. |
| 2024-01-04 23:28:31 +0100 | <haskellbridge> | 15<Jade> but it doesn't compile, at all |
| 2024-01-04 23:28:57 +0100 | <monochrom> | For example the Data Types a la Carte paper uses it. I think it uses undecidable instances too. This is just cause. I think that paper addresses what you're doing too. |
| 2024-01-04 23:29:17 +0100 | <haskellbridge> | 15<Jade> okay thank you |
| 2024-01-04 23:30:54 +0100 | <monochrom> | Consult the GHC user's guide on how to enable overlapping instances. (It is no longer as simple as OverlappingInstances because it really shouldn't be that coarse-grained.) |
| 2024-01-04 23:32:17 +0100 | <monochrom> | (Although, for a quirky first try, just turn it on coarse-grained, worry about fine-tuning later. :) ) |
| 2024-01-04 23:34:13 +0100 | <haskellbridge> | 15<Jade> I'm also thinking about if I actually need all this typelevel stuff xd |
| 2024-01-04 23:34:23 +0100 | <haskellbridge> | 15<Jade> I have learned a lot, that's a good thing I suppose |
| 2024-01-04 23:35:20 +0100 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2024-01-04 23:35:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-04 23:39:15 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-01-04 23:40:12 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-01-04 23:43:14 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-04 23:45:23 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2024-01-04 23:45:38 +0100 | mikess | (~sam@user/mikess) |
| 2024-01-04 23:50:13 +0100 | mikess | (~sam@user/mikess) (Client Quit) |
| 2024-01-04 23:59:39 +0100 | waldo | (~waldo@user/waldo) |