Logs on 2024-04-09 (liberachat/#haskell)
| 00:01:07 | <Inst> | why Cont? |
| 00:02:30 | <Inst> | actually, come to think of it, why isn't there a ConcurrentT? |
| 00:02:45 | <geekosaur> | every time you invoke your continuation you yield, and potentially a different computation can run. |
| 00:02:48 | <Inst> | I guess it's because Cont is mother of all monads? |
| 00:03:09 | <geekosaur> | I recognized this back before I even knew about continuations as such |
| 00:04:12 | <geekosaur> | (having "there's gotta be a better way" thoughts while working on JNOS/Linux in the 90s; JNOS did cooperative multitasking, uglily) |
| 00:05:53 | <geekosaur> | anyway, instead of yielding to the continuation's caller (via runCont or etc.) you yield to a continuation scheduler which runs other continuations and eventually resumes the continuation you yielded |
| 00:06:00 | <Inst> | mhm |
| 00:06:09 | <geekosaur> | freebsd experimented with a threading model based on this for a while |
| 00:09:45 | <geekosaur> | I was talking with someone earlier today who implemented threading in Idris this way, too |
| 00:10:12 | <geekosaur> | sorry, last night my time |
| 00:12:43 | <Inst> | basic problem is still the RTS and existing threading system, unless you think (and I am completely, not only somewhat, out of my depth to judge) delimited continuations fixed this |
| 00:13:29 | <geekosaur> | well, they're by necessity cooperative threading since you need to explicitly yield |
| 00:13:41 | <geekosaur> | so this is something you would use in the absence of proper threads |
| 00:14:41 | <geekosaur> | (or when working with code written with such an assumption, as with JNOS/Linux; it was a port from DOS and had its own cooperative threading system, and had zero chance of working with real threads) |
| 00:15:30 | <c_wraith> | and then you override all syscalls to implicitly yield. |
| 00:17:09 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 00:21:43 | <geekosaur> | not just syscalls, it implemented its own userspace TCP/IP, multiple virtual consoles, etc. all of those assumed exclusive access to data structures |
| 00:22:04 | <geekosaur> | no locking whatsoever, it was assumed that at yield time everything was up to date and consistent |
| 00:23:20 | <Inst> | "90s" |
| 00:23:25 | <geekosaur> | although I suppose by syscall you could mean those routines, but as written they weren't sufficiently encapsulated. (very old code expecting to run on DOS…) |
| 00:23:42 | × | tertek quits (~tertek@user/tertek) (Quit: %quit%) |
| 00:23:49 | <geekosaur> | 80s even |
| 00:24:02 | → | tertek joins (~tertek@user/tertek) |
| 00:24:26 | <geekosaur> | but then, DOS. not like it had real OS services or threading to call upon |
| 00:26:44 | → | sam113102 joins (~sam@24.157.253.231) |
| 00:26:55 | → | pnoumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 00:27:05 | <Inst> | https://www.langelaar.net/jnos2/documents/about.html ? |
| 00:27:51 | × | zfnmxt quits (~zfnmxt@107.189.30.63) (Ping timeout: 252 seconds) |
| 00:27:51 | × | dispater- quits (~dispater@mail.brprice.uk) (Ping timeout: 252 seconds) |
| 00:27:54 | <geekosaur> | yep |
| 00:28:08 | → | doyougnu- joins (~doyougnu@045-046-170-068.res.spectrum.com) |
| 00:28:09 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 00:28:11 | → | dispater joins (~dispater@mail.brprice.uk) |
| 00:29:05 | → | hc joins (~hc@mail.hce.li) |
| 00:29:18 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 00:29:36 | → | JamesMowery1 joins (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
| 00:29:39 | → | drdo8 joins (~drdo@bl5-29-74.dsl.telepac.pt) |
| 00:29:45 | × | doyougnu quits (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:29:45 | × | flocks_ quits (~flocks@134.122.90.60) (Ping timeout: 252 seconds) |
| 00:29:45 | × | foul_owl quits (~kerry@157.97.134.168) (Ping timeout: 252 seconds) |
| 00:29:45 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 252 seconds) |
| 00:29:46 | × | sp1ff quits (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 00:29:46 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 00:29:46 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 00:29:46 | × | TonyStone31 quits (~TonyStone@user/TonyStone) (Ping timeout: 252 seconds) |
| 00:29:46 | × | hc_ quits (~hc@mail.hce.li) (Ping timeout: 252 seconds) |
| 00:29:46 | × | sam113101 quits (~sam@24.157.253.231) (Ping timeout: 252 seconds) |
| 00:29:46 | × | JamesMowery quits (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 00:29:46 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 252 seconds) |
| 00:29:46 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 00:29:46 | × | drdo quits (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 00:29:46 | × | mikko quits (~mikko@user/mikko) (Ping timeout: 252 seconds) |
| 00:29:46 | × | _xor quits (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 00:29:46 | × | helle quits (~helle@user/meow/Helle) (Ping timeout: 252 seconds) |
| 00:29:46 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 00:29:46 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 00:29:46 | × | tdammers quits (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 00:29:46 | × | andjjj23 quits (~irc@107.170.228.47) (Ping timeout: 252 seconds) |
| 00:29:46 | × | siers69 quits (~ij@user/ij) (Ping timeout: 252 seconds) |
| 00:29:48 | drdo8 | is now known as drdo |
| 00:29:48 | JamesMowery1 | is now known as JamesMowery |
| 00:29:50 | sam113102 | is now known as sam113101 |
| 00:29:53 | × | mniip quits (mniip@libera/staff/mniip) (Read error: Connection reset by peer) |
| 00:29:55 | → | _xor joins (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 00:30:03 | × | B-J quits (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 252 seconds) |
| 00:30:03 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 252 seconds) |
| 00:30:03 | × | acarrico quits (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 00:30:03 | × | Moyst_ quits (~moyst@user/moyst) (Ping timeout: 252 seconds) |
| 00:30:12 | → | sp1ff` joins (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 00:30:19 | → | bliminse joins (~bliminse@user/bliminse) |
| 00:30:28 | → | helle joins (~helle@193.33.150.48) |
| 00:30:28 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 00:30:39 | → | siers joins (~ij@user/ij) |
| 00:30:39 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 00:30:39 | ChanServ | sets mode +v haskellbridge |
| 00:30:45 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 00:30:48 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 00:30:51 | → | TonyStone31 joins (~TonyStone@user/TonyStone) |
| 00:31:09 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 00:31:16 | → | acarrico joins (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 00:31:18 | → | Moyst_ joins (~moyst@user/moyst) |
| 00:31:27 | → | Benzi-Junior joins (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 00:31:35 | → | andjjj23 joins (~irc@107.170.228.47) |
| 00:31:56 | → | flocks joins (~flocks@134.122.90.60) |
| 00:32:57 | → | sanpo joins (~sanpo@user/sanpo) |
| 00:35:11 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 00:37:36 | → | mei joins (~mei@user/mei) |
| 00:42:13 | → | tdammers joins (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 00:42:13 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 00:42:44 | → | mikko joins (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
| 00:42:44 | × | mikko quits (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
| 00:42:44 | → | mikko joins (~mikko@user/mikko) |
| 00:43:13 | → | foul_owl joins (~kerry@157.97.134.168) |
| 01:11:04 | × | sadie_ quits (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 01:23:56 | → | outis joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 01:24:02 | × | pnoumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 01:24:04 | × | ftweedal quits (~ftweedal@159.196.12.92) (Ping timeout: 256 seconds) |
| 01:33:35 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 01:36:05 | × | xff0x quits (~xff0x@2405:6580:b080:900:d77c:415b:b254:7fcb) (Ping timeout: 240 seconds) |
| 01:46:27 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 01:48:35 | → | ftweedal joins (~ftweedal@211.30.26.196) |
| 01:53:41 | × | otto_s quits (~user@p5de2f26b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:55:41 | → | otto_s joins (~user@p5b044870.dip0.t-ipconnect.de) |
| 02:02:42 | × | ftweedal quits (~ftweedal@211.30.26.196) (Read error: Connection reset by peer) |
| 02:06:25 | → | rosco joins (~rosco@2001:240:240a:2351:1cb4:5869:63ed:c853) |
| 02:14:33 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 02:16:48 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 02:21:35 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 02:26:34 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:39:11 | × | rosco quits (~rosco@2001:240:240a:2351:1cb4:5869:63ed:c853) (Read error: Connection reset by peer) |
| 02:39:50 | → | rosco joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 02:40:07 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 02:53:03 | × | td_ quits (~td@i53870933.versanet.de) (Ping timeout: 268 seconds) |
| 02:53:09 | <Inst> | hmmm |
| 02:53:16 | <Inst> | is there a function encoding of an algebraic data type? |
| 02:54:00 | <geekosaur> | several, I think: Church, Scott, etc. |
| 02:54:40 | → | td_ joins (~td@i53870916.versanet.de) |
| 02:55:36 | <geekosaur> | https://en.wikipedia.org/wiki/Church_encoding https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding |
| 02:56:34 | <geekosaur> | those should link to others |
| 02:57:04 | <Inst> | i'm playing around with Julia now and I already miss the Haskell type-checker |
| 02:57:54 | <Inst> | now, I'm not good enough (probably not for a few years) to implement a ML-style type-checker of my own via functions... i'm just really amused that with sufficient skill, you can take Haskell anywhere |
| 02:58:57 | <Inst> | HM, rather |
| 02:59:34 | <EvanR> | Syntax -> (Program -> a) -> (Issues -> a) -> a |
| 03:04:40 | → | divya joins (~user@202.170.201.65) |
| 03:21:35 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 03:28:35 | → | Katarushisu10 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 03:28:39 | × | Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 260 seconds) |
| 03:28:39 | Katarushisu10 | is now known as Katarushisu1 |
| 03:28:51 | → | rosco_ joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 03:32:52 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 03:33:34 | → | igemnace joins (~ian@user/igemnace) |
| 03:39:39 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:43:15 | → | Guest|80 joins (~Guest|80@129.0.212.234) |
| 03:45:08 | × | rosco_ quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 256 seconds) |
| 03:46:47 | → | rosco_ joins (rosco@gateway/vpn/airvpn/rosco) |
| 03:49:40 | × | Guest|80 quits (~Guest|80@129.0.212.234) (Quit: Connection closed) |
| 03:53:22 | → | aforemny_ joins (~aforemny@i59F516D1.versanet.de) |
| 03:53:23 | × | aforemny quits (~aforemny@i59F516E6.versanet.de) (Ping timeout: 264 seconds) |
| 03:53:25 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 04:00:08 | × | rosco_ quits (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 260 seconds) |
| 04:01:40 | → | rosco_ joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 04:07:09 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:08:22 | → | michalz joins (~michalz@185.246.207.203) |
| 04:15:23 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Read error: Connection reset by peer) |
| 04:22:22 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (Quit: Updating details, brb) |
| 04:22:34 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 04:22:55 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 04:27:35 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 04:28:13 | × | divya quits (~user@202.170.201.65) (Ping timeout: 255 seconds) |
| 04:28:44 | × | rosco_ quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Quit: Lost terminal) |
| 04:28:57 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 04:33:02 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 04:33:43 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 04:37:15 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 04:45:02 | → | sroso joins (~sroso@user/SrOso) |
| 04:47:42 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 04:50:38 | → | Core9494 joins (~rosco@2001:240:2477:6cbc:852a:8e11:1d83:5ae0) |
| 04:54:07 | × | rosco quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 246 seconds) |
| 04:59:22 | → | ftweedal joins (~ftweedal@202.86.32.122) |
| 05:02:23 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:02:51 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 05:04:53 | → | euleritian joins (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) |
| 05:07:26 | → | danza joins (~francesco@an-19-163-234.service.infuturo.it) |
| 05:08:15 | → | zetef joins (~quassel@5.2.182.99) |
| 05:17:01 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 05:18:11 | × | euleritian quits (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:18:31 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:19:08 | × | sanpo quits (~sanpo@user/sanpo) (Quit: Client closed) |
| 05:21:39 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 05:35:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:37:44 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:40:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 05:41:23 | → | euleritian joins (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) |
| 05:46:09 | → | redmp joins (~redmp@mobile-166-170-39-106.mycingular.net) |
| 05:49:03 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:51:17 | × | redmp quits (~redmp@mobile-166-170-39-106.mycingular.net) (Quit: leaving) |
| 05:58:31 | × | ubert quits (~Thunderbi@p200300ecdf3957b4cb1ee850dd579499.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 06:00:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:00:49 | × | Athas quits (athas@2a01:7c8:aaac:1cf:af1c:2933:77d:8603) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:00:50 | × | ftweedal quits (~ftweedal@202.86.32.122) (Ping timeout: 268 seconds) |
| 06:02:01 | → | sanpo joins (~sanpo@user/sanpo) |
| 06:02:08 | → | sadie_ joins (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 06:02:10 | → | ftweedal joins (~ftweedal@211.30.26.196) |
| 06:02:14 | → | Athas joins (athas@sigkill.dk) |
| 06:08:15 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 06:08:37 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 06:08:52 | × | ft quits (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:09:52 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 06:09:52 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 06:11:52 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 06:13:03 | × | sanpo quits (~sanpo@user/sanpo) (Quit: Client closed) |
| 06:15:02 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b940:c420:b928:a6e:e519) |
| 06:15:26 | → | gentauro joins (~gentauro@user/gentauro) |
| 06:15:35 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 06:16:08 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 06:16:36 | × | euleritian quits (~euleritia@dynamic-176-006-184-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:16:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:21:28 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 06:27:52 | → | qqq joins (~qqq@92.43.167.61) |
| 06:28:22 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 06:28:47 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 06:30:05 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 06:32:10 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 06:34:18 | → | xdminsy joins (~xdminsy@117.147.70.203) |
| 06:37:25 | → | kishor joins (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) |
| 06:37:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:38:28 | × | kishor quits (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 06:38:46 | × | xdminsy quits (~xdminsy@117.147.70.203) (Remote host closed the connection) |
| 06:39:28 | → | nilradical joins (~nilradica@202.86.32.122) |
| 06:39:28 | × | nilradical quits (~nilradica@202.86.32.122) (Changing host) |
| 06:39:28 | → | nilradical joins (~nilradica@user/naso) |
| 06:39:43 | → | xdminsy joins (~xdminsy@117.147.70.203) |
| 06:41:03 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:41:06 | → | kishor joins (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) |
| 06:41:32 | <kishor> | asf |
| 06:42:12 | <kishor> | Hey there! Anyone? |
| 06:42:22 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:42:52 | <kishor> | Anyone? |
| 06:43:21 | <kishor> | I have question which language to learn first haskell or c? |
| 06:44:26 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 06:44:41 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 06:45:06 | <c_wraith> | whichever you want or need to. |
| 06:45:25 | <c_wraith> | There isn't some required order. |
| 06:45:41 | <c_wraith> | Some people even learn python first! |
| 06:45:46 | <danza> | given your question, learn rust which is somewhat in between the two |
| 06:46:47 | <kishor> | i really love functional programming from what i heard? |
| 06:47:22 | <c_wraith> | There's also no finish line |
| 06:47:37 | <c_wraith> | You can start, stop, switch, or whatever as you like. |
| 06:47:43 | <kishor> | But they say learn c so that you will be good with the basics about pointers and learn how other languages work in depth... |
| 06:47:57 | <danza> | yeah i agree about that |
| 06:48:11 | <kishor> | what languages y'all know? |
| 06:48:17 | <danza> | (there would also be assembly but well) |
| 06:48:31 | <kishor> | too low level bud.... |
| 06:48:41 | <Axman6> | I'm not sure this is a particularly productive approach to learning... |
| 06:48:50 | <Axman6> | C is too low level |
| 06:48:53 | <Axman6> | C++ is too low level |
| 06:49:02 | <Axman6> | Java is too low level |
| 06:49:09 | <Axman6> | Haskell is too low level |
| 06:49:16 | <Axman6> | Idris is too low level |
| 06:49:27 | <Axman6> | but for what? |
| 06:49:27 | <danza> | take a break Axman6 we got the ... concept |
| 06:49:51 | <kishor> | What language y'all know.. |
| 06:50:07 | <Axman6> | kishor: what software do you want to write? Your question is kind of like asking "which language should I learn?" it depends who you want to speak to |
| 06:51:00 | <kishor> | I completed high school. learned c++ and python to a good level.. |
| 06:51:35 | <danza> | then you already know pointers and object oriented enough, if variety is worth anything for you |
| 06:52:06 | <kishor> | they don't teach pointers in c++ |
| 06:52:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:52:27 | <danza> | huh maybe i forgot was using it long time ago |
| 06:53:05 | <kishor> | That why i ask what programming language y'all use, so that i can get the perspective of y'all |
| 06:53:42 | <kishor> | ... |
| 06:53:57 | <danza> | not gonna work i am afraid. I don't know rust enough to know whether that would expose you to pointers enough ... but seriously one can learn that and a lot more from assembly |
| 06:54:16 | <kishor> | any others... |
| 06:54:31 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 06:54:47 | <kishor> | anyone use haskell in production. |
| 06:57:00 | <kishor> | no rep |
| 06:57:37 | <kishor> | exit |
| 06:58:03 | ← | kishor parts (~user@2401:4900:4dd7:d4a2:3e5a:eade:f6b6:16a5) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 06:59:26 | × | danza quits (~francesco@an-19-163-234.service.infuturo.it) (Ping timeout: 255 seconds) |
| 06:59:30 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:02:07 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 255 seconds) |
| 07:04:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 07:04:28 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:05:46 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
| 07:07:26 | → | tititest joins (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 07:08:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:12:18 | → | romesrf joins (~romes@192.22.63.94.rev.vodafone.pt) |
| 07:12:59 | → | alt-romes joins (~romes@185.128.9.208) |
| 07:13:09 | → | Eoco joins (~ian@128.101.131.218) |
| 07:15:31 | → | acidjnk_new joins (~acidjnk@p200300d6e714dc64d0e49d55bdfde17a.dip0.t-ipconnect.de) |
| 07:15:31 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 07:16:15 | ← | ftweedal parts (~ftweedal@211.30.26.196) () |
| 07:16:40 | → | gmg joins (~user@user/gehmehgeh) |
| 07:16:53 | × | romesrf quits (~romes@192.22.63.94.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 07:18:19 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 07:19:35 | × | Core9494 quits (~rosco@2001:240:2477:6cbc:852a:8e11:1d83:5ae0) (Read error: Connection reset by peer) |
| 07:19:48 | × | nilradical quits (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 07:20:04 | → | rosco joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 07:21:01 | → | zetef joins (~quassel@5.2.182.99) |
| 07:22:08 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 07:22:47 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 07:24:01 | → | Eoco joins (~ian@128.101.131.218) |
| 07:25:18 | × | alt-romes quits (~romes@185.128.9.208) (Ping timeout: 252 seconds) |
| 07:31:01 | <Axman6> | pSo while we're on the topic of other languages - I'm working in C++ at the moment, and looking for a nice way to get something like ExceptT Err (Writer [Warning]) a; I've got some processes which might exit with an error, or collect warnings. I could use exceptions for the warnings, but it would be nice to have relatively elegant code for collecting warnings |
| 07:32:09 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 07:32:37 | → | Eoco joins (~ian@128.101.131.218) |
| 07:33:25 | → | igemnace joins (~ian@user/igemnace) |
| 07:34:18 | <Axman6> | I guess I could just pass in an object wrapping a vector<warning> and push them onto it |
| 07:34:44 | <Axman6> | I want my programmable semi-colons dangit! |
| 07:39:18 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 07:40:27 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 07:43:12 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 07:43:49 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 07:47:18 | → | Eoco joins (~ian@128.101.131.218) |
| 07:55:11 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 07:56:10 | → | sanpo joins (~sanpo@user/sanpo) |
| 07:56:31 | ← | sanpo parts (~sanpo@user/sanpo) () |
| 07:56:53 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 240 seconds) |
| 07:57:16 | → | Eoco joins (~ian@128.101.131.218) |
| 07:59:56 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:01:33 | → | romesrf joins (~romes@2001:8a0:6d17:b700:cc01:f6b1:3221:747d) |
| 08:01:42 | × | romesrf quits (~romes@2001:8a0:6d17:b700:cc01:f6b1:3221:747d) (Client Quit) |
| 08:03:38 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 08:04:15 | → | nilradical joins (~nilradica@202.86.32.122) |
| 08:04:15 | × | nilradical quits (~nilradica@202.86.32.122) (Changing host) |
| 08:04:15 | → | nilradical joins (~nilradica@user/naso) |
| 08:06:07 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 08:06:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 08:08:03 | → | danse-nr3 joins (~danse-nr3@151.47.145.80) |
| 08:08:10 | <lyxia> | Use effect handlers! https://github.com/maciejpirog/cpp-effects |
| 08:08:10 | → | zetef joins (~quassel@5.2.182.99) |
| 08:10:23 | → | Eoco joins (~ian@128.101.131.218) |
| 08:10:26 | × | nilradical quits (~nilradica@user/naso) (Remote host closed the connection) |
| 08:10:49 | × | Rodney_ quits (~Rodney@176.254.244.83) (Read error: Connection reset by peer) |
| 08:13:10 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 08:13:12 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 08:14:32 | mzg_ | is now known as mzg |
| 08:16:27 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 08:16:32 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 08:18:16 | × | zetef quits (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
| 08:18:37 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 08:23:58 | × | qqq quits (~qqq@92.43.167.61) (Read error: Connection reset by peer) |
| 08:25:02 | → | Eoco joins (~ian@128.101.131.218) |
| 08:28:30 | → | qqq joins (~qqq@92.43.167.61) |
| 08:31:38 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 08:34:15 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 08:36:24 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:37:20 | × | foul_owl quits (~kerry@157.97.134.168) (Ping timeout: 260 seconds) |
| 08:40:39 | → | Eoco joins (~ian@128.101.131.218) |
| 08:41:25 | → | Rodney_ joins (~Rodney@176.254.244.83) |
| 08:42:53 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 08:43:26 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 08:47:53 | → | zetef joins (~quassel@95.77.17.251) |
| 08:48:22 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 08:50:33 | × | danse-nr3 quits (~danse-nr3@151.47.145.80) (Ping timeout: 256 seconds) |
| 08:52:05 | → | foul_owl joins (~kerry@185.219.141.164) |
| 08:53:09 | × | tititest quits (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Quit: Leaving.) |
| 08:54:43 | × | helle quits (~helle@193.33.150.48) (Changing host) |
| 08:54:43 | → | helle joins (~helle@user/meow/Helle) |
| 08:56:00 | → | Eoco joins (~ian@128.101.131.218) |
| 08:58:22 | → | chele joins (~chele@user/chele) |
| 08:59:36 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:c80b:f006:1536:a382) |
| 09:00:26 | → | danse-nr3 joins (~danse-nr3@151.47.145.80) |
| 09:01:54 | → | Core3656 joins (~rosco@2001:240:2479:6b64:3d23:ee4e:6da9:2d51) |
| 09:02:40 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:03:07 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 09:03:12 | × | rosco quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 252 seconds) |
| 09:04:57 | → | Eoco joins (~ian@128.101.131.218) |
| 09:06:56 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:12:17 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:15:03 | → | Eoco joins (~ian@128.101.131.218) |
| 09:17:43 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:22:31 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 09:22:53 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:22:57 | → | nullobject joins (~josh@159.196.168.242) |
| 09:24:36 | → | Eoco joins (~ian@128.101.131.218) |
| 09:29:37 | × | outis quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 09:33:15 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:33:50 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:36:46 | → | Eoco joins (~ian@128.101.131.218) |
| 09:37:33 | → | Square joins (~Square4@user/square) |
| 09:39:32 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 09:39:46 | × | nullobject quits (~josh@159.196.168.242) (Changing host) |
| 09:39:46 | → | nullobject joins (~josh@user/nullobject) |
| 09:44:01 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:44:53 | → | Eoco joins (~ian@128.101.131.218) |
| 09:45:22 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 09:46:05 | → | califax joins (~califax@user/califx) |
| 09:51:50 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 09:56:07 | × | danse-nr3 quits (~danse-nr3@151.47.145.80) (Remote host closed the connection) |
| 09:59:42 | → | Eoco joins (~ian@128.101.131.218) |
| 09:59:51 | → | avner66 joins (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) |
| 10:01:31 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 10:03:13 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:c80b:f006:1536:a382) (Ping timeout: 256 seconds) |
| 10:03:13 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:03:27 | → | euleritian joins (~euleritia@dynamic-176-006-191-150.176.6.pool.telefonica.de) |
| 10:03:43 | × | euleritian quits (~euleritia@dynamic-176-006-191-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:04:03 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:04:15 | → | danse-nr3 joins (~danse-nr3@151.47.145.80) |
| 10:04:22 | × | danse-nr3 quits (~danse-nr3@151.47.145.80) (Remote host closed the connection) |
| 10:04:54 | → | danse-nr3 joins (~danse-nr3@151.47.145.80) |
| 10:05:03 | × | avner66 quits (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) (Read error: Connection reset by peer) |
| 10:05:24 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:d47a:8ba8:18a1:4503) |
| 10:05:31 | → | avner66 joins (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) |
| 10:06:03 | × | enikar quits (~enikar@chezlefab.net) (Changing host) |
| 10:06:03 | → | enikar joins (~enikar@user/enikar) |
| 10:06:05 | × | avner66 quits (~avner66@c-73-167-224-210.hsd1.ct.comcast.net) (Remote host closed the connection) |
| 10:07:31 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 10:07:40 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:08:18 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 10:08:44 | → | Eoco joins (~ian@128.101.131.218) |
| 10:11:34 | × | nullobject quits (~josh@user/nullobject) (Quit: WeeChat 3.5) |
| 10:13:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 10:21:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:22:06 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:24:37 | → | nullobject joins (~josh@user/nullobject) |
| 10:25:20 | → | akegalj joins (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
| 10:25:33 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:26:06 | × | sadie_ quits (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 10:33:14 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 10:33:18 | × | akegalj quits (~akegalj@78-1-50-53.adsl.net.t-com.hr) (Quit: leaving) |
| 10:35:15 | → | akegalj joins (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
| 10:35:53 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:36:13 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 10:37:21 | → | probie joins (cc0b34050a@user/probie) |
| 10:38:50 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:52:20 | × | sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 10:53:28 | → | causal joins (~eric@50.35.88.207) |
| 10:56:10 | → | rosco joins (~rosco@2001:240:2479:6b64:d644:7976:db05:4c48) |
| 10:57:43 | → | sroso joins (~sroso@user/SrOso) |
| 10:59:46 | × | Core3656 quits (~rosco@2001:240:2479:6b64:3d23:ee4e:6da9:2d51) (Ping timeout: 256 seconds) |
| 11:01:46 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 11:02:01 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 11:02:33 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 11:06:27 | → | xff0x joins (~xff0x@2405:6580:b080:900:847:f391:691d:6dc4) |
| 11:12:33 | × | foul_owl quits (~kerry@185.219.141.164) (Ping timeout: 268 seconds) |
| 11:14:38 | → | zetef joins (~quassel@95.77.17.251) |
| 11:17:09 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:74f3:c13a:dd36:bd6b) |
| 11:17:09 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:74f3:c13a:dd36:bd6b) (Changing host) |
| 11:17:09 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 11:20:23 | × | danse-nr3 quits (~danse-nr3@151.47.145.80) (Ping timeout: 264 seconds) |
| 11:24:35 | → | arahael joins (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 11:25:48 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 11:28:53 | → | elbear joins (~lucian@82.79.23.245) |
| 11:30:16 | <elbear> | hey. I'm trying to join the haskell discourse and I've been waiting for 5+ minutes for the activation mail. I also clicked resend and checked spam. anyone know if the systems are running properly? |
| 11:31:37 | × | rosco quits (~rosco@2001:240:2479:6b64:d644:7976:db05:4c48) (Read error: Connection reset by peer) |
| 11:31:50 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 11:31:55 | → | rosco joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 11:38:26 | → | Inst_ joins (~Inst@user/Inst) |
| 11:40:54 | → | liamzy__ joins (~Inst@user/Inst) |
| 11:41:10 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 256 seconds) |
| 11:41:16 | liamzy__ | is now known as Inst |
| 11:41:26 | → | danse-nr3 joins (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 11:41:41 | × | danse-nr3 quits (~danse-nr3@fi-19-205-233.service.infuturo.it) (Remote host closed the connection) |
| 11:41:49 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 11:42:06 | → | danse-nr3 joins (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 11:42:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:43:47 | × | Inst_ quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 11:46:14 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 11:46:50 | × | nullobject quits (~josh@user/nullobject) (Ping timeout: 256 seconds) |
| 11:47:35 | <danse-nr3> | probie, i am not sure what did upset you yesterday, i did not mean to disrespect you was just not in the mood for arguing |
| 11:49:22 | <Inst> | I guess it has nothing to do with SPJ, since he left for Epic, but Microsoft Office now has Scheme built in? |
| 11:49:35 | <Inst> | And the professional version is apparently going to get Clojure! |
| 11:50:50 | <Inst> | oh, it's a third party, i think? |
| 11:52:55 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 11:53:11 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 11:57:21 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 12:04:03 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 12:08:13 | → | Eoco joins (~ian@128.101.131.218) |
| 12:08:25 | → | Inst_ joins (~Inst@user/Inst) |
| 12:08:52 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 12:09:01 | × | elbear quits (~lucian@82.79.23.245) (Ping timeout: 256 seconds) |
| 12:09:19 | → | foul_owl joins (~kerry@185.216.231.182) |
| 12:09:28 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 12:10:48 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 255 seconds) |
| 12:14:42 | → | elbear joins (~lucian@82.79.23.245) |
| 12:15:45 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 12:17:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:24:30 | × | elbear quits (~lucian@82.79.23.245) (Ping timeout: 252 seconds) |
| 12:25:17 | → | Eoco joins (~ian@128.101.131.218) |
| 12:26:15 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 12:26:23 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 12:27:45 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 12:34:13 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 12:37:47 | → | Eoco joins (~ian@128.101.131.218) |
| 12:44:25 | → | elbear joins (~lucian@79.118.150.93) |
| 12:45:03 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 12:46:06 | → | Eoco joins (~ian@128.101.131.218) |
| 12:49:27 | → | n8n joins (n8n@user/n8n) |
| 12:55:18 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 12:58:06 | × | AlexNoo quits (~AlexNoo@178.34.160.182) (Read error: Connection reset by peer) |
| 12:58:28 | → | AlexNoo joins (~AlexNoo@178.34.160.182) |
| 13:03:17 | → | Eoco joins (~ian@128.101.131.218) |
| 13:10:01 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 13:10:57 | → | Eoco joins (~ian@128.101.131.218) |
| 13:12:29 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 13:18:08 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 13:20:29 | → | ystael joins (~ystael@user/ystael) |
| 13:25:43 | → | Eoco joins (~ian@128.101.131.218) |
| 13:31:05 | → | Achylles joins (~Achylles@45.182.57.107) |
| 13:33:57 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 13:36:51 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 13:40:16 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 13:41:03 | → | Eoco joins (~ian@128.101.131.218) |
| 13:48:21 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 13:48:58 | × | xdminsy quits (~xdminsy@117.147.70.203) (Quit: Konversation terminated!) |
| 13:49:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 13:50:08 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:52:21 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 13:52:30 | × | rosco quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Read error: Connection reset by peer) |
| 13:52:46 | → | rosco joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 13:54:20 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 13:55:17 | → | Eoco joins (~ian@128.101.131.218) |
| 13:55:31 | → | euleritian joins (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) |
| 13:58:26 | → | erisco_ joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 13:59:06 | × | Achylles quits (~Achylles@45.182.57.107) (Ping timeout: 252 seconds) |
| 13:59:26 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 256 seconds) |
| 13:59:26 | erisco_ | is now known as erisco |
| 14:02:55 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 14:04:01 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:04:02 | × | nonzen quits (~nonzen@user/nonzen) (Quit: Gone) |
| 14:04:02 | × | sajith_ quits (~sajith@user/sajith) (Quit: Gone) |
| 14:04:25 | → | nonzen joins (~nonzen@user/nonzen) |
| 14:04:57 | → | sajith joins (~sajith@user/sajith) |
| 14:06:23 | × | nonzen quits (~nonzen@user/nonzen) (Client Quit) |
| 14:06:23 | × | sajith quits (~sajith@user/sajith) (Remote host closed the connection) |
| 14:07:03 | → | nonzen joins (~nonzen@user/nonzen) |
| 14:07:35 | → | sajith joins (~sajith@user/sajith) |
| 14:08:37 | → | Eoco joins (~ian@128.101.131.218) |
| 14:09:01 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 14:12:47 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 14:13:22 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 14:13:39 | × | danse-nr3 quits (~danse-nr3@fi-19-205-233.service.infuturo.it) (Ping timeout: 255 seconds) |
| 14:14:36 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 14:15:17 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 14:15:42 | × | rosco quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Read error: Connection reset by peer) |
| 14:15:51 | → | rosco joins (~rosco@33.62.31.150.dy.iij4u.or.jp) |
| 14:17:07 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:18:05 | → | danse-nr3 joins (~danse-nr3@fi-19-205-233.service.infuturo.it) |
| 14:19:27 | → | Eoco joins (~ian@128.101.131.218) |
| 14:21:03 | → | mcksp joins (~mcksp@host2.98.gci-net.pl) |
| 14:23:37 | × | euleritian quits (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:23:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:27:10 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 14:28:55 | → | Eoco joins (~ian@128.101.131.218) |
| 14:32:04 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 14:32:23 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 14:32:29 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 14:35:05 | → | mei joins (~mei@user/mei) |
| 14:36:05 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 14:38:06 | → | zetef joins (~quassel@95.77.17.251) |
| 14:38:54 | <mcksp> | Hi! I'm using scotty and want to write some middlewarehttps://hackage.haskell.org/package/scotty-0.22/docs/Web-Scotty.html#v:middleware |
| 14:38:55 | <mcksp> | which type is |
| 14:38:55 | <mcksp> | Middleware -> ScottyM () |
| 14:38:56 | <mcksp> | Middleware is Application -> Application |
| 14:38:56 | <mcksp> | Application is Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived |
| 14:38:57 | <mcksp> | I have some functions written already that uses scotty functions that are all ActionM a type (ActionT ConfigM a to be precise, but probably it doesn't matter) |
| 14:38:57 | <mcksp> | Also scotty itself has many helper functions that are more straightforward than WAI functions, i.e getting specific header. |
| 14:38:58 | <mcksp> | So my question - am I forced to use only WAI functions in middleware, since those are IO a type, or can I somehow use ActionM a types there and cast it to IO. |
| 14:39:10 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:42:33 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 14:52:22 | → | Eoco joins (~ian@128.101.131.218) |
| 14:56:46 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 14:58:49 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 14:59:47 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 15:00:15 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 15:06:06 | → | Eoco joins (~ian@128.101.131.218) |
| 15:06:33 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 15:06:50 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 15:12:56 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 15:13:06 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 15:13:39 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 15:13:55 | × | akegalj quits (~akegalj@78-1-50-53.adsl.net.t-com.hr) (Quit: leaving) |
| 15:14:38 | <carbolymer> | there was a tool which was checking for dependencies which can be updated and printing a report |
| 15:14:42 | <carbolymer> | but I forgot the name |
| 15:14:45 | <carbolymer> | anyone remembers? |
| 15:16:38 | <carbolymer> | I think I was looking for `cabal outdated` |
| 15:19:04 | → | Eoco joins (~ian@128.101.131.218) |
| 15:21:11 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 15:21:41 | × | elbear quits (~lucian@79.118.150.93) (Ping timeout: 240 seconds) |
| 15:22:07 | <geekosaur> | there's several on hackage as well |
| 15:24:28 | → | elbear joins (~lucian@79.118.150.93) |
| 15:25:17 | <janus> | are there any codebases consistently using 'do' instead of let-in? |
| 15:26:00 | <janus> | carbolymer: maybe https://packdeps.haskellers.com/ |
| 15:26:21 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 15:26:30 | <carbolymer> | janus: this is only for hackage.haskell.org, right? |
| 15:27:02 | <carbolymer> | janus: we have our own packages repo so I'm more interested in picking outdated version from there |
| 15:28:18 | → | Eoco joins (~ian@128.101.131.218) |
| 15:29:23 | × | elbear quits (~lucian@79.118.150.93) (Ping timeout: 264 seconds) |
| 15:30:14 | → | igemnace joins (~ian@user/igemnace) |
| 15:31:03 | <janus> | carbolymer: the tool is open source, the repo is linked from the page i linked |
| 15:31:16 | × | danse-nr3 quits (~danse-nr3@fi-19-205-233.service.infuturo.it) (Ping timeout: 260 seconds) |
| 15:31:39 | <haskellbridge> | <eldritchcookie> mcksp: unless ScottyM is MonadUnliftIO you are out of luck |
| 15:31:42 | <carbolymer> | oh right, thanks I may take a alook |
| 15:31:51 | <janus> | carbolymer: if you run your own hackage-server, i added a feature that makes hackage able to send email notifications when deps go out of bounds |
| 15:37:32 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 15:39:57 | → | Eoco joins (~ian@128.101.131.218) |
| 15:43:20 | → | elbear joins (~lucian@79.118.150.93) |
| 15:47:44 | × | elbear quits (~lucian@79.118.150.93) (Ping timeout: 255 seconds) |
| 15:48:10 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 15:51:16 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:9eab:1f62:ace9:e44f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:51:33 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:aa00:da1d:4eed:33ec) |
| 15:53:21 | → | Eoco joins (~ian@128.101.131.218) |
| 15:55:45 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 15:56:20 | <mauke> | eldritchcookie: what if you use scottyAppT recklessly? |
| 15:58:42 | <jackdk> | `newtype ScottyT m a = ScottyT { runS :: ReaderT Options (State (ScottyState m)) a }` <- IIRC you can only make UnliftIO instances for IdentityT and ReaderT |
| 16:00:14 | → | elbear joins (~lucian@79.118.150.93) |
| 16:01:49 | → | Achylles joins (~Achylles@45.182.57.107) |
| 16:02:39 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 16:03:18 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 16:05:44 | → | mei joins (~mei@user/mei) |
| 16:10:33 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:11:17 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 16:11:29 | → | Eoco joins (~ian@128.101.131.218) |
| 16:17:59 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 16:18:59 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 16:23:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 16:24:07 | → | euleritian joins (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) |
| 16:25:49 | → | Eoco joins (~ian@128.101.131.218) |
| 16:28:05 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 16:33:01 | × | Eoco quits (~ian@128.101.131.218) (Remote host closed the connection) |
| 16:33:54 | → | Eoco joins (~ian@128.101.131.218) |
| 16:34:25 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 16:36:40 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:d47a:8ba8:18a1:4503) (Quit: ubert) |
| 16:42:58 | → | Square2 joins (~Square@user/square) |
| 16:48:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:55:53 | × | euleritian quits (~euleritia@dynamic-176-006-182-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:56:10 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:00:07 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 17:04:32 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 17:07:12 | × | elbear quits (~lucian@79.118.150.93) (Ping timeout: 252 seconds) |
| 17:08:58 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 17:14:14 | × | n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
| 17:15:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:19:04 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:19:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:20:31 | → | elbear joins (~lucian@79.118.150.93) |
| 17:32:07 | × | elbear quits (~lucian@79.118.150.93) (Ping timeout: 255 seconds) |
| 17:35:25 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 17:37:51 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:38:29 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Ping timeout: 240 seconds) |
| 17:39:03 | → | poollovernathan joins (~u0_a408@108.145.176.161) |
| 17:43:17 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 17:43:44 | → | elbear joins (~lucian@79.118.150.93) |
| 17:46:29 | → | SteelBlueSilk joins (~SteelBlue@user/SteelBlueSilk) |
| 17:47:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:54:00 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 17:55:01 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:55:28 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:59:45 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 17:59:58 | → | ft joins (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 18:05:29 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 18:06:35 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 18:07:01 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 18:10:02 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:10:35 | → | pylover joins (~pylover@5.237.5.177) |
| 18:11:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:13:25 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:13:45 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 18:14:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:15:29 | × | poollovernathan quits (~u0_a408@108.145.176.161) (Read error: Connection reset by peer) |
| 18:15:38 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 18:19:34 | → | siw5ohs0 joins (~aiw5ohs0@user/aiw5ohs0) |
| 18:19:44 | ← | siw5ohs0 parts (~aiw5ohs0@user/aiw5ohs0) () |
| 18:20:44 | → | poollovernathan joins (~u0_a408@108.145.176.161) |
| 18:22:20 | × | pylover quits (~pylover@5.237.5.177) (Quit: Client closed) |
| 18:22:53 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 18:26:57 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 18:28:48 | → | arjun joins (~arjun@user/arjun) |
| 18:33:10 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 18:40:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:46:28 | × | jle` quits (~jle`@2603-8001-3b02-84d4-6afd-70f5-ecb9-5dde.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 18:46:38 | → | n8n joins (n8n@user/n8n) |
| 18:46:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:46:44 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 18:46:58 | → | jle` joins (~jle`@2603-8001-3b02-84d4-a77f-f741-f7ec-5267.res6.spectrum.com) |
| 18:47:16 | × | elbear quits (~lucian@79.118.150.93) (Quit: leaving) |
| 18:49:49 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 18:49:53 | → | crook1389 joins (uid581388@id-581388.ilkley.irccloud.com) |
| 18:49:58 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 18:51:37 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 18:53:03 | × | arjun quits (~arjun@user/arjun) (Quit: Quit!) |
| 18:54:00 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 18:55:44 | × | Achylles quits (~Achylles@45.182.57.107) (Quit: Leaving) |
| 19:02:27 | × | foul_owl quits (~kerry@185.216.231.182) (Read error: Connection reset by peer) |
| 19:02:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:03:13 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 19:09:46 | <Inst_> | oh. my. god |
| 19:09:57 | <Inst_> | i'm thankful for it all now |
| 19:10:06 | <Inst_> | i'm working an algol-syntax language without currying |
| 19:10:13 | <Inst_> | and "functional programming support |
| 19:10:21 | <EvanR> | condolences |
| 19:10:33 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:11:34 | <juri_> | I've been writing C for the last few months. well, assembly-wrapped-in-c. |
| 19:12:34 | <Inst_> | working julia, maybe more experienced hackers would explain to me how to do it |
| 19:13:22 | <geekosaur> | wouldn't this be more appropriate for -offtopic? |
| 19:13:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:13:39 | <Inst_> | just saying, i'm appreciating Haskell more |
| 19:14:15 | <Inst_> | oh, my dear >>>, I forgive you for having the wrong precedence now |
| 19:16:44 | Inst_ | is now known as Inst |
| 19:19:52 | → | foul_owl joins (~kerry@185.219.141.162) |
| 19:26:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:30:30 | <ski> | "without currying" -- no first-class functions ? |
| 19:32:49 | <Inst> | got it fixed, good ole lambda nesting |
| 19:35:43 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 19:38:20 | → | __monty__ joins (~toonn@user/toonn) |
| 19:42:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:45:56 | × | ft quits (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 19:49:11 | × | dcoutts__ quits (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 19:49:11 | → | ft joins (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 19:49:21 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 19:57:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:04:37 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:05:50 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:10:11 | → | dcoutts joins (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 20:10:13 | × | dcoutts quits (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Remote host closed the connection) |
| 20:10:34 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 20:10:36 | → | dcoutts joins (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 20:12:19 | × | mcksp quits (~mcksp@host2.98.gci-net.pl) (Quit: Client closed) |
| 20:13:34 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 20:14:48 | → | Square joins (~Square4@user/square) |
| 20:20:47 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 20:21:14 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:25:29 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 20:26:35 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 20:27:34 | → | poollove1nathan joins (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 20:27:35 | × | poollovernathan quits (~u0_a408@108.145.176.161) (Read error: Connection reset by peer) |
| 20:28:35 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 20:40:14 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 20:41:53 | × | dcoutts quits (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 20:43:53 | → | dcoutts joins (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 20:51:54 | × | rosco quits (~rosco@33.62.31.150.dy.iij4u.or.jp) (Ping timeout: 255 seconds) |
| 20:53:14 | × | michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:53:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:57:06 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 20:59:07 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 21:01:19 | → | nullobject joins (~josh@user/nullobject) |
| 21:02:30 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 21:04:41 | → | EvanR joins (~EvanR@user/evanr) |
| 21:08:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:12:39 | × | hueso quits (~root@user/hueso) (Ping timeout: 260 seconds) |
| 21:13:48 | → | hueso joins (~root@user/hueso) |
| 21:15:53 | × | dcoutts quits (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 21:19:23 | → | poollovernathan joins (~u0_a408@108.145.176.161) |
| 21:20:13 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 21:22:19 | → | dtman34 joins (~dtman34@2601:447:d001:ed50:1acf:2b1a:7f58:c229) |
| 21:22:56 | × | poollove1nathan quits (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:26:50 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 21:29:38 | × | crook1389 quits (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:32:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:33:16 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 21:35:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:36:47 | → | dcoutts joins (~duncan@82.13.254.239) |
| 21:40:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:51:51 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:00:26 | × | poollovernathan quits (~u0_a408@108.145.176.161) (Remote host closed the connection) |
| 22:06:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:06:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:11:21 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 22:11:38 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:511c:3f91:59de:5f1f) |
| 22:11:38 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:511c:3f91:59de:5f1f) (Changing host) |
| 22:11:38 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 22:20:08 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 22:20:23 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 22:23:17 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:29:29 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 22:30:28 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 22:35:40 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 22:38:03 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 22:38:57 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 22:41:46 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:53:24 | <energizer> | in this exercise https://i.imgur.com/nEoruJW.png what can "implement the expressions from the laws" mean |
| 22:55:01 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 22:56:00 | <geekosaur> | the laws are the bullet points; the expressions are contained within them |
| 22:56:10 | <ski> | give values of this `data' type, that represents the expressions on both sides of the given laws |
| 22:56:55 | <ski> | (i guess three's three expressions listed, for the neutral element and absorption laws) |
| 22:57:10 | <energizer> | what does implement the expressions mean? |
| 22:57:24 | <ski> | see what i just said above |
| 22:57:58 | <energizer> | what you mean like `9`? |
| 22:59:25 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 23:00:04 | <energizer> | i'm afraid i dont follow |
| 23:02:07 | <ski> | e.g. in the law ⌜a ⋅ (b + c) = (a + b) ⋅ (a + c)⌝, the two expression sides would be ⌜a ⋅ (b + c)⌝ and ⌜(a + b) ⋅ (a + c)⌝, which you could represent as value of the type `SR v', for some type `v' of variables/parameters/unknowns/indeterminates (maybe `String') |
| 23:03:06 | <ski> | er, that would be ⌜a ⋅ (b + c) = (a ⋅ b) + (a ⋅ c)⌝, resp the expressions ⌜a ⋅ (b + c)⌝ and ⌜(a ⋅ b) + (a ⋅ c)⌝ |
| 23:04:29 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 23:08:28 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:6ed0:8db9:7da:c050) |
| 23:08:28 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:6ed0:8db9:7da:c050) (Changing host) |
| 23:08:28 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 23:14:09 | × | acidjnk_new quits (~acidjnk@p200300d6e714dc64d0e49d55bdfde17a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 23:18:49 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 23:20:29 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 23:26:27 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 23:26:59 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:26:59 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:26:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:28:41 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 23:32:19 | <energizer> | ski: as in, i'm supposed to just give some examples of such expressions, like this? https://bpa.st/CLGA |
| 23:40:52 | → | vnogueira_ joins (~vnogueira@user/vnogueira) |
| 23:41:10 | × | vnogueira quits (~vnogueira@user/vnogueira) (Ping timeout: 260 seconds) |
| 23:41:23 | <energizer> | like, i understand that and/or/t/f are mul/add/0/1 for the boolean semiring i just dont understand what implement means |
All times are in UTC on 2024-04-09.