Logs: freenode/#haskell
| 2021-04-22 23:21:25 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-04-22 23:22:01 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-22 23:22:51 | × | xff0x quits (~xff0x@2001:1a81:5291:ee00:8d5:6829:975f:eb62) (Ping timeout: 260 seconds) |
| 2021-04-22 23:26:35 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-pljewtuwfmzflrit) (Quit: Connection closed for inactivity) |
| 2021-04-22 23:28:36 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Ping timeout (120 seconds)) |
| 2021-04-22 23:30:33 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-22 23:30:51 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-22 23:35:14 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-22 23:37:05 | <edwardk> | geekosaur: comonads and monads serve very different purposes in haskell. i find monads tend to build up to a nice throw-everything-and-the-kitchen-sink-in coding pattern, where you gather up all the functionality you want in one place. because monads are easy to get into and hard to get out of. |
| 2021-04-22 23:37:08 | <edwardk> | er solidus-river |
| 2021-04-22 23:37:49 | <edwardk> | on the other hand comonads are super easy to 'get out of' but hard to build/keep around. so you tend to wind up with lots of little comonads helping you out in your code base, if you know to look for them |
| 2021-04-22 23:39:04 | <edwardk> | sure there are a few extra interesting ones, comonads for cellular automata, or streaming calculations, but mostly they wind up being little thin wrappers around some data type that give you an extra bit of functionality. e.g. the Ur comonad for unrestricted use in linear-base, or some kind of Env comonad that gives you a piece of extra data |
| 2021-04-22 23:42:18 | <solidus-river> | thanks, those links are dense to parse but i'll keep readin em and check back if nothings clicking next week, really want to grok comonads and arrows or kleisli composition |
| 2021-04-22 23:42:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 23:43:10 | <solidus-river> | I got scared off from using stateT in things after hearing about the leak problems is this reasonable or are those leaks edge cases that are easily avoided |
| 2021-04-22 23:43:35 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 250 seconds) |
| 2021-04-22 23:44:01 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-22 23:44:54 | → | xff0x joins (~xff0x@2001:1a81:52cf:7d00:b2d0:1364:2669:3f2f) |
| 2021-04-22 23:45:05 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-22 23:45:05 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-22 23:45:05 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-22 23:47:38 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-04-22 23:48:10 | × | tabaqui1 quits (~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 3.1-dev) |
| 2021-04-22 23:48:19 | → | tabaqui joins (~tabaqui@2604:a880:800:c1::21b:3001) |
| 2021-04-22 23:52:09 | × | puke quits (~vroom@217.138.252.56) (Quit: puke) |
| 2021-04-22 23:53:55 | × | rj__ quits (~x@gateway/tor-sasl/rj) (Quit: rj__) |
| 2021-04-22 23:54:10 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-22 23:57:07 | <solidus-river> | these comonad posts are very interesting but sound like intense use cases, whats a pedestrian example of a comonad. Cellular automata are cool but also seem really abstract |
| 2021-04-22 23:59:45 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-04-23 00:01:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-23 00:02:11 | × | redmp quits (~redmp@172.58.19.67) (Ping timeout: 240 seconds) |
| 2021-04-23 00:08:14 | → | fabricio joins (b3d90aea@179.217.10.234) |
| 2021-04-23 00:08:38 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-23 00:08:38 | fabricio | is now known as Guest50946 |
| 2021-04-23 00:08:52 | × | Guest50946 quits (b3d90aea@179.217.10.234) (Client Quit) |
| 2021-04-23 00:15:02 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 00:16:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-23 00:17:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-23 00:17:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-23 00:19:17 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 00:21:06 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-23 00:21:40 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) |
| 2021-04-23 00:24:53 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-23 00:25:15 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-23 00:26:42 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-23 00:27:15 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds) |
| 2021-04-23 00:28:07 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-23 00:32:01 | <nshepperd2> | what are the leak problems? |
| 2021-04-23 00:32:33 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-23 00:34:32 | <solidus-river> | not very familiar I'm probably referencing something outdated |
| 2021-04-23 00:34:48 | <solidus-river> | some fpcomplete blog post around experiences with it |
| 2021-04-23 00:37:16 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-04-23 00:37:43 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-23 00:37:53 | × | solidus-river quits (~fuag1@174.127.249.180) (Read error: Connection reset by peer) |
| 2021-04-23 00:38:34 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-23 00:39:03 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-23 00:40:38 | → | zmijunkie1 joins (~Adium@87.123.48.31) |
| 2021-04-23 00:41:41 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-04-23 00:42:32 | × | zmijunkie quits (~Adium@87.122.210.20) (Ping timeout: 240 seconds) |
| 2021-04-23 00:43:10 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-04-23 00:44:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-23 00:45:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-23 00:45:29 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-04-23 00:46:30 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:f641:c40f:5016:aacb) (Ping timeout: 258 seconds) |
| 2021-04-23 00:46:45 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-04-23 00:47:11 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-23 00:53:51 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2021-04-23 00:55:35 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 2021-04-23 00:56:39 | → | elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-23 00:56:40 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-23 00:57:05 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-04-23 00:58:00 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:7271:1d8b:4a70:e005) |
| 2021-04-23 00:58:17 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-23 00:58:56 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-23 01:00:39 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-23 01:00:40 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-23 01:00:49 | → | tsaka_ joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-23 01:01:30 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-23 01:03:52 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-23 01:04:15 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 268 seconds) |
| 2021-04-23 01:05:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 01:05:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-04-23 01:07:06 | ← | mekeor parts (~user@2001:a61:2508:9601:50e:85a3:5209:cb06) ("ERC (IRC client for Emacs 27.1)") |
| 2021-04-23 01:07:21 | → | mekeor joins (~user@2001:a61:2508:9601:50e:85a3:5209:cb06) |
| 2021-04-23 01:08:08 | × | tsaka_ quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-23 01:09:25 | → | jespada joins (~jespada@87.74.37.248) |
| 2021-04-23 01:10:29 | → | malumore_ joins (~malumore@151.62.127.162) |
| 2021-04-23 01:12:21 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-23 01:13:29 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-23 01:14:01 | × | malumore quits (~malumore@151.62.117.136) (Ping timeout: 260 seconds) |
| 2021-04-23 01:14:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-23 01:17:05 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-23 01:17:36 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-04-23 01:18:33 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-23 01:20:17 | × | remby quits (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Remote host closed the connection) |
| 2021-04-23 01:22:51 | → | tsandstr joins (~user@nat-130-132-173-221.central.yale.edu) |
| 2021-04-23 01:26:37 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-23 01:29:24 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-23 01:30:55 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-23 01:33:13 | × | mekeor quits (~user@2001:a61:2508:9601:50e:85a3:5209:cb06) (Remote host closed the connection) |
All times are in UTC.