Logs on 2024-07-20 (liberachat/#haskell)
| 00:05:26 | → | gmg joins (~user@user/gehmehgeh) |
| 00:08:57 | × | oo_miguel quits (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 00:15:25 | → | bearen joins (goku@user/bearen) |
| 00:21:30 | <NullPointerExcep> | Hi! I'm following the trees-that-grow paper, but I hit yet another hill with type families and quantified constraints. |
| 00:21:31 | <NullPointerExcep> | Suppose you have the following definitions: |
| 00:21:31 | <NullPointerExcep> | ``` |
| 00:21:32 | <NullPointerExcep> | class RValue (ctx :: Type) (a :: MyTypes) |
| 00:21:33 | <NullPointerExcep> | type family UpcastX (ctx :: Type) (a :: MyTypes) (b :: MyTypes) :: Type |
| 00:21:33 | <NullPointerExcep> | data ExprTag |
| 00:21:33 | <NullPointerExcep> | data Proof (psi :: k -> Constraint) (a :: k) where |
| 00:21:34 | <NullPointerExcep> | P :: psi a => Proof psi a |
| 00:21:34 | <NullPointerExcep> | ``` |
| 00:21:35 | <NullPointerExcep> | Now, let's say i wanted to embed the quantified constraint `forall (a :: MyTypes). RValue ExprTag (Lazy (Lazy a)) `. |
| 00:21:35 | <NullPointerExcep> | I don't think I can do that with `Proof` due to the quantifier, I can do a workaround with: |
| 00:21:36 | <NullPointerExcep> | ``` |
| 00:21:36 | <NullPointerExcep> | data Proof' (psi :: k1 -> Constraint) (f :: k0 -> k1) where |
| 00:21:37 | <NullPointerExcep> | P' :: forall k (a :: k) f psi. psi (f a) => Proof' psi f |
| 00:21:37 | <NullPointerExcep> | type instance UpcastX ExprTag a b = Proof' (RValue ExprTag) Value |
| 00:21:38 | <NullPointerExcep> | ``` |
| 00:21:38 | <NullPointerExcep> | But it's bothering me that I needed another abstraction, is there a better/more general way to do this? |
| 00:26:45 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 00:27:19 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 00:32:09 | → | madhavanmiui joins (~madhavanm@2409:40f4:101e:36e6:8000::) |
| 00:34:04 | × | madhavanmiui quits (~madhavanm@2409:40f4:101e:36e6:8000::) (Client Quit) |
| 00:34:20 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:36:36 | → | califax joins (~califax@user/califx) |
| 00:54:34 | → | ach_ol joins (~ach_ol@c-71-62-230-245.hsd1.va.comcast.net) |
| 01:11:49 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 01:15:49 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 01:20:21 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 01:20:34 | → | tomku joins (~tomku@user/tomku) |
| 01:42:04 | → | kupi joins (uid212005@2a03:5180:f:4::3:3c25) |
| 01:48:41 | × | NullPointerExcep quits (~NullPoint@200.82.250.153) (Ping timeout: 256 seconds) |
| 01:59:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:05:37 | × | bearen quits (goku@user/bearen) (Ping timeout: 252 seconds) |
| 02:07:02 | → | Guest27 joins (~Guest27@2603:7080:2a00:400:6d1b:c935:9a53:5811) |
| 02:09:44 | → | pavonia joins (~user@user/siracusa) |
| 02:19:55 | × | td_ quits (~td@i53870905.versanet.de) (Ping timeout: 252 seconds) |
| 02:21:49 | → | td_ joins (~td@i53870918.versanet.de) |
| 02:32:01 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 02:32:15 | → | tomku joins (~tomku@user/tomku) |
| 02:35:27 | → | NullPointerExcep joins (~NullPoint@200.82.250.153) |
| 02:35:54 | × | NullPointerExcep quits (~NullPoint@200.82.250.153) (Client Quit) |
| 02:36:17 | × | Guest27 quits (~Guest27@2603:7080:2a00:400:6d1b:c935:9a53:5811) (Ping timeout: 256 seconds) |
| 03:00:20 | → | supra joins (~vanilla@user/supra) |
| 03:01:14 | ← | supra parts (~vanilla@user/supra) () |
| 03:18:13 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 03:40:32 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:41:40 | × | skyesoss quits (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss) |
| 04:00:12 | → | aforemny joins (~aforemny@2001:9e8:6cf3:7d00:7722:6259:6fe2:da4f) |
| 04:01:29 | × | aforemny_ quits (~aforemny@2001:9e8:6cd6:d600:9028:bc24:7dc9:b4c1) (Ping timeout: 252 seconds) |
| 04:19:58 | → | kubo joins (~kubo@37.230.58.162) |
| 04:20:29 | <kubo> | ¿Alguien sabe? |
| 04:21:06 | × | euleritian quits (~euleritia@dynamic-176-003-020-012.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:21:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:21:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 04:22:35 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:27:28 | → | cpressey joins (~weechat@176.254.71.203) |
| 04:30:06 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 272 seconds) |
| 04:36:31 | × | kubo quits (~kubo@37.230.58.162) (Remote host closed the connection) |
| 04:40:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 04:40:57 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:07:45 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 05:25:37 | → | aaronv joins (~aaronv@user/aaronv) |
| 05:28:15 | → | billchenchina- joins (~billchenc@223.49.170.54) |
| 05:28:19 | × | billchenchina- quits (~billchenc@223.49.170.54) (Remote host closed the connection) |
| 05:28:53 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 05:29:01 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:33:48 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:36:14 | → | jkachmar joins (~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) |
| 05:36:53 | → | NullPointerExcep joins (~NullPoint@200.82.250.153) |
| 05:40:09 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 05:44:58 | × | NullPointerExcep quits (~NullPoint@200.82.250.153) (Quit: Ping timeout (120 seconds)) |
| 05:45:08 | → | NullPointerExcep joins (~NullPoint@200.82.250.153) |
| 05:45:53 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 05:46:59 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 05:47:32 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:48:23 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 05:51:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:52:50 | → | skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 05:53:02 | <NullPointerExcep> | do we have unsaturated type families? |
| 05:55:49 | <jkachmar> | the proposal was accepted & iirc Csongor had some sort of branch associated with his paper but nothing that's landed in GHC afaik |
| 05:57:57 | <Leary> | You can always defunctionalise them yourself though. |
| 05:59:01 | <jkachmar> | as always, lysxia has a library for this: https://hackage.haskell.org/package/first-class-families |
| 05:59:02 | <NullPointerExcep> | thanks! I saw something along the lines being tagged as merged on github, and thought I no longer needed to defunctionalize things |
| 06:00:43 | <NullPointerExcep> | ohh, shiny, I'll give it an eye |
| 06:00:46 | <lyxia> | do you mean P' :: forall a. psi (f a) => Proof' psi f or (forall a. psi (f a)) => Proof' psi f ? because only the latter is a quantified constraint |
| 06:01:36 | <NullPointerExcep> | the latter c: |
| 06:03:50 | <lyxia> | then you can use a simpler data Dict |
| 06:04:46 | <lyxia> | data Dict (c :: Constraint) where Dict :: c => Dict c and c can be a synonym for a quantified constraint (or not) class (forall a. psi (f a)) => C psi f ; instance (forall a. psi (f a)) => C psi f |
| 06:07:57 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 06:08:33 | → | euleritian joins (~euleritia@77.22.252.56) |
| 06:11:02 | → | acidjnk joins (~acidjnk@p200300d6e72cfb291c0587c5c944f391.dip0.t-ipconnect.de) |
| 06:14:22 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:15:17 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 06:15:52 | <NullPointerExcep> | omg, you are totally right! so obvious too, but I can't seem to use quantified constraints inside a type instance ;( |
| 06:17:30 | <NullPointerExcep> | something like type instance FooX MyContainer = Dict (forall a. Show (f a)) is rejected even with impredicative types turned on |
| 06:21:03 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:21:57 | <NullPointerExcep> | ohhh |
| 06:22:07 | <NullPointerExcep> | I found the quantified constraint trick in your page! |
| 06:22:49 | <NullPointerExcep> | brilliant, thank you so much! |
| 06:33:39 | <lyxia> | :) |
| 06:38:27 | ← | ach_ol parts (~ach_ol@c-71-62-230-245.hsd1.va.comcast.net) () |
| 06:41:50 | × | kupi quits (uid212005@2a03:5180:f:4::3:3c25) (Quit: Connection closed for inactivity) |
| 06:51:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:54:48 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 07:01:29 | × | jkachmar quits (~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 07:06:30 | × | euleritian quits (~euleritia@77.22.252.56) (Remote host closed the connection) |
| 07:06:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:11:54 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 07:12:08 | → | tomku joins (~tomku@user/tomku) |
| 07:21:17 | × | SteelBlueSilk quits (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 07:22:04 | → | SteelBlueSilk joins (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 07:22:04 | × | SteelBlueSilk quits (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 07:22:04 | → | SteelBlueSilk joins (~SteelBlue@user/SteelBlueSilk) |
| 07:25:16 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 245 seconds) |
| 07:25:16 | × | tjbc quits (~tjbc@user/fliife) (Ping timeout: 245 seconds) |
| 07:25:43 | → | tjbc joins (~tjbc@user/fliife) |
| 07:26:14 | × | sus quits (1b7af6299f@user/zeromomentum) (Ping timeout: 245 seconds) |
| 07:26:14 | × | dispater quits (~dispater@mail.brprice.uk) (Ping timeout: 245 seconds) |
| 07:26:39 | × | fgaz_ quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 245 seconds) |
| 07:26:41 | → | dispater joins (~dispater@mail.brprice.uk) |
| 07:26:42 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 07:26:48 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 07:27:59 | → | fgaz_ joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 07:30:28 | × | NullPointerExcep quits (~NullPoint@200.82.250.153) (Quit: Client closed) |
| 07:33:19 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 245 seconds) |
| 07:33:30 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 07:34:09 | × | kuruczgy quits (55b66dd3ae@2a03:6000:1812:100::127f) (Ping timeout: 245 seconds) |
| 07:34:16 | → | kuruczgy joins (55b66dd3ae@2a03:6000:1812:100::127f) |
| 07:34:59 | × | eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 245 seconds) |
| 07:38:02 | → | eso joins (a0662dfd5e@2a03:6000:1812:100::1266) |
| 07:45:36 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 07:53:57 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 07:56:05 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:56:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 07:57:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 08:03:08 | × | skyesoss quits (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 08:05:51 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 08:21:13 | → | cpressey joins (~weechat@176.254.71.203) |
| 08:28:05 | → | ash3en joins (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 08:28:44 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 08:31:12 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 276 seconds) |
| 08:48:20 | → | cpressey joins (~weechat@176.254.71.203) |
| 08:50:21 | × | amjoseph quits (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 08:51:40 | → | danza joins (~francesco@151.35.242.65) |
| 08:57:45 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:58:47 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:59:35 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 09:08:07 | → | amjoseph joins (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 09:11:31 | <ash3en> | Hi, can I use the FGL lib to retrieve coordinates of nodes in a graph or do i need to use the graphviz lib for this? |
| 09:13:44 | → | Square2 joins (~Square@user/square) |
| 09:15:51 | × | ash3en quits (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Quit: ash3en) |
| 09:16:07 | → | ash3en joins (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 09:19:52 | → | danza_ joins (~francesco@151.37.244.23) |
| 09:20:41 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:20:56 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:22:29 | × | danza quits (~francesco@151.35.242.65) (Ping timeout: 248 seconds) |
| 09:24:18 | → | __monty__ joins (~toonn@user/toonn) |
| 09:26:19 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:26:22 | → | aaronv joins (~aaronv@user/aaronv) |
| 09:30:38 | → | cpressey joins (~weechat@176.254.71.203) |
| 09:31:20 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 09:55:01 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 248 seconds) |
| 10:00:54 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 10:03:35 | → | gmg joins (~user@user/gehmehgeh) |
| 10:05:16 | → | cpressey joins (~weechat@176.254.71.203) |
| 10:09:18 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 10:11:06 | <lxsameer> | hey folks what doe the `a ~ b` type signature is called? |
| 10:15:54 | <ncf> | an equality constraint |
| 10:16:06 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/equality_constraints.html |
| 10:20:37 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 10:24:43 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 10:27:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 10:28:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:34:12 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 10:43:58 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 10:47:21 | <lxsameer> | ncf: cheers |
| 10:49:18 | danza_ | is now known as danza |
| 11:03:09 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 11:05:18 | → | cpressey joins (~weechat@176.254.71.203) |
| 11:06:29 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 11:06:44 | → | tomku joins (~tomku@user/tomku) |
| 11:24:45 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 276 seconds) |
| 11:29:57 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 11:30:09 | → | g00gler joins (uid125351@id-125351.uxbridge.irccloud.com) |
| 11:31:55 | → | cpressey joins (~weechat@176.254.71.203) |
| 11:32:27 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 11:32:31 | → | MadeleineSydney joins (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 11:35:54 | → | vpan joins (~vpan@212.117.1.172) |
| 11:44:29 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 11:50:17 | × | danza quits (~francesco@151.37.244.23) (Quit: gotta go) |
| 12:00:21 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 248 seconds) |
| 12:04:18 | × | raym quits (~ray@user/raym) (Ping timeout: 258 seconds) |
| 12:10:59 | → | raym joins (~ray@user/raym) |
| 12:20:05 | → | billchenchina- joins (~billchenc@118.38.173.226) |
| 12:35:33 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 12:37:20 | → | euleritian joins (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 12:41:32 | → | cpressey joins (~weechat@176.254.71.203) |
| 13:00:30 | × | billchenchina- quits (~billchenc@118.38.173.226) (Ping timeout: 252 seconds) |
| 13:01:40 | → | ash3en1 joins (~Thunderbi@193.32.248.188) |
| 13:01:41 | × | ash3en quits (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Ping timeout: 248 seconds) |
| 13:01:41 | ash3en1 | is now known as ash3en |
| 13:02:58 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1) |
| 13:06:42 | × | euleritian quits (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:07:00 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:09:45 | → | kubo joins (~kubo@37.230.58.196) |
| 13:13:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:13:41 | × | AlexZenon quits (~alzenon@94.233.241.102) (Ping timeout: 252 seconds) |
| 13:14:20 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 13:17:05 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 255 seconds) |
| 13:20:07 | → | kubo joins (~kubo@37.230.58.196) |
| 13:20:54 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 13:21:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:21:54 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 13:23:23 | → | kubo joins (~kubo@37.230.58.196) |
| 13:26:29 | → | rosco joins (~rosco@175.136.155.137) |
| 13:27:34 | × | ash3en quits (~Thunderbi@193.32.248.188) (Quit: ash3en) |
| 13:29:33 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 13:30:49 | → | euleritian joins (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 13:31:29 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 13:32:02 | → | kubo joins (~kubo@37.230.58.196) |
| 13:33:22 | × | MadeleineSydney quits (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection) |
| 13:35:49 | × | myme quits (~myme@2a01:799:d5c:5f00:cfaa:94a4:df6a:9f90) (Ping timeout: 245 seconds) |
| 13:36:41 | → | ash3en joins (~Thunderbi@193.32.248.188) |
| 13:36:50 | → | myme joins (~myme@2a01:799:d5c:5f00:4421:50a5:101e:8cb9) |
| 13:47:56 | × | g00gler quits (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:48:26 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 13:50:28 | × | sp1ff` quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 13:54:58 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 13:55:30 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 13:57:32 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 13:58:32 | → | AlexZenon joins (~alzenon@94.233.241.102) |
| 14:04:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:05:16 | → | kubo joins (~kubo@37.230.58.196) |
| 14:07:28 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 14:07:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:08:32 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 14:14:53 | → | billchenchina- joins (~billchenc@118.38.173.226) |
| 14:17:15 | → | drdo8 joins (~drdo@bl5-29-74.dsl.telepac.pt) |
| 14:18:36 | × | drdo quits (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 14:18:36 | drdo8 | is now known as drdo |
| 14:22:32 | × | billchenchina- quits (~billchenc@118.38.173.226) (Quit: Leaving) |
| 14:22:58 | × | Angelz quits (Angelz@Angelz.oddprotocol.org) (Changing host) |
| 14:22:58 | → | Angelz joins (Angelz@user/angelz) |
| 14:29:53 | → | mreh joins (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) |
| 14:50:10 | → | misterfish joins (~misterfis@ip-185-104-138-75.ptr.icomera.net) |
| 14:54:45 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 14:54:58 | → | tomku joins (~tomku@user/tomku) |
| 14:55:50 | × | ft quits (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 14:58:20 | → | ft joins (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 14:59:39 | × | acidjnk quits (~acidjnk@p200300d6e72cfb291c0587c5c944f391.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:02:25 | × | zhuberty quits (~zhuberty@fsf/member/zhuberty) (Quit: Leaving.) |
| 15:05:29 | → | ash3en1 joins (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 15:05:31 | × | ash3en quits (~Thunderbi@193.32.248.188) (Ping timeout: 252 seconds) |
| 15:05:31 | ash3en1 | is now known as ash3en |
| 15:08:05 | × | mreh quits (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) (Ping timeout: 248 seconds) |
| 15:08:30 | → | pyooque joins (~puke@user/puke) |
| 15:08:30 | × | puke quits (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 15:08:30 | pyooque | is now known as puke |
| 15:14:09 | × | ash3en quits (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Ping timeout: 245 seconds) |
| 15:18:43 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 15:21:35 | → | CiaoSen joins (~Jura@2a05:5800:254:9700:e6b9:7aff:fe80:3d03) |
| 15:27:09 | → | Square2 joins (~Square@user/square) |
| 15:49:31 | × | harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 15:55:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 16:00:26 | × | destituion quits (~destituio@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 255 seconds) |
| 16:07:51 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 16:14:39 | × | misterfish quits (~misterfis@ip-185-104-138-75.ptr.icomera.net) (Ping timeout: 276 seconds) |
| 16:19:41 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:39:16 | → | skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 16:47:42 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 16:50:02 | → | misterfish joins (~misterfis@ip-185-104-138-75.ptr.icomera.net) |
| 16:55:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:59:56 | → | skyesoss1 joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 17:08:36 | × | misterfish quits (~misterfis@ip-185-104-138-75.ptr.icomera.net) (Ping timeout: 276 seconds) |
| 17:17:25 | → | jkachmar joins (~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) |
| 17:34:55 | → | mrmr1553343463 joins (~mrmr@user/mrmr) |
| 17:38:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:39:44 | → | pyooque joins (~puke@user/puke) |
| 17:39:44 | puke | is now known as Guest9444 |
| 17:39:44 | × | Guest9444 quits (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 17:39:44 | pyooque | is now known as puke |
| 17:57:53 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:06:17 | → | ash3en joins (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 18:13:27 | → | aaronv joins (~aaronv@user/aaronv) |
| 18:14:07 | × | jkachmar quits (~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 18:14:48 | × | ft quits (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 18:17:30 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 18:17:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:21:16 | → | ft joins (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 18:29:12 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 18:55:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:01:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 19:06:48 | → | cpressey joins (~weechat@176.254.71.203) |
| 19:11:18 | → | aljazmc joins (~aljazmc@user/aljazmc) |
| 19:12:31 | <dminuoso> | ash3en: What does coordinates mean to you here? |
| 19:13:23 | <ash3en> | location of the nodes when laid out |
| 19:13:28 | → | Square2 joins (~Square@user/square) |
| 19:13:40 | <dminuoso> | Yeah but what does location even mean to you in a graph? |
| 19:13:47 | <dminuoso> | laid out how? |
| 19:14:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:14:32 | <dminuoso> | At best `context :: Graph gr => gr a b -> Node -> Context a b` gives you all you can know about a node. |
| 19:16:13 | <ash3en> | yeah like x, y when laying out a graph. Top to bottom, connections between the nodes. I want to take advantage of grahp layout algorithms and transfer positioning to my to be layouted structure |
| 19:16:27 | <dminuoso> | Sorry, "laying out a graph" does not make sense to me. |
| 19:16:47 | <ash3en> | hm, no worries, I probably phrase it wrong |
| 19:17:24 | <dminuoso> | ash3en: Are you visualizing the graph, somehow? |
| 19:17:24 | <ash3en> | eg I have a messy mind map I want to layout so the nodes do not overlap etc |
| 19:17:33 | <ash3en> | yes that is the plan |
| 19:17:57 | <dminuoso> | ash3en: FGL is not concerned with rendering. |
| 19:18:20 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 19:18:52 | <ash3en> | I do not need it to render, this will happen elsewhere. I just need the x, y locations. but it seems that fgl does not provide them either because --as you said -- it is not concerned with rendering at all |
| 19:19:04 | <dminuoso> | ash3en: Graphs dont have any notion of location. |
| 19:19:26 | <dminuoso> | Well I mean you can attach positional information in labels if you want. |
| 19:20:00 | <ash3en> | no no, I want to receive the positional information so I can draw the graph/mind map in a non-messy way |
| 19:20:07 | <dminuoso> | ash3en: Well, if rendering happens *elsewhere*, then *elsewhere* is where you have to check for how to obtain coordinates. |
| 19:20:28 | <dminuoso> | Because like I said, graphs themselves dont have any notion of "coordinates" (other than inbound and outbound edges) |
| 19:20:55 | <ash3en> | like give me all the coordinates so I can eg use this info and draw a graph on paper/MS paint whatever |
| 19:21:17 | <ash3en> | yea that is true |
| 19:21:22 | <dminuoso> | But you can implement graph render algorithms ontop of FGL easily. |
| 19:21:48 | <ash3en> | that sound good because I want to create my own algorithm indeed |
| 19:21:57 | <dminuoso> | And then, in your algorithm, just generate a map from node to coordinate. |
| 19:22:04 | <dminuoso> | Or something suitable |
| 19:22:36 | <ash3en> | how hard is creating an own algorithm? probably based on existing ones but modified |
| 19:23:14 | <ash3en> | and is it enough for a master's thesis? hehe |
| 19:23:17 | <dminuoso> | How hard is creating an algorithm? Depends on the algorithm, the kind of modification you envision, and your skillset. |
| 19:23:49 | <ash3en> | interesting insights, thanks dminuoso |
| 19:24:04 | <dminuoso> | Implementing a sorting algorithm can be easy enough for a 5th grader, or difficult enough to warrant a phd spending some years on it... |
| 19:24:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:24:23 | <dminuoso> | So.. anywhere between yes and no. |
| 19:24:45 | <haskellbridge> | <mauke> I'd expect it to be non-trivial because you're essentially optimizing for aesthetics |
| 19:25:33 | <ash3en> | hm, yes could be hard |
| 19:25:58 | <dminuoso> | Well, if all you care is non-collision of nodes, a simple force-based layout algorithm can be used. |
| 19:25:58 | <ash3en> | I will have to study how layout generating algorithms on graphs work at all |
| 19:26:11 | <ash3en> | it is signal flow too |
| 19:27:01 | <dminuoso> | But really, the difficulty depends on your exact requirements, whether you have pseudo (or even existing) code to start with, and your general competency. |
| 19:28:27 | <ash3en> | would it even be smart to write the algorithm in haskell or should I use C to be compatible with graphviz? my heart wants to write in haskell for sure |
| 19:28:45 | <dminuoso> | Depends on your requirements and your goals. |
| 19:29:09 | <dminuoso> | If you want to do it in Haskell, go for it. |
| 19:29:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:29:54 | <ash3en> | will update on this, thank you :) got to go for now |
| 19:30:12 | <dminuoso> | Put it this way: Haskell code can compile to very efficient code and we have plenty of tricks to optimize hotspots to similar performance of C. |
| 19:30:18 | <dminuoso> | If you have proficiency. |
| 19:32:02 | → | squid64 joins (squid64@user/squid64) |
| 19:32:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:34:01 | → | misterfish joins (~misterfis@ip-185-104-138-75.ptr.icomera.net) |
| 19:36:21 | × | ash3en quits (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Ping timeout: 248 seconds) |
| 19:42:03 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:46:24 | × | haveo quits (~weechat@pacamara.iuwt.fr) (Ping timeout: 260 seconds) |
| 19:46:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 19:49:34 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:52:54 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 19:57:29 | → | haveo_ joins (~weechat@pacamara.iuwt.fr) |
| 19:58:15 | × | haveo quits (~weechat@pacamara.iuwt.fr) (Ping timeout: 276 seconds) |
| 19:59:57 | × | misterfish quits (~misterfis@ip-185-104-138-75.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 20:05:15 | × | haveo_ quits (~weechat@pacamara.iuwt.fr) (Ping timeout: 260 seconds) |
| 20:05:22 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 20:15:33 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 20:25:06 | × | aljazmc quits (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 20:39:19 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 20:39:24 | × | litharge quits (litharge@libera/bot/litharge) (*.net *.split) |
| 20:40:13 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
| 20:41:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:42:37 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 20:42:37 | silver.libera.chat | sets mode +o ChanServ |
| 20:42:47 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:43:18 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 20:43:45 | × | hololeap quits (~quassel@user/hololeap) (Quit: Bye) |
| 20:45:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 20:45:48 | → | hololeap joins (~quassel@user/hololeap) |
| 20:46:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 20:46:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:49:55 | → | mreh joins (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) |
| 20:50:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 20:50:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:50:53 | × | sp1ff quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 20:52:01 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 20:54:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 20:54:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:56:45 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 20:56:58 | → | tomku joins (~tomku@user/tomku) |
| 20:58:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 20:58:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 20:58:43 | → | kubo joins (~kubo@37.230.58.196) |
| 20:59:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:00:15 | × | kubo quits (~kubo@37.230.58.196) (Remote host closed the connection) |
| 21:02:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 21:02:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 21:03:15 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 21:06:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 21:06:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 21:08:50 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 21:10:20 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 21:10:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 21:11:43 | × | litharge quits (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 21:13:36 | <haskellbridge> | <Bowuigi> @irc_libera.chat_ash3en:kf8nh.com: Drawing graphs without positional information requires constraint solving |
| 21:14:03 | → | litharge joins (litharge@libera/bot/litharge) |
| 21:15:47 | <haskellbridge> | <Bowuigi> @irc_libera.chat_ash3en:kf8nh.com: It depends on how much flexibility and aestethics the algorithm gives. There are very specific kinds of diagrams requiring special treatment of node positions (ER diagrams, for example) based on "human conventions" (aka, what looks good for a human). This is definitely a hard problem at that level |
| 21:17:25 | <haskellbridge> | <Bowuigi> @irc_libera.chat_ash3en:kf8nh.com: I would use Haskell first. If you like the end result enough and want an imperative version (maybe to contribute to GraphViz like you seem to want) C is a good option, but for research and prototyping Haskell shines way more |
| 21:18:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:21:09 | × | squid64 quits (squid64@user/squid64) (Quit: Leaving) |
| 21:24:53 | → | squid64 joins (squid64@user/squid64) |
| 21:26:47 | × | squid64 quits (squid64@user/squid64) (Client Quit) |
| 21:28:21 | × | mreh quits (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) (Ping timeout: 248 seconds) |
| 21:30:15 | <monochrom> | I would use graphviz and be done. |
| 21:32:01 | <monochrom> | Much ado about "what does layout mean?" but the conclusion is still that. :) |
| 21:32:11 | → | squid64 joins (squid64@user/squid64) |
| 21:33:39 | <monochrom> | This is why when I teach introductory graph theory I say "only who has an edge with whom, no other information, e.g., geometry". Especially because I start with a picture example. |
| 21:37:00 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 21:43:52 | <Inst> | bleh, pqueue it is |
| 21:43:53 | <Inst> | https://hackage.haskell.org/package/pqueue |
| 21:44:19 | <monochrom> | "That escalated quickly." :) |
| 21:45:43 | <Inst> | btw, there's a guy at chalmers here? |
| 21:47:29 | <Inst> | gah, i need to look at the logs |
| 21:48:38 | <Inst> | oh |
| 21:48:49 | <Inst> | he hasn't been on for a while :( |
| 21:51:29 | <Inst> | i just realized the polite way to say "we're teaching IO first" is "we're teaching parallel and concurrent programming in Haskell first" ;) |
| 21:51:36 | <Inst> | since Chalmers apparently IS doing IO first |
| 21:52:00 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 21:54:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:09:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:09:45 | × | CiaoSen quits (~Jura@2a05:5800:254:9700:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds) |
| 22:25:36 | → | squid32 joins (squid64@user/squid64) |
| 22:28:06 | × | squid32 quits (squid64@user/squid64) (Client Quit) |
| 22:28:19 | × | squid64 quits (squid64@user/squid64) (Ping timeout: 245 seconds) |
| 22:31:29 | → | ystael joins (~ystael@user/ystael) |
| 22:31:51 | → | squid64 joins (squid64@user/squid64) |
| 22:33:51 | × | squid64 quits (squid64@user/squid64) (Remote host closed the connection) |
| 22:37:30 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 22:39:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:51:07 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 22:51:48 | → | squid64 joins (squid64@user/squid64) |
| 22:54:15 | → | xal joins (~xal@mx1.xal.systems) |
| 23:04:21 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 23:06:58 | × | euleritian quits (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 23:07:39 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 23:12:05 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 23:12:21 | → | euleritian joins (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 23:13:36 | × | euleritian quits (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 23:13:54 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 23:15:25 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 23:15:57 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:20:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 23:20:47 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 23:21:51 | → | ash3en joins (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 23:23:05 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:24:57 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:26:16 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 23:26:44 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:28:58 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 23:30:44 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 23:32:10 | → | cayley56 joins (~cayley5@user/phileasfogg) |
| 23:32:19 | → | lambdap23710 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 23:32:23 | → | Lears joins (~Leary@user/Leary/x-0910699) |
| 23:32:36 | → | evanrelf_ joins (3addc196af@2a03:6000:1812:100::f0) |
| 23:32:37 | → | tnks_ joins (sid412124@id-412124.helmsley.irccloud.com) |
| 23:32:49 | → | titibandit_ joins (e33ffbab65@user/titibandit) |
| 23:32:49 | → | jleightcap_ joins (7bc4014b62@user/jleightcap) |
| 23:32:49 | → | ggb_ joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 23:32:50 | → | henrytill_ joins (e0180937c3@2a03:6000:1812:100::e8c) |
| 23:32:51 | → | ursa-major_ joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 23:32:53 | → | aristid_ joins (sid1599@id-1599.uxbridge.irccloud.com) |
| 23:32:57 | → | edwardk_ joins (sid47016@haskell/developer/edwardk) |
| 23:33:02 | × | evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 258 seconds) |
| 23:33:02 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 258 seconds) |
| 23:33:02 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 258 seconds) |
| 23:33:02 | evanrelf_ | is now known as evanrelf |
| 23:33:02 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 258 seconds) |
| 23:33:02 | × | lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 23:33:03 | lambdap23710 | is now known as lambdap2371 |
| 23:33:03 | tnks_ | is now known as tnks |
| 23:33:04 | → | swistak- joins (~swistak@185.21.216.141) |
| 23:33:04 | × | cayley5 quits (~cayley5@user/phileasfogg) (Read error: Connection reset by peer) |
| 23:33:05 | cayley56 | is now known as cayley5 |
| 23:33:06 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 23:33:07 | × | acro quits (~acro@user/acro) (Quit: Bye.) |
| 23:33:07 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:33:07 | × | tritlo_ quits (sid58727@id-58727.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 23:33:08 | × | end quits (~end@user/end/x-0094621) (Quit: end) |
| 23:33:09 | × | constxd quits (~constxd@user/constxd) (Remote host closed the connection) |
| 23:33:09 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 258 seconds) |
| 23:33:09 | × | titibandit quits (e33ffbab65@user/titibandit) (Ping timeout: 258 seconds) |
| 23:33:09 | titibandit_ | is now known as titibandit |
| 23:33:09 | × | catties quits (~catties@user/meow/catties) (Quit: n_n) |
| 23:33:09 | × | onliner10 quits (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 23:33:17 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Read error: Connection reset by peer) |
| 23:33:17 | → | tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com) |
| 23:33:17 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
| 23:33:23 | → | constxd joins (~constxd@user/constxd) |
| 23:33:25 | → | onliner10 joins (~onliner10@user/onliner10) |
| 23:33:27 | jleightcap_ | is now known as jleightcap |
| 23:33:28 | → | anpad joins (~pandeyan@user/anpad) |
| 23:33:29 | → | catties joins (~catties@user/meow/catties) |
| 23:33:30 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 23:33:32 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 258 seconds) |
| 23:33:32 | × | mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 258 seconds) |
| 23:33:37 | ggb_ | is now known as ggb |
| 23:33:41 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Read error: Connection reset by peer) |
| 23:33:41 | henrytill_ | is now known as henrytill |
| 23:33:43 | × | swistak quits (~swistak@185.21.216.141) (Read error: Connection reset by peer) |
| 23:33:47 | → | gentauro joins (~gentauro@user/gentauro) |
| 23:33:54 | → | acro joins (~acro@user/acro) |
| 23:33:55 | × | comonad quits (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:33:55 | × | kmein quits (~weechat@user/kmein) (Ping timeout: 258 seconds) |
| 23:33:55 | × | feetwind quits (~mike@user/feetwind) (Ping timeout: 258 seconds) |
| 23:33:55 | × | Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 258 seconds) |
| 23:33:55 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (Ping timeout: 258 seconds) |
| 23:34:12 | → | comonad joins (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 23:34:13 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 23:34:14 | → | feetwind joins (~mike@user/feetwind) |
| 23:34:17 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 23:34:18 | × | aristid quits (sid1599@id-1599.uxbridge.irccloud.com) (Ping timeout: 258 seconds) |
| 23:34:18 | × | micro quits (~micro@user/micro) (Ping timeout: 258 seconds) |
| 23:34:18 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 258 seconds) |
| 23:34:18 | × | mira quits (~aranea@wireguard/contributorcat/mira) (Ping timeout: 258 seconds) |
| 23:34:18 | × | ncf quits (~n@monade.li) (Ping timeout: 258 seconds) |
| 23:34:18 | aristid_ | is now known as aristid |
| 23:34:18 | edwardk_ | is now known as edwardk |
| 23:34:19 | → | kmein joins (~weechat@user/kmein) |
| 23:34:29 | → | micro joins (~micro@user/micro) |
| 23:34:36 | → | ncf joins (~n@monade.li) |
| 23:34:41 | × | riatre quits (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 258 seconds) |
| 23:34:41 | × | Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 258 seconds) |
| 23:34:42 | → | mira joins (~aranea@wireguard/contributorcat/mira) |
| 23:34:49 | → | riatre joins (~quassel@2001:310:6000:f::5198:1) |
| 23:35:23 | → | mjrosenb joins (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 23:35:54 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 23:37:07 | ursa-major_ | is now known as ursa-major |
| 23:37:40 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 23:37:44 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 23:38:04 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 23:40:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 23:41:25 | → | euleritian joins (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 23:44:52 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:45:42 | → | end joins (~end@user/end/x-0094621) |
| 23:52:18 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 23:54:38 | <Unicorn_Princess> | trying to make my own super-basic compile-time dimensional analysis/units package. i need so very little from it that the type is just `data Quantity numerator denominator = Qty Float` |
| 23:55:34 | <Unicorn_Princess> | (for brevity let's call it just Qty instead of Quantity) |
| 23:57:33 | <Unicorn_Princess> | the problem is defining multiplication - my current definition is: qmul :: Qty a b -> Qty b c -> Qty a c -- i.e. a/b * b/c = a/c |
| 23:58:01 | <Unicorn_Princess> | but also valid would be a/b * c/a = c/b |
| 23:58:37 | <Unicorn_Princess> | but how can i have one function support both these type signatures? |
All times are in UTC on 2024-07-20.