2024-10-10 00:08:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-10-10 00:25:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e3a4:78d2:48d1:1e0) (Ping timeout: 248 seconds) |
2024-10-10 00:26:39 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 260 seconds) |
2024-10-10 00:26:54 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
2024-10-10 00:31:37 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2024-10-10 00:33:45 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2024-10-10 00:46:48 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2024-10-10 00:52:24 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2024-10-10 00:59:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-10 01:00:15 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-10 01:00:54 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-10 01:18:34 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-10 01:19:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-10 01:20:54 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2024-10-10 01:21:58 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2024-10-10 01:22:01 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
2024-10-10 01:22:25 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-10 01:22:25 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-10-10 01:26:57 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
2024-10-10 01:38:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) acidjnk |
2024-10-10 01:40:05 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-10 01:40:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 01:41:10 +0200 | <Lears> | Oh. I should have figured this out a lot sooner, but it looks like I forgot to /anti/-commute one of cross products (z k x (b1 i + b2 j))---that's what I get for doing it in my head. Distributivity indeed gives us a projection orthogonal to a-b. |
2024-10-10 01:43:11 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 01:49:06 +0200 | causal | (~eric@50.35.88.207) causal |
2024-10-10 02:05:00 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-10 02:05:30 +0200 | hendi_ | (~hendi@2001:9e8:4520:3700:5e87:9ff3:15c4:3213) hendi |
2024-10-10 02:07:37 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-10-10 02:08:09 +0200 | hendi | (~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) (Ping timeout: 252 seconds) |
2024-10-10 02:12:58 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-10-10 02:17:28 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-10-10 02:17:46 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb595ce3755987f648f5.dip0.t-ipconnect.de) acidjnk |
2024-10-10 02:20:40 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-10 02:35:08 +0200 | hgolden_ | (~hgolden@204.152.216.122) hgolden |
2024-10-10 02:38:18 +0200 | hgolden__ | (~hgolden@146.70.173.37) (Ping timeout: 276 seconds) |
2024-10-10 02:40:02 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb595ce3755987f648f5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-10-10 02:49:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-10-10 02:55:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a344:9aaf:caa3:591c) (Ping timeout: 265 seconds) |
2024-10-10 03:02:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
2024-10-10 03:05:45 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2024-10-10 03:06:04 +0200 | synchromesh | (~john@180.148.124.74) (Quit: WeeChat 4.0.5) |
2024-10-10 03:08:54 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) |
2024-10-10 03:09:09 +0200 | synchromesh | (~john@180.148.124.74) synchromesh |
2024-10-10 03:16:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-10-10 03:20:29 +0200 | synchromesh | (~john@180.148.124.74) (Read error: Connection reset by peer) |
2024-10-10 03:24:05 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
2024-10-10 03:43:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 03:51:02 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) (Remote host closed the connection) |
2024-10-10 03:51:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-10 03:57:00 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-10 03:57:31 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 04:02:16 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-10-10 04:02:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-10 04:11:22 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 252 seconds) |
2024-10-10 04:11:24 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-10 04:13:12 +0200 | td_ | (~td@i53870924.versanet.de) td_ |
2024-10-10 04:23:03 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
2024-10-10 04:23:24 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2024-10-10 04:28:31 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-10 04:32:15 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 246 seconds) |
2024-10-10 04:32:44 +0200 | finsternis | (~X@23.226.237.192) finsternis |
2024-10-10 05:05:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-10-10 05:18:01 +0200 | <haskellbridge> | <GunpowderGuy> Is it true that haskell is mainly used by banking instituciones and Crypto currency? |
2024-10-10 05:18:42 +0200 | <haskellbridge> | <GunpowderGuy> My college Is organizing a trip to hong Kong to see tecnological instutions that mainly work on those fields |
2024-10-10 05:18:52 +0200 | <haskellbridge> | <GunpowderGuy> * Hong |
2024-10-10 05:26:04 +0200 | Typedfern | (~Typedfern@124.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
2024-10-10 05:34:00 +0200 | aforemny | (~aforemny@i577BEEF5.versanet.de) aforemny |
2024-10-10 05:34:58 +0200 | aforemny_ | (~aforemny@i59F4C6CF.versanet.de) (Ping timeout: 252 seconds) |
2024-10-10 05:41:33 +0200 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) typedfern |
2024-10-10 05:47:01 +0200 | <jackdk> | I write "boring" business software for an ecommerce company and it's really good for that. Haskell is my favourite general-purpose programming language. |
2024-10-10 05:48:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2024-10-10 05:55:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-10-10 05:55:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2024-10-10 06:02:29 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 06:04:39 +0200 | hendi_ | (~hendi@2001:9e8:4520:3700:5e87:9ff3:15c4:3213) (Ping timeout: 252 seconds) |
2024-10-10 06:05:12 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 06:05:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 06:22:44 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) |
2024-10-10 06:25:03 +0200 | ghoulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
2024-10-10 06:25:06 +0200 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
2024-10-10 06:42:02 +0200 | remmie | (ianremsen@tilde.team) remsense |
2024-10-10 06:46:46 +0200 | michalz | (~michalz@185.246.207.203) |
2024-10-10 06:54:23 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-10 07:04:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-10 07:06:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-10 07:10:41 +0200 | akegalj | (~akegalj@89-172-211-32.adsl.net.t-com.hr) akegalj |
2024-10-10 07:11:49 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-10-10 07:22:02 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 252 seconds) |
2024-10-10 07:23:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) |
2024-10-10 07:28:37 +0200 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
2024-10-10 07:30:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-10 07:30:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-10-10 07:31:03 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) |
2024-10-10 07:32:32 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Read error: Connection reset by peer) |
2024-10-10 07:33:45 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
2024-10-10 07:34:03 +0200 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 276 seconds) |
2024-10-10 07:34:34 +0200 | meejah | (~meejah@rutas.meejah.ca) meejah |
2024-10-10 07:35:43 +0200 | synchrom1 | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
2024-10-10 07:35:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-10 07:38:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 252 seconds) |
2024-10-10 07:38:57 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
2024-10-10 07:41:05 +0200 | synchrom1 | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 252 seconds) |
2024-10-10 07:59:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 08:09:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-10-10 08:13:20 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 08:13:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 08:18:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-10 08:25:28 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-10 08:26:34 +0200 | <yin> | hell. haskell is my favourite oop language |
2024-10-10 08:26:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-10 08:27:32 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-10 08:30:40 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-10-10 08:34:17 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert |
2024-10-10 08:42:29 +0200 | kuribas | (~user@ptr-17d51emnbpfq1feda6b.18120a2.ip6.access.telenet.be) |
2024-10-10 08:46:11 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
2024-10-10 08:51:02 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
2024-10-10 08:51:23 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
2024-10-10 08:51:42 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-10 09:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-10 09:05:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 09:08:23 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
2024-10-10 09:09:10 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 09:09:23 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
2024-10-10 09:09:57 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
2024-10-10 09:12:10 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
2024-10-10 09:13:56 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
2024-10-10 09:21:05 +0200 | akegalj | (~akegalj@89-172-211-32.adsl.net.t-com.hr) (Quit: leaving) |
2024-10-10 09:23:38 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-10 09:26:07 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 09:26:21 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 09:29:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-10-10 09:30:40 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
2024-10-10 09:32:27 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
2024-10-10 09:40:33 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Quit: Leaving) |
2024-10-10 09:46:52 +0200 | <kqr> | @pl \x -> all [f x, g x, h x] |
2024-10-10 09:46:52 +0200 | <lambdabot> | all . liftM2 (:) f (liftM2 (:) g (return . h)) |
2024-10-10 09:47:12 +0200 | <kqr> | Okay. Not quite what I hoped for. |
2024-10-10 09:47:45 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 09:48:00 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 09:48:37 +0200 | vpan | (~vpan@212.117.1.172) |
2024-10-10 09:51:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-10 09:55:04 +0200 | <kqr> | Wait that's because I've mixed up all and and! |
2024-10-10 09:56:12 +0200 | <kqr> | @pl \x -> all ($ x) [f, g, h] |
2024-10-10 09:56:12 +0200 | <lambdabot> | flip all [f, g, h] . flip id |
2024-10-10 09:56:22 +0200 | <kqr> | okay not better but I'm good with what I have |
2024-10-10 10:02:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-10 10:02:44 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
2024-10-10 10:08:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-10 10:09:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 10:09:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-10 10:10:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-10 10:10:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 10:14:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-10-10 10:15:19 +0200 | Guest78 | (~Guest78@c-98-232-218-193.hsd1.or.comcast.net) |
2024-10-10 10:15:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) |
2024-10-10 10:17:27 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:17:28 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-10 10:17:40 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:22:05 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:22:20 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:27:29 +0200 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
2024-10-10 10:27:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
2024-10-10 10:27:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-10 10:27:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-10 10:28:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-10-10 10:28:19 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-10 10:28:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-10 10:35:16 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
2024-10-10 10:35:43 +0200 | Guest78 | (~Guest78@c-98-232-218-193.hsd1.or.comcast.net) (Quit: Client closed) |
2024-10-10 10:42:46 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:42:59 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:45:04 +0200 | chele | (~chele@user/chele) chele |
2024-10-10 10:49:23 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:49:38 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:53:24 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-10-10 10:53:32 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
2024-10-10 10:56:03 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:56:16 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:57:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-10-10 10:57:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-10-10 11:00:33 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 11:00:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 11:01:25 +0200 | <probie> | :t getAll . foldMap All |
2024-10-10 11:01:26 +0200 | <lambdabot> | Foldable t => t Bool -> Bool |
2024-10-10 11:02:26 +0200 | danza | (~danza@user/danza) (Ping timeout: 265 seconds) |
2024-10-10 11:02:37 +0200 | <probie> | > map ((getAll . foldMap All) [(> 5), even, (/= 8)]) [1..10] |
2024-10-10 11:02:38 +0200 | <lambdabot> | error: |
2024-10-10 11:02:39 +0200 | <lambdabot> | • Couldn't match expected type ‘a3 -> b’ with actual type ‘Bool’ |
2024-10-10 11:02:39 +0200 | <lambdabot> | • Possible cause: ‘getAll |
2024-10-10 11:03:04 +0200 | <probie> | derp |
2024-10-10 11:03:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 11:04:45 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-10 11:08:27 +0200 | <probie> | > map (((getAll .) . foldMap (All .)) [(> 5), even, (/= 8)]) [1..10] -- much less convincing |
2024-10-10 11:08:28 +0200 | <lambdabot> | [False,False,False,False,False,True,False,False,False,True] |
2024-10-10 11:14:19 +0200 | <probie> | % import Data.Functor.Contravariant |
2024-10-10 11:14:19 +0200 | <yahb2> | <no output> |
2024-10-10 11:14:42 +0200 | <probie> | % map ((getPredicate . foldMap Predicate) [(> 5), even, (/= 8)]) [1..10] |
2024-10-10 11:14:42 +0200 | <yahb2> | [False,False,False,False,False,True,False,False,False,True] |
2024-10-10 11:14:59 +0200 | <probie> | I was sure I'd seen it somewhere as a newtype |
2024-10-10 11:21:48 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
2024-10-10 11:22:22 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 11:23:20 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
2024-10-10 11:25:36 +0200 | famubu | (~julinuser@14.139.174.50) (Quit: leaving) |
2024-10-10 11:27:07 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Ping timeout: 264 seconds) |
2024-10-10 11:27:24 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) |
2024-10-10 11:28:49 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 11:31:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
2024-10-10 11:33:55 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
2024-10-10 11:50:23 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Quit: ash3en) |
2024-10-10 11:51:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2024-10-10 11:53:08 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-10-10 11:54:25 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-10 11:56:49 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-10 11:58:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 12:02:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
2024-10-10 12:03:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2024-10-10 12:05:41 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-10 12:09:42 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-10 12:15:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-10 12:16:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-10 12:17:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-10-10 12:19:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) (Ping timeout: 272 seconds) |
2024-10-10 12:20:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-10-10 12:21:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 12:29:32 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-10 12:29:59 +0200 | td_ | (~td@i53870924.versanet.de) (Quit: waking up from the american dream ...) |
2024-10-10 12:33:57 +0200 | td_ | (~td@i53870924.versanet.de) td_ |
2024-10-10 12:39:23 +0200 | mari-estel | (~mari-este@user/danza) (Quit: disgusting) |
2024-10-10 12:45:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-10 12:48:17 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-10 13:00:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 13:01:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:472f:e50a:4274:4d00) |
2024-10-10 13:03:02 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 13:04:21 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
2024-10-10 13:04:36 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
2024-10-10 13:05:08 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-10 13:06:19 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Client Quit) |
2024-10-10 13:06:36 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
2024-10-10 13:11:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-10-10 13:11:47 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
2024-10-10 13:15:56 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Quit: I was getting bored) |
2024-10-10 13:17:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
2024-10-10 13:19:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
2024-10-10 13:20:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 13:21:44 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 13:22:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 13:23:06 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 276 seconds) |
2024-10-10 13:24:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> does row insertion ring a bell to anyone wrt algebraic effects? |
2024-10-10 13:24:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> am trying to interpret a paper |
2024-10-10 13:25:58 +0200 | <Rembane> | Which paper are you trying to interpret? |
2024-10-10 13:26:14 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
2024-10-10 13:27:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> http://casperbp.net/store/hefty-algebras.pdf |
2024-10-10 13:27:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> part on "row insertions" |
2024-10-10 13:27:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> section 2.2 |
2024-10-10 13:27:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> apparently it's from Datatypes a la carte but I can't find it there |
2024-10-10 13:31:56 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
2024-10-10 13:32:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-10 13:32:18 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
2024-10-10 13:32:39 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 13:32:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 13:33:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
2024-10-10 13:34:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
2024-10-10 13:35:53 +0200 | tom_ | (~tom@madonna.che.casino) |
2024-10-10 13:38:21 +0200 | tom_ | (~tom@madonna.che.casino) (Client Quit) |
2024-10-10 13:40:20 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-10 13:42:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-10-10 13:43:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-10 13:51:24 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
2024-10-10 13:54:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-10 13:55:19 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) |
2024-10-10 13:57:31 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) (Client Quit) |
2024-10-10 14:00:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-10 14:01:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 14:13:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 14:16:21 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-10-10 14:18:34 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-10-10 14:20:06 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-10 14:20:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-10 14:21:25 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2024-10-10 14:27:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-10-10 14:32:52 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
2024-10-10 14:37:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 14:40:09 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-10 14:44:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) (Ping timeout: 252 seconds) |
2024-10-10 14:46:12 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2024-10-10 14:51:18 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
2024-10-10 14:51:56 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 252 seconds) |
2024-10-10 14:51:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-10 14:54:56 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-10-10 14:55:38 +0200 | cfricke_ | (~cfricke@user/cfricke) cfricke |
2024-10-10 14:57:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
2024-10-10 14:58:24 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
2024-10-10 15:06:08 +0200 | <kqr> | It was a long time since I last did Haskell, but I don't remember Hackage being this slow. What has changed and how are you dealing with it? |
2024-10-10 15:07:52 +0200 | <__monty__> | Hackage isn't slow for me, do you mean Hoogle? There's been recurring problems with it recently, haven't kept up enough to know why. |
2024-10-10 15:19:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-10 15:20:06 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
2024-10-10 15:21:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> can the following Lean type be expressed in haskell? |
2024-10-10 15:21:20 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/jCazZRxEVojmkycJUItjxokl/5fTPquYXkqQ (3 lines) |
2024-10-10 15:22:14 +0200 | cfricke_ | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
2024-10-10 15:25:00 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-10 15:25:30 +0200 | arahael_ | (~arahael@user/arahael) arahael |
2024-10-10 15:31:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
2024-10-10 15:38:54 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-10-10 15:39:49 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2024-10-10 15:39:53 +0200 | arahael_ | (~arahael@user/arahael) (Quit: Lost terminal) |
2024-10-10 15:40:05 +0200 | <probie> | thirdofmay18081814goya: Isn't that just `data MyType = forall a . MyType a`? |
2024-10-10 15:40:35 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-10 15:42:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> probie: yeah! |
2024-10-10 15:42:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> been away from haskell a while heheh |
2024-10-10 15:42:13 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-10 15:42:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty |
2024-10-10 15:43:15 +0200 | <probie> | I don't think it's particularly useful outside of using `unsafeCoerce` or esoteric things like keeping references to prevent garbage collection. |
2024-10-10 15:45:06 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-10 15:46:51 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 15:49:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 15:49:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 15:56:53 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-10-10 15:59:01 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-10-10 15:59:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-10 15:59:49 +0200 | Square | (~Square4@user/square) Square |
2024-10-10 16:02:56 +0200 | <Square> | Anyone know of any good teaching material to get your typical Java/C# enterprise developer into Haskell? Possibly something that focuses on mapping what they do all day to Haskell. Less focus on all the things there is to love about Haskell. |
2024-10-10 16:04:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 16:05:09 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
2024-10-10 16:05:16 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
2024-10-10 16:06:38 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 16:13:00 +0200 | <probie> | Sitting in meetings all day is the same in both Java and Haskell |
2024-10-10 16:14:01 +0200 | <__monty__> | If you emulate Java/C# too closely you'll end up with a bunch of boilerplate and performance issues. So I think it's not a great perspective to start learning Haskell from. |
2024-10-10 16:14:24 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 16:24:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-10 16:24:50 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) |
2024-10-10 16:28:06 +0200 | flounders | (~flounders@173.246.200.74) (Ping timeout: 252 seconds) |
2024-10-10 16:31:32 +0200 | <Square> | __monty__, I'm thinking "-This is how you get your DB, rest frontend, security, logging, unit tests, integration test, etc... up. Feel free to dig deeper into the language aspects when you can serve a list of items." |
2024-10-10 16:31:49 +0200 | hseg | (~gesh@46.120.20.246) |
2024-10-10 16:32:04 +0200 | <dminuoso> | None of these are fun in Haskell. :-P |
2024-10-10 16:32:11 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-10 16:32:29 +0200 | <dminuoso> | So if you want to scare your developer away, this would be exactly the kind of things I would do in Haskell. |
2024-10-10 16:32:53 +0200 | <dminuoso> | (Though "security" is a nebulous term here...) |
2024-10-10 16:33:27 +0200 | hseg | (~gesh@46.120.20.246) (Client Quit) |
2024-10-10 16:33:31 +0200 | <__monty__> | I think we need to know *why* you are trying to teach Haskell first. Because it sounds like you want to take a bunch of Java/C# developers and have them write in Haskell instead without really benefitting from the language. |
2024-10-10 16:35:27 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
2024-10-10 16:36:40 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-10 16:36:54 +0200 | <probie> | __monty__: it's interesting that you think that writing Haskell doesn't provide much benefit when doing "boring" things |
2024-10-10 16:37:09 +0200 | <Square> | It's become apparent our domain is hard to tackle wo a bunch of features present in Haskell. Monadic evaluation / do syntex, GADTs, more-advanced-than-available in Java pattern matching, side effect free constructs, etc. So we need to replace half of our application with Haskell. The devs need to learn parts of it on varying degree from superficial to more advanced. |
2024-10-10 16:37:11 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-10 16:38:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 16:39:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 16:39:47 +0200 | <__monty__> | probie: That's not an accurate reflection of what I think. |
2024-10-10 16:40:37 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
2024-10-10 16:41:01 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
2024-10-10 16:41:02 +0200 | <__monty__> | "We need to not do Java," sounds like a motivation for not giving them Java but in Haskell. |
2024-10-10 16:41:06 +0200 | <Square> | dminuoso, I was thinking web security. Authorization/Authentication. RBAC and OAuth etc. Just to drop some collection of words that comes to mind. =D |
2024-10-10 16:41:16 +0200 | <dminuoso> | Square: In that case, the best teaching material is the actual code you are working on. |
2024-10-10 16:41:32 +0200 | <dminuoso> | It gives your developers motivation to learn the things needed for your code.. |
2024-10-10 16:42:09 +0200 | flounders | (~flounders@2607:fb91:f6f:855:e809:87b:af2:fd7e) flounders |
2024-10-10 16:42:19 +0200 | <Square> | Good point. I can see what you mean. |
2024-10-10 16:42:21 +0200 | <dminuoso> | So you're trying to rewrite a full fledged web application, backend and frontend, in Haskell? |
2024-10-10 16:42:52 +0200 | <Square> | Actually the rewrite is mostly done. The part that is left is integrating it into the existing java app. |
2024-10-10 16:43:02 +0200 | <dminuoso> | Your own code automatically teaches the idiom they are likely to encounter, the libraries you use, the GHC features you enable... |
2024-10-10 16:43:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-10 16:49:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 16:50:22 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-10 16:51:31 +0200 | comerijn | (~merijn@77.242.116.146) (Quit: Lost terminal) |
2024-10-10 16:55:13 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 248 seconds) |
2024-10-10 16:58:17 +0200 | <Leonard26> | Hello! How are you today? :] I am trying to use the language bindings for Gstreamer, but I am stuck at trying to declare a certain type. |
2024-10-10 16:58:17 +0200 | <Leonard26> | https://hackage.haskell.org/package/gi-gst-1.0.29/docs/GI-Gst-Callbacks.html#t:PadActivateFunction |
2024-10-10 16:58:18 +0200 | <Leonard26> | The type is called PadActivateFunction, it serves as the name suggests to "activate" a certain element in the application. I have gotten as far as declaring this type with |
2024-10-10 16:58:18 +0200 | <Leonard26> | type PadActivateFunction = Gst.Pad -> Gst.Object -> IO Bool as written in the bindings. But now I am stuck and don't know how to go forwards =L |
2024-10-10 16:58:19 +0200 | <Leonard26> | The type is supposed to later be used in conjunction with a function called padSetActivateFunctionFull |
2024-10-10 16:58:19 +0200 | <Leonard26> | https://hackage.haskell.org/package/gi-gst-1.0.29/docs/GI-Gst-Objects-Pad.html#v:padSetActivateFun… |
2024-10-10 16:58:20 +0200 | <Leonard26> | This is my code up so far |
2024-10-10 16:58:20 +0200 | <Leonard26> | Just decodeSinkPad <- Gst.elementGetStaticPad decode "sink" |
2024-10-10 16:58:21 +0200 | <Leonard26> | let myActivateFunction :: PadActivateFunction |
2024-10-10 16:58:21 +0200 | <Leonard26> | myActivateFunction decodeSinkPad decode |
2024-10-10 16:58:22 +0200 | <Leonard26> | Gst.padSetActivateFunctionFull decodeSinkPad activateFunction |
2024-10-10 16:58:22 +0200 | <Leonard26> | It is throwing this error |
2024-10-10 16:58:23 +0200 | <Leonard26> | D:\stack-projects\gtk-intro-twelve\app\Main.hs:275:3: error: [GHC-58481] |
2024-10-10 16:58:23 +0200 | <Leonard26> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-10-10 16:58:24 +0200 | <Leonard26> | | |
2024-10-10 16:58:24 +0200 | <Leonard26> | 275 | Gst.padSetActivateFunctionFull decodeSinkPad activateFunction |
2024-10-10 16:58:25 +0200 | <Leonard26> | | ^ |
2024-10-10 16:58:25 +0200 | <Leonard26> | I am guessing it is because I didn't write the myActivateFunction correctly. Could you help me out? =( |
2024-10-10 16:59:12 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-10 17:01:32 +0200 | <geekosaur> | it doesn't look written at all to me, it's just the LHS without an RTS? |
2024-10-10 17:02:05 +0200 | <Leonard26> | What do you mean? |
2024-10-10 17:03:23 +0200 | <geekosaur> | `myActivateFunction decodeSinkPad decode` what? that's an expression, not a definition. what is `myActivateFunction` supposed to be doing? |
2024-10-10 17:06:06 +0200 | <Leonard26> | If I understand correctly, it's supposed to be returning a Bool value, True if it succeded in activating the pad, False if it failed. |
2024-10-10 17:06:28 +0200 | <Leonard26> | It's this right here https://hackage.haskell.org/package/gi-gst-1.0.29/docs/GI-Gst-Callbacks.html#t:PadActivateFunction |
2024-10-10 17:06:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 17:07:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 17:07:40 +0200 | <geekosaur> | so why isn;t it doing that? It's just sitting there without a body, as far as I can tell. Shouldn't it be `myActivateFunction decodeSinkPad decode = …` for some `…`? |
2024-10-10 17:08:06 +0200 | <Leonard26> | It feels wrong as I've written it tho, you're right. But what am I supposed to write in it then? It just takes two values, a pad and its parent, and returns a Bool |
2024-10-10 17:09:04 +0200 | <Leonard26> | Yes I think it should be something like this as well `myActivateFunction decodeSinkPad decode = …` not sure what to put in there tho... |
2024-10-10 17:09:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2024-10-10 17:09:47 +0200 | <c_wraith> | I think you've likely wandered off into the weeds. |
2024-10-10 17:10:31 +0200 | <c_wraith> | that whole module looks like stuff you only interact with to customize behavior when defaults don't do the job |
2024-10-10 17:12:32 +0200 | <Leonard26> | You're right, but the default behaviour won't get me what I need :( |
2024-10-10 17:12:49 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-10 17:13:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 17:13:44 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
2024-10-10 17:14:10 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 17:14:14 +0200 | <dminuoso> | I'd just ask for the whole module to be pasted unmodified (see topic for a link to a website for snippets). |
2024-10-10 17:14:41 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 17:15:06 +0200 | <dminuoso> | Generally when it comes to parse errors you cannot figure out, chances are there's some surrounding artifacts that change the theme. Intuitively Id say you're just not in a do-expression, but Ill wait for the pastie. |
2024-10-10 17:16:47 +0200 | <Leonard26> | I don't understand what you want me to do. Is the link I've provided not working? There's the whole module right there |
2024-10-10 17:17:28 +0200 | <dminuoso> | Is my weechat acting up? I dont see a link to a pastie that contains your full code. |
2024-10-10 17:18:21 +0200 | <dminuoso> | You have only linked to gi-gst on hackage, but not your own gtk-intro-twelve/app/Main.hs contents. |
2024-10-10 17:18:28 +0200 | <geekosaur> | you pointed to a GStreamer module, not to your code that uses it; you pasted that into the channel, which is generally not helpful as most IRC clients will make it a mess |
2024-10-10 17:18:48 +0200 | <dminuoso> | Well, not just that, you've very likely cut off the parts that explain the problem. :-) |
2024-10-10 17:19:13 +0200 | <Leonard26> | Oh, I see. Is there a website I can use to do that then? |
2024-10-10 17:19:22 +0200 | <dminuoso> | http://paste.tomsmeding.com works great |
2024-10-10 17:19:30 +0200 | <geekosaur> | the one you weere just asked to use, in the topic? |
2024-10-10 17:20:52 +0200 | <dminuoso> | Ah, though geekosaur's initial impression is correct. |
2024-10-10 17:21:40 +0200 | <Leonard26> | https://paste.tomsmeding.com/X8qXy2tR |
2024-10-10 17:23:45 +0200 | <dminuoso> | Let bindings (in do-expressions) are of the form `let p = e` not `let p e` |
2024-10-10 17:24:32 +0200 | <dminuoso> | You are missing an equals sign somewhere there. The parser is complaining because it's still looking for an equals sign, found a line break... |
2024-10-10 17:24:53 +0200 | <dminuoso> | And then the indention went back to the left |
2024-10-10 17:25:37 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
2024-10-10 17:26:14 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 17:26:18 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-10-10 17:26:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 17:26:34 +0200 | <dminuoso> | (You can break the indiviual binding across multiple lines, but you must increase indention for the following lines) |
2024-10-10 17:26:57 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-10 17:27:13 +0200 | <Leonard26> | Yes I think that's what it's complaining about. I still need to figure out how to use this function tho |
2024-10-10 17:33:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2024-10-10 17:33:49 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) |
2024-10-10 17:34:56 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-10 17:35:35 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) |
2024-10-10 17:36:21 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 17:36:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 17:37:17 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) (Client Quit) |
2024-10-10 17:40:12 +0200 | krei-se | (~krei-se@p5085d46e.dip0.t-ipconnect.de) krei-se |
2024-10-10 17:40:43 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 17:42:09 +0200 | krei-se- | (~krei-se@p5085d46e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2024-10-10 17:43:00 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 17:47:06 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-10 17:48:53 +0200 | kuribas | (~user@ptr-17d51emnbpfq1feda6b.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2024-10-10 17:52:28 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-10 18:04:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 18:06:03 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.4.2) |
2024-10-10 18:08:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2024-10-10 18:12:04 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-10 18:13:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-10-10 18:17:39 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-10-10 18:17:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-10 18:18:29 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
2024-10-10 18:23:23 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 18:23:54 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 18:23:59 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-10 18:26:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 18:27:33 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
2024-10-10 18:28:43 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-10-10 18:28:58 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 18:30:15 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-10 18:30:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 18:33:10 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-10 18:33:29 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 18:37:49 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-10-10 18:39:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-10-10 18:41:11 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-10-10 18:42:12 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-10-10 18:46:05 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
2024-10-10 18:46:54 +0200 | rvalue- | rvalue |
2024-10-10 18:50:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-10 18:53:18 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-10-10 18:54:01 +0200 | ubert | (~Thunderbi@178.165.177.114.wireless.dyn.drei.com) ubert |
2024-10-10 18:55:59 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-10 18:58:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-10 19:03:46 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 244 seconds) |
2024-10-10 19:12:37 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 252 seconds) |
2024-10-10 19:16:24 +0200 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
2024-10-10 19:29:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-10 19:29:57 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-10 19:38:45 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-10-10 19:40:10 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2024-10-10 19:40:16 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 19:40:47 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 19:42:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
2024-10-10 19:42:33 +0200 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
2024-10-10 19:43:04 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 19:43:14 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) |
2024-10-10 19:43:25 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-10 19:45:11 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-10 19:46:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 19:49:39 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
2024-10-10 19:50:11 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
2024-10-10 19:50:49 +0200 | ystael | (~ystael@user/ystael) ystael |
2024-10-10 19:54:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 20:02:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-10-10 20:08:31 +0200 | euleritian | (~euleritia@dynamic-176-006-135-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 20:08:59 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:472f:e50a:4274:4d00) (Remote host closed the connection) |
2024-10-10 20:09:17 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:b1a7:35c:a44c:6338) |
2024-10-10 20:10:34 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:10:35 +0200 | euleritian | (~euleritia@dynamic-176-004-231-115.176.4.pool.telefonica.de) |
2024-10-10 20:10:41 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:b1a7:35c:a44c:6338) (Remote host closed the connection) |
2024-10-10 20:10:58 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:75b5:52fc:eb54:3119) |
2024-10-10 20:11:59 +0200 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
2024-10-10 20:12:40 +0200 | alp__ | (~alp@2001:861:e3d6:8f80:d8d1:a608:ad48:4e30) |
2024-10-10 20:13:08 +0200 | hueso | (~root@user/hueso) hueso |
2024-10-10 20:15:51 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:75b5:52fc:eb54:3119) (Ping timeout: 246 seconds) |
2024-10-10 20:17:15 +0200 | euleritian | (~euleritia@dynamic-176-004-231-115.176.4.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-10-10 20:17:36 +0200 | alp__ | (~alp@2001:861:e3d6:8f80:d8d1:a608:ad48:4e30) (Ping timeout: 246 seconds) |
2024-10-10 20:19:52 +0200 | euleritian | (~euleritia@dynamic-176-001-227-107.176.1.pool.telefonica.de) |
2024-10-10 20:23:18 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
2024-10-10 20:23:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-10-10 20:24:01 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-10-10 20:25:10 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:25:30 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:25:46 +0200 | <haskellbridge> | <thirdofmay18081814goya> wasn't there a language extension that allowed us to have values that are big lambdas? |
2024-10-10 20:25:57 +0200 | euleritian | (~euleritia@dynamic-176-001-227-107.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 20:26:11 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-10 20:26:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> so that you have values whose type is a polymorphic type |
2024-10-10 20:27:55 +0200 | <monochrom> | Like id :: a -> a; id x = x ? |
2024-10-10 20:28:01 +0200 | vanishing | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
2024-10-10 20:28:09 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
2024-10-10 20:28:59 +0200 | <dmj`> | as opposed to small lambdas? |
2024-10-10 20:29:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> yeah |
2024-10-10 20:29:28 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: "id :: forall a. a -> a" |
2024-10-10 20:30:11 +0200 | <monochrom> | ExplictForall ? |
2024-10-10 20:30:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> right but there were no proper polymorphic values somewhere? like in system F? |
2024-10-10 20:31:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> maybe I'm misremembering |
2024-10-10 20:31:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:31:58 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:32:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:32:59 +0200 | <dmj`> | system f loosens the restriction that lambda bound arguments have to be monomorphic |
2024-10-10 20:35:02 +0200 | <probie> | dmj`: small lambdas (λ; `\` in Haskell) are term level, big lambdas (Λ; `forall` in [GHC's extensions to] Haskell) are type level |
2024-10-10 20:36:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> probie: it would be important to clarify that in system F big lambdas are not type-level |
2024-10-10 20:36:46 +0200 | <haskellbridge> | <thirdofmay18081814goya> they are terms that are typed with universal quantification |
2024-10-10 20:37:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> i.e. normalized expressions, so values |
2024-10-10 20:37:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> i think I'm just misremembering someone's comment about TypeAbstractions |
2024-10-10 20:37:16 +0200 | <monochrom> | We don't have syntax for big lambda in terms. We just have syntax for forall in types. But you can't call it "no proper polymorphic values". \x->x is a proper polymorphic value. |
2024-10-10 20:38:30 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: i would want to say type-reconstructs to a polymorphic value instead here, because the syntax is ambiguous and non-canonical |
2024-10-10 20:38:44 +0200 | <haskellbridge> | <thirdofmay18081814goya> or type-infers to a polymorphic value |
2024-10-10 20:39:11 +0200 | <monochrom> | OK OK we have big lambda since GHC 9.8. It's TypeAbstractions and \(x[@a] -> x) I think. |
2024-10-10 20:39:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> i.e. "\x -> x" is polymorphic only in the derived sense of a property of the type inference algorithm, not as the property of a term |
2024-10-10 20:40:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 20:40:07 +0200 | <monochrom> | Err, \ @a x -> x |
2024-10-10 20:40:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:42:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: ah this was it! |
2024-10-10 20:42:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> nice thanks a lot! |
2024-10-10 20:43:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
2024-10-10 20:44:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:46:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: hm having a bit of trouble using it properly. having better luck? |
2024-10-10 20:46:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-10-10 20:47:21 +0200 | <monochrom> | I have never used it. I only saw https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_abstractions.html |
2024-10-10 20:47:42 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-10 20:47:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-10 20:48:30 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-10 20:48:40 +0200 | <monochrom> | IMO you should simply consult the GHC user's guide. |
2024-10-10 20:49:20 +0200 | <monochrom> | (That's what I did every time I needed something, e.g., that's where I learned GADTs) |
2024-10-10 20:49:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:49:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-10 20:51:02 +0200 | <haskellbridge> | <thirdofmay18081814goya> good point ty |
2024-10-10 20:51:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 20:52:09 +0200 | Oraculo | (mirc-rockc@177.100.68.254) Oraculo |
2024-10-10 20:52:38 +0200 | <Lears> | @where+ rtfm https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
2024-10-10 20:52:38 +0200 | <lambdabot> | Okay. |
2024-10-10 20:53:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-10 20:54:46 +0200 | morb | (~morb@108.41.100.120) |
2024-10-10 20:54:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:55:44 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 20:55:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-10 20:56:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 20:56:51 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Killed (NickServ (GHOST command used by vanishing))) |
2024-10-10 20:56:55 +0200 | vanishing | vanishingideal |
2024-10-10 20:57:04 +0200 | supercode | (~supercode@user/supercode) supercode |
2024-10-10 20:59:20 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
2024-10-10 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-10 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-10 21:01:16 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Read error: Connection reset by peer) |
2024-10-10 21:01:37 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 21:04:02 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 21:04:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-10 21:06:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-10 21:06:19 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-10 21:06:40 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-10 21:08:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 21:11:18 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-10 21:12:40 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-10 21:19:19 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-10 21:21:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-10 21:29:27 +0200 | Batzy_ | (~quassel@user/batzy) Batzy |
2024-10-10 21:31:56 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 255 seconds) |
2024-10-10 21:37:04 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
2024-10-10 21:54:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-10 21:55:16 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2024-10-10 22:00:29 +0200 | Oraculo | (mirc-rockc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
2024-10-10 22:24:02 +0200 | <cheater> | ok no, let's not be assholes to people trying to learn |
2024-10-10 22:24:10 +0200 | <cheater> | @where- rtfm |
2024-10-10 22:24:10 +0200 | <lambdabot> | Maybe you meant: where+ where |
2024-10-10 22:24:16 +0200 | <cheater> | how do we get rid of that |
2024-10-10 22:24:29 +0200 | <geekosaur> | @where rtfm |
2024-10-10 22:24:29 +0200 | <lambdabot> | https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
2024-10-10 22:24:42 +0200 | <monochrom> | IIRC @where+ with the original key but empty new value |
2024-10-10 22:25:25 +0200 | ubert | (~Thunderbi@178.165.177.114.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
2024-10-10 22:25:32 +0200 | <geekosaur> | oh right |
2024-10-10 22:25:35 +0200 | <geekosaur> | @where+ rtfm |
2024-10-10 22:25:35 +0200 | <lambdabot> | It is forgotten. |
2024-10-10 22:25:51 +0200 | <geekosaur> | @where manual |
2024-10-10 22:25:51 +0200 | <lambdabot> | I know nothing about manual. |
2024-10-10 22:26:04 +0200 | <geekosaur> | @where+ manual https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
2024-10-10 22:26:04 +0200 | <lambdabot> | Okay. |
2024-10-10 22:26:36 +0200 | <cheater> | the @help on lambdabot could use a little once-over |
2024-10-10 22:26:49 +0200 | <cheater> | nbd tho |
2024-10-10 22:27:56 +0200 | <cheater> | man, standard chartered sure is having problems retaining employees |
2024-10-10 22:31:58 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-10 22:32:32 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |