Logs: liberachat/#haskell
| 2021-08-22 21:24:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-22 21:25:15 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-22 21:27:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-22 21:27:23 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 2021-08-22 21:27:33 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-22 21:27:33 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2021-08-22 21:27:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-22 21:27:46 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-22 21:28:05 | <geekosaur> | ANN prgamas mostly behave like expressions at whatever level they're at |
| 2021-08-22 21:29:40 | <hseg> | ok, mwe: http://ix.io/3wH1 |
| 2021-08-22 21:30:10 | <hseg> | deleting adapt compiles clean |
| 2021-08-22 21:30:28 | <hseg> | deleting myid only shows adapt's errors |
| 2021-08-22 21:30:58 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-22 21:31:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-22 21:35:51 | → | Racl joins (~Racl@80.174.59.205.dyn.user.ono.com) |
| 2021-08-22 21:35:59 | × | junkicide quits (~user@2a01cb0001f4f500f106e9e16d7acd2d.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-08-22 21:36:21 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-22 21:36:24 | chris | is now known as Guest554 |
| 2021-08-22 21:39:33 | × | Racl quits (~Racl@80.174.59.205.dyn.user.ono.com) (Quit: Leaving...) |
| 2021-08-22 21:40:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-22 21:44:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-22 21:45:09 | <hseg> | reported: https://gitlab.haskell.org/ghc/ghc/-/issues/20265 |
| 2021-08-22 21:50:46 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-22 21:51:28 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-22 21:52:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-22 21:54:16 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 2021-08-22 21:56:26 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 250 seconds) |
| 2021-08-22 21:58:51 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-22 21:58:52 | × | azeem quits (~azeem@176.200.243.28) (Read error: Connection reset by peer) |
| 2021-08-22 21:59:07 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-22 22:00:13 | <_bin> | Where is the best source to learn about using monads to store information in the environment? Stuff like global config variables, logging stuff, etc.? |
| 2021-08-22 22:00:46 | × | adamflott quits (~adamflott@c-73-60-249-202.hsd1.ma.comcast.net) (Quit: Connection closed) |
| 2021-08-22 22:01:31 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 2021-08-22 22:03:10 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2021-08-22 22:03:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-22 22:03:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-22 22:05:05 | <maerwald> | that sounds like you want a parameter to your functions |
| 2021-08-22 22:05:17 | × | schuelermine quits (~anselmsch@user/schuelermine) (Client Quit) |
| 2021-08-22 22:05:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-22 22:05:56 | <_bin> | If I'm supplying some logging stuff to most of my functions then that would get rather cumbersome. |
| 2021-08-22 22:06:03 | <_bin> | Is there a better way to do such things? |
| 2021-08-22 22:06:09 | <maerwald> | that's where ppl use Reader monad |
| 2021-08-22 22:06:22 | <maerwald> | which is basically just hiding a function argument |
| 2021-08-22 22:07:37 | <_bin> | That sounds helpful. What's the best resource to learn about using that for this purpose? |
| 2021-08-22 22:07:45 | → | talismanick joins (~user@2601:644:8500:8350::e26b) |
| 2021-08-22 22:08:13 | <talismanick> | Has anyone encoded smooth infinitesimal analysis in Haskell? |
| 2021-08-22 22:08:23 | <sm> | you can do it in just IO too, if you're already in that |
| 2021-08-22 22:08:58 | <_bin> | sm: How would I do that |
| 2021-08-22 22:09:35 | <talismanick> | or, more generally, nilpotent infintesimals more "sophisticated" than dual numbers? |
| 2021-08-22 22:10:03 | <talismanick> | Because I remember seeing those used to explain forward-mode automatic differentiation somewhere |
| 2021-08-22 22:10:39 | <talismanick> | Although I don't remember if it was with Haskell (I might be confusing it with the "geometric algebra in Haskell" blogpost) |
| 2021-08-22 22:12:57 | <sm> | _bin: https://hackage.haskell.org/package/io-storage is one way. More generally there's https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html |
| 2021-08-22 22:15:54 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-22 22:16:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-22 22:20:14 | × | hseg quits (~gesh@IGLD-84-228-238-79.inter.net.il) (Quit: WeeChat 3.2) |
| 2021-08-22 22:20:49 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-22 22:21:34 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2021-08-22 22:25:07 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-22 22:25:37 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-22 22:27:50 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-22 22:27:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:fc6b:7277:c769:1dab) (Remote host closed the connection) |
| 2021-08-22 22:32:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 240 seconds) |
| 2021-08-22 22:33:53 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-08-22 22:34:21 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-08-22 22:38:19 | → | cjb joins (~cjb@user/cjb) |
| 2021-08-22 22:42:06 | → | lotuseater joins (~user@p200300e7871bf00038fb8d6cf7d8260d.dip0.t-ipconnect.de) |
| 2021-08-22 22:43:40 | × | acidjnk quits (~acidjnk@p200300d0c72b9558d9d86757fde39a6c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-22 22:46:48 | <koz> | Can someone suggest a good infix ASCII approximation to the radix symbol? |
| 2021-08-22 22:46:54 | <koz> | (like, the square root symbol) |
| 2021-08-22 22:55:09 | <lotuseater> | in APL this can be performed with the operator (*÷) :) |
| 2021-08-22 22:55:36 | <hpc> | (-/) perhaps |
| 2021-08-22 22:56:02 | <hpc> | @let b -/ n = n ** (1/b) |
| 2021-08-22 22:56:03 | <lambdabot> | Defined. |
| 2021-08-22 22:56:05 | <hpc> | 3 -/ 8 |
| 2021-08-22 22:56:09 | <hpc> | > 3 -/ 8 |
| 2021-08-22 22:56:11 | <lambdabot> | 2.0 |
| 2021-08-22 22:57:08 | <koz> | -/ is pretty good actually, thanks hpc! |
| 2021-08-22 22:57:18 | <koz> | You are both intelligent and unusually attractive. |
| 2021-08-22 22:57:45 | <hpc> | lol |
| 2021-08-22 22:57:52 | → | acidjnk joins (~acidjnk@p200300d0c72b9558d9d86757fde39a6c.dip0.t-ipconnect.de) |
| 2021-08-22 22:59:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:fc6b:7277:c769:1dab) |
| 2021-08-22 23:00:16 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-22 23:01:34 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Remote host closed the connection) |
| 2021-08-22 23:02:06 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) |
| 2021-08-22 23:02:56 | × | Guest554 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-22 23:04:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-22 23:06:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:2d0e:8bc:c41d:5a84) (Ping timeout: 240 seconds) |
| 2021-08-22 23:07:46 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-22 23:07:50 | chris | is now known as Guest7041 |
| 2021-08-22 23:09:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-22 23:10:06 | × | acidjnk quits (~acidjnk@p200300d0c72b9558d9d86757fde39a6c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-22 23:11:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:fc6b:7277:c769:1dab) (Remote host closed the connection) |
| 2021-08-22 23:11:50 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds) |
| 2021-08-22 23:12:10 | × | Guest7041 quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-08-22 23:12:16 | × | slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-08-22 23:12:16 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-08-22 23:15:24 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-22 23:15:29 | chris | is now known as Guest8337 |
| 2021-08-22 23:18:45 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-22 23:19:38 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
All times are in UTC.