Logs: freenode/#haskell
| 2021-03-28 01:00:41 | <d34df00d> | I want to have a mix of mutability (ST-like, for mutable vectors) and early abort semantics (Maybe-like). How my transformer stack should look like? |
| 2021-03-28 01:00:57 | <d34df00d> | I'm staring at Control.Monad.Primitive and don't understand that. |
| 2021-03-28 01:02:02 | <d34df00d> | Ah, I'm a dummy. I should first do runMaybeT and then do runST, I guess. |
| 2021-03-28 01:07:04 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-28 01:07:59 | × | Tario quits (~Tario@200.119.187.3) (Read error: Connection reset by peer) |
| 2021-03-28 01:08:20 | → | vs^ joins (vs@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-28 01:08:54 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-28 01:09:29 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-28 01:15:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1187:cf29:d5f2:66a9) |
| 2021-03-28 01:16:09 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.10) |
| 2021-03-28 01:18:53 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-28 01:19:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-28 01:25:04 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-lnpmltxyeixgvflc) (Quit: Connection closed for inactivity) |
| 2021-03-28 01:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-28 01:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-03-28 01:28:07 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection) |
| 2021-03-28 01:28:38 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-28 01:31:37 | <monochrom> | :) |
| 2021-03-28 01:32:09 | <monochrom> | It goes like "MaybeT (ST s)" so yeah, runMaybeT (runST ...) |
| 2021-03-28 01:32:40 | <monochrom> | err runST (runMaybeT ...) |
| 2021-03-28 01:33:02 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-28 01:35:03 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection) |
| 2021-03-28 01:41:29 | × | proteus-guy quits (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Remote host closed the connection) |
| 2021-03-28 01:44:16 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in) |
| 2021-03-28 01:50:47 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-28 01:50:58 | <zebrag> | [Hum...] I'd say the use of underscore is related to "ellipsis", probably so are variables... Anyway I think if we believe etymonline.com, an "ellipse" would "fall short" of a parabola. |
| 2021-03-28 01:54:50 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-xwsvhleeocbenfhu) |
| 2021-03-28 01:57:23 | <zebrag> | "eleven" and "twelve" are cognate to ellipsis too. |
| 2021-03-28 02:02:24 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-28 02:05:51 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-03-28 02:06:14 | → | jakio6 joins (cab67555@202.182.117.85) |
| 2021-03-28 02:07:16 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-28 02:07:16 | finn_elija | is now known as Guest56721 |
| 2021-03-28 02:07:16 | FinnElija | is now known as finn_elija |
| 2021-03-28 02:10:45 | × | Guest56721 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-03-28 02:12:41 | <koz_> | :t foldl' |
| 2021-03-28 02:12:42 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2021-03-28 02:14:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1187:cf29:d5f2:66a9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-28 02:16:24 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection) |
| 2021-03-28 02:19:25 | <zebrag> | [hum:] arrows are pointing downward and rightward when it's not trouble. (The other way around with string diagrams though). A cone is "over" a diagram, and a cocone "under". |
| 2021-03-28 02:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-28 02:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-03-28 02:29:17 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-28 02:30:08 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-28 02:32:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-28 02:33:58 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-28 02:36:00 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-dvleaosxdfpycapj) () |
| 2021-03-28 02:36:49 | → | dansho joins (~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-28 02:37:34 | × | average quits (uid473595@gateway/web/irccloud.com/x-cgevxjwlwytwuber) (Quit: Connection closed for inactivity) |
| 2021-03-28 02:37:38 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-03-28 02:43:14 | <bbhoss> | why does :info div show it as an infix? how can a function be infix and not infix at the same time? |
| 2021-03-28 02:43:23 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-03-28 02:43:41 | <bbhoss> | I get that the backticks means use it as infix, but showing it as infix in ghci info when they're not provided is interesting to me |
| 2021-03-28 02:44:46 | <glguy> | bbhoss, it shows it because it has a custom fixity |
| 2021-03-28 02:45:42 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-28 02:46:24 | <bbhoss> | do all the infix operators work like that? it shows them in their "fixed"? form? |
| 2021-03-28 02:46:58 | <bbhoss> | in the form that they'd look if being used as an infix? |
| 2021-03-28 02:47:08 | <glguy> | If something has a custom fixity, then :info shows it |
| 2021-03-28 02:50:06 | × | alx741 quits (~alx741@186.178.109.231) (Quit: alx741) |
| 2021-03-28 02:50:56 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-28 02:51:46 | <bbhoss> | how is it determined what functions need backticks. symbols don't need them but everything else does? |
| 2021-03-28 02:53:29 | <mniip> | symbols are infix by default, alphanumerics are prefix by default |
| 2021-03-28 02:53:30 | <glguy> | operator symbols are infix by default and prefix when surrounded by () |
| 2021-03-28 02:53:43 | <glguy> | identifiers are the other way around |
| 2021-03-28 02:53:49 | <mniip> | (symbol) makes it prefix, `alphanumeric` makes it infix |
| 2021-03-28 02:55:15 | <bbhoss> | is there a way to make an alphanumeric function infix without needing backticks? sorry if I'm missing the obvious |
| 2021-03-28 03:01:21 | <mniip> | no |
| 2021-03-28 03:04:41 | → | xff0x joins (~xff0x@2001:1a81:5218:cc00:6ca6:3129:ba4e:7b5) |
| 2021-03-28 03:05:57 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-28 03:06:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-03-28 03:09:20 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-28 03:14:42 | × | Erutuon_ quits (~Erutuon@97-116-16-233.mpls.qwest.net) (Ping timeout: 268 seconds) |
| 2021-03-28 03:16:52 | × | Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 2021-03-28 03:16:53 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer) |
| 2021-03-28 03:17:50 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-28 03:18:19 | × | roconnor quits (~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 258 seconds) |
| 2021-03-28 03:19:09 | × | Wizek quits (uid191769@gateway/web/irccloud.com/x-npgducelboulpnpm) (Quit: Connection closed for inactivity) |
| 2021-03-28 03:19:15 | → | roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca) |
| 2021-03-28 03:21:17 | → | elusive joins (~Jeanne-Ka@static-198-54-134-105.cust.tzulo.com) |
| 2021-03-28 03:21:28 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-qzrrxhbhoabztmbj) (Quit: Connection closed for inactivity) |
| 2021-03-28 03:21:28 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-03-28 03:21:36 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-03-28 03:24:44 | × | dansho quits (~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-03-28 03:25:09 | → | dansho joins (~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-28 03:33:46 | × | poljar1 quits (~poljar@93-139-86-101.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-03-28 03:34:24 | → | poljar1 joins (~poljar@93-139-86-101.adsl.net.t-com.hr) |
| 2021-03-28 03:36:37 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-03-28 03:37:04 | × | xff0x quits (~xff0x@2001:1a81:5218:cc00:6ca6:3129:ba4e:7b5) (Remote host closed the connection) |
| 2021-03-28 03:37:24 | → | xff0x joins (~xff0x@2001:1a81:5218:cc00:f32e:e077:cf40:ecd7) |
| 2021-03-28 03:38:12 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:e93f:8176:4aa5:ca0b) |
| 2021-03-28 03:40:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-28 03:42:18 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:e93f:8176:4aa5:ca0b) (Ping timeout: 246 seconds) |
| 2021-03-28 03:44:17 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-03-28 03:50:15 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-03-28 03:54:20 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-28 03:55:57 | × | conal_ quits (~conal@192.145.118.149) (Quit: Computer has gone to sleep.) |
| 2021-03-28 03:57:57 | → | monochrom joins (trebla@216.138.220.146) |
| 2021-03-28 03:59:37 | → | conal joins (~conal@192.145.118.72) |
| 2021-03-28 04:00:01 | × | myShoggoth quits (~myShoggot@75.164.73.93) (Read error: Connection reset by peer) |
| 2021-03-28 04:00:11 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
All times are in UTC.