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) |