Logs: freenode/#haskell
| 2021-04-01 18:21:38 | → | mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net) |
| 2021-04-01 18:21:50 | <sclv> | i guess they are split out into semialign now https://hackage.haskell.org/package/semialign |
| 2021-04-01 18:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-01 18:25:42 | → | Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it) |
| 2021-04-01 18:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-04-01 18:27:27 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-01 18:28:34 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-01 18:31:39 | × | hexreel quits (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) (Ping timeout: 245 seconds) |
| 2021-04-01 18:31:42 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:4f6:3240:91c8:4b9) () |
| 2021-04-01 18:32:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-01 18:35:12 | → | hexreel joins (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) |
| 2021-04-01 18:36:02 | × | rond_ quits (59402019@89-64-32-25.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-01 18:36:19 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-01 18:36:25 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-01 18:36:26 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-01 18:38:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-01 18:43:09 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-01 18:43:36 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-04-01 18:44:04 | × | hexreel quits (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-01 18:45:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-01 18:47:22 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection) |
| 2021-04-01 18:47:53 | <xerox_> | sclv: appreciate it |
| 2021-04-01 18:51:06 | × | __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 252 seconds) |
| 2021-04-01 18:51:16 | → | __minoru__shirae joins (~shiraeesh@109.166.58.127) |
| 2021-04-01 18:51:29 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-01 18:53:12 | → | elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-01 18:54:46 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 268 seconds) |
| 2021-04-01 18:55:59 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-01 18:56:08 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-04-01 18:58:21 | <hololeap> | wait, what happened to yahb? |
| 2021-04-01 19:01:39 | × | quaestor quits (~quaestor@griffith.christophrauch.de) (Remote host closed the connection) |
| 2021-04-01 19:02:38 | × | mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 240 seconds) |
| 2021-04-01 19:06:24 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-04-01 19:07:39 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a12:3c82:3e59:5dc8) (Ping timeout: 246 seconds) |
| 2021-04-01 19:08:26 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-01 19:08:43 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-01 19:10:01 | <tomsmeding> | :( |
| 2021-04-01 19:11:10 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/haskell?id=416782#trid416782 |
| 2021-04-01 19:14:27 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-01 19:14:29 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-04-01 19:15:19 | → | geekosaur joins (ac3a8b6e@172.58.139.110) |
| 2021-04-01 19:17:08 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-01 19:18:05 | <geekosaur> | mniip also went missing, oops |
| 2021-04-01 19:18:35 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-01 19:18:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-01 19:19:44 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a90f:d52f:fbbd:96ce) |
| 2021-04-01 19:19:52 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-01 19:21:34 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-01 19:24:07 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-01 19:25:02 | → | guest3546456 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 2021-04-01 19:26:46 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 2021-04-01 19:32:53 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-04-01 19:33:12 | → | Erutuon_ joins (~Erutuon@97-116-27-119.mpls.qwest.net) |
| 2021-04-01 19:34:00 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-01 19:34:25 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-04-01 19:37:58 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-01 19:39:25 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-01 19:39:26 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-01 19:39:26 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-01 19:41:08 | <maerwald> | Couldn't match expected type ‘BS.ByteString’ with actual type ‘BS.Char8.ByteString’ -- this is why I don't like the bytestring package |
| 2021-04-01 19:41:38 | <monochrom> | That shouldn't happen. |
| 2021-04-01 19:42:04 | <geekosaur> | unless one of those is secretly lazy (does import allow dots in qualifiers?) |
| 2021-04-01 19:42:21 | <monochrom> | Yes "import X as Y.Z" is allowed. |
| 2021-04-01 19:44:32 | → | moet joins (~moet@172.58.35.212) |
| 2021-04-01 19:44:41 | <monochrom> | Perhaps someone did "import Data.ByteString.Char8 as BS" and "import Data.ByteString.Lazy as BS.Char8" for April 1st pranks. |
| 2021-04-01 19:44:53 | <maerwald> | no, the other way around |
| 2021-04-01 19:45:17 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-01 19:45:29 | <geekosaur> | didn't even think to use LBS for the lazy one, which is a nice warning |
| 2021-04-01 19:45:32 | <moet> | can you easily control the element type while using static dimensions in hmatrix? it seems like functions such as vec4 require Double, and functions like fromList convert somewhere internally to Double.. |
| 2021-04-01 19:46:35 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds) |
| 2021-04-01 19:47:22 | <monochrom> | hmatrix has both element-polymorphic functiosn and nailed-to-Double functions. |
| 2021-04-01 19:47:39 | <monochrom> | So just avoid the nailed-to-Double functions. |
| 2021-04-01 19:47:49 | <Franciman> | Haskell is the past |
| 2021-04-01 19:48:06 | <moet> | monochrom: thanks; i'm having a little trouble locating them, perhaps my use case isn't the norm |
| 2021-04-01 19:48:08 | <Franciman> | ops wrong channel |
| 2021-04-01 19:48:12 | <Franciman> | but still relevant |
| 2021-04-01 19:48:21 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-01 19:48:45 | → | quaestor joins (~quaestor@griffith.christophrauch.de) |
| 2021-04-01 19:50:10 | <xaltsc> | hey, anyone familiar with pandoc API here ? I can't find a way to lift Text to PandocIO Text. My code is here: https://pastebin.com/5NGSfDPY |
| 2021-04-01 19:50:47 | <moet> | monochrom: it looks like LinearAlgebra.Data supports arbitrary element types, but not type level dimensions, and LinearAlgebra.Static suppors type level dimensions but not arbitrary elemnt types.. |
| 2021-04-01 19:51:09 | <moet> | monochrom: is this a correct assessment? |
| 2021-04-01 19:51:11 | <monochrom> | Is PandocIO an Applicative? So perhaps use "pure"? |
| 2021-04-01 19:51:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 19:51:41 | <monochrom> | I don't know. I ignore the type-level-dimension part. |
| 2021-04-01 19:51:49 | <moet> | monochrom: ah, ok, thanks anyhow :) |
| 2021-04-01 19:52:36 | → | yahb joins (xsbot@178.219.36.155) |
| 2021-04-01 19:52:36 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-04-01 19:52:36 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 2021-04-01 19:52:36 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 2021-04-01 19:52:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 19:53:04 | → | mniip joins (mniip@freenode/staff/mniip) |
| 2021-04-01 20:00:52 | <xaltsc> | monochrom: PandocIO is applicative, but pure doesn't work... |
| 2021-04-01 20:01:31 | <geekosaur> | if it's Applicative then pure should work because pure is a method of Applicative |
| 2021-04-01 20:02:14 | keeperasmexcalib | is now known as Programmosaurus |
| 2021-04-01 20:02:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-01 20:02:37 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-01 20:03:15 | <geekosaur> | unless "lift into PandocIO" was a guess that turns out to be wrong |
| 2021-04-01 20:03:29 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-01 20:04:11 | <xaltsc> | pure getLinks gives type Pandoc -> Pandoc -> Text instead of Pandoc -> PandocIO Text |
| 2021-04-01 20:05:10 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 252 seconds) |
All times are in UTC.