Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 .. 5022
— 502,152 events total
2020-11-10 10:02:50 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 10:03:18 <idnar> the thread covers the issues with various solutions to that, I don't think I can adequately summarize it
2020-11-10 10:04:00 → shatriff_ joins (~vitaliish@176.52.219.10)
2020-11-10 10:04:01 × shatriff quits (~vitaliish@176.52.219.10) (Read error: Connection reset by peer)
2020-11-10 10:04:32 <idnar> err I meant to link https://www.reddit.com/r/haskell/comments/60fha5/affine_traversal/df6830k/
2020-11-10 10:12:49 ← gkobele parts (~user@dslb-178-010-116-093.178.010.pools.vodafone-ip.de) ("ERC (IRC client for Emacs 27.1)")
2020-11-10 10:13:10 → christo joins (~chris@81.96.113.213)
2020-11-10 10:14:30 hackage js-chart 2.9.4 - Obtain minified chart.js code https://hackage.haskell.org/package/js-chart-2.9.4 (jonascarpay)
2020-11-10 10:17:07 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 10:18:51 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-10 10:20:15 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-11-10 10:21:58 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-10 10:25:01 × typetetris quits (sid275937@gateway/web/irccloud.com/x-elrfbakatxxdutfl) (Read error: Connection reset by peer)
2020-11-10 10:25:07 × kristjansson quits (sid126207@gateway/web/irccloud.com/x-ikddbqhpcfeoprgq) (Ping timeout: 272 seconds)
2020-11-10 10:25:13 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-erqemrkeinovsomm) (Read error: Connection reset by peer)
2020-11-10 10:25:15 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-nvlvexwuoontnaay) (Read error: Connection reset by peer)
2020-11-10 10:25:23 × dani- quits (sid341953@gateway/web/irccloud.com/x-otmdrxdrodgxrqxy) (Read error: Connection reset by peer)
2020-11-10 10:25:25 × graingert quits (sid128301@gateway/web/irccloud.com/x-adgvkrvifopojjaa) (Read error: Connection reset by peer)
2020-11-10 10:25:27 × m-renaud quits (sid333785@gateway/web/irccloud.com/x-ocbxggtmwbqjeteg) (Ping timeout: 260 seconds)
2020-11-10 10:25:27 × hazard-pointer quits (sid331723@gateway/web/irccloud.com/x-tiuqkpmdzxgnusmc) (Ping timeout: 260 seconds)
2020-11-10 10:25:27 × taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-omebbjqsjvyqmgkl) (Ping timeout: 260 seconds)
2020-11-10 10:25:38 × ghuntley quits (sid16877@gateway/web/irccloud.com/x-ptopsndeynpyjelv) (Read error: Connection reset by peer)
2020-11-10 10:25:57 → ghuntley joins (sid16877@gateway/web/irccloud.com/x-qztbkgafmugcryxi)
2020-11-10 10:25:59 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-fmxliclmtnkycstb)
2020-11-10 10:26:03 → glowcoil joins (sid3405@gateway/web/irccloud.com/x-ywtzdmwgkfgphlzr)
2020-11-10 10:26:23 × milessabin quits (sid86799@gateway/web/irccloud.com/x-orwvqlcdkjbkblde) (Ping timeout: 272 seconds)
2020-11-10 10:26:37 → dani- joins (sid341953@gateway/web/irccloud.com/x-etuikjdqhtlxnikg)
2020-11-10 10:26:37 × kozowu quits (uid44796@gateway/web/irccloud.com/x-nvxmuuamyscqvacb) (Ping timeout: 260 seconds)
2020-11-10 10:26:40 → hazard-pointer joins (sid331723@gateway/web/irccloud.com/x-wwsxwkmcbnytyqgp)
2020-11-10 10:26:49 → m-renaud joins (sid333785@gateway/web/irccloud.com/x-juxddenpfgpoeigc)
2020-11-10 10:26:50 → kristjansson joins (sid126207@gateway/web/irccloud.com/x-rtjbrjzhlcogpoxy)
2020-11-10 10:27:01 × lolmac quits (sid171216@gateway/web/irccloud.com/x-gmqxaazsdhqnivnv) (Ping timeout: 272 seconds)
2020-11-10 10:27:02 → milessabin joins (sid86799@gateway/web/irccloud.com/x-ascncjvecpuyiyrz)
2020-11-10 10:27:17 → typetetris joins (sid275937@gateway/web/irccloud.com/x-hwvkvbbozbkfoprj)
2020-11-10 10:27:17 → taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-itxakgqwhnqkbebe)
2020-11-10 10:27:26 × rslima_____ quits (sid26145@gateway/web/irccloud.com/x-sqmdtyjbxdggnirr) (Read error: Connection reset by peer)
2020-11-10 10:27:27 → kozowu joins (uid44796@gateway/web/irccloud.com/x-dylrnyglhpjycwlc)
2020-11-10 10:27:27 → graingert joins (sid128301@gateway/web/irccloud.com/x-vdjsitqmvxctmmid)
2020-11-10 10:27:39 × srhb quits (sid400352@NixOS/user/srhb) (Ping timeout: 272 seconds)
2020-11-10 10:27:41 → rslima_____ joins (sid26145@gateway/web/irccloud.com/x-txddsksmhveehsrq)
2020-11-10 10:28:26 → lolmac joins (sid171216@gateway/web/irccloud.com/x-plzbdzhieclxlfgh)
2020-11-10 10:29:28 → gac410 joins (~gac410@178.162.209.171)
2020-11-10 10:30:15 → daamien joins (84a6b753@132.166.183.83)
2020-11-10 10:31:10 × Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 256 seconds)
2020-11-10 10:32:00 hackage ghc-typelits-extra 0.4.1 - Additional type-level operations on GHC.TypeLits.Nat https://hackage.haskell.org/package/ghc-typelits-extra-0.4.1 (ChristiaanBaaij)
2020-11-10 10:32:14 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 10:32:53 × eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM)
2020-11-10 10:33:20 <dminuoso> Well, these are just ergonomics and elegancy issues
2020-11-10 10:33:47 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-11-10 10:33:48 <dminuoso> There could be things just Pointed, things just Ap, and things that are Applicative (which satisfy laws common to both)
2020-11-10 10:34:02 <dminuoso> or rather, there's an interaction between these laws
2020-11-10 10:34:14 × mmohammadi9812 quits (~mmohammad@5.238.183.63) (Ping timeout: 256 seconds)
2020-11-10 10:35:11 <dminuoso> the thread is an interesting read tho
2020-11-10 10:36:44 × chaosmasttter quits (~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 10:36:45 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-10 10:38:27 → chaosmasttter joins (~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 10:38:47 <dminuoso> % (:+) :: Char -> Int -> Char
2020-11-10 10:38:47 <yahb> dminuoso: ; <interactive>:36:1: error:; * Couldn't match type `Complex Int' with `Char'; Expected type: Char -> Int -> Char; Actual type: Int -> Int -> Complex Int; * In the expression: (:+) :: Char -> Int -> Char; In an equation for `it': it = (:+) :: Char -> Int -> Char
2020-11-10 10:38:52 <dminuoso> Huh
2020-11-10 10:38:57 <dminuoso> % (:+++++) :: Char -> Int -> Char
2020-11-10 10:38:57 <yahb> dminuoso: ; <interactive>:37:1: error: Data constructor not in scope: (:+++++) :: Char -> Int -> Char
2020-11-10 10:39:15 <dminuoso> Why is this looking in the data constructor namespace?
2020-11-10 10:39:40 <dminuoso> Or is value level : always understood to be constructors?
2020-11-10 10:39:44 <merijn> Because it starts with a :
2020-11-10 10:39:45 <merijn> Yes
2020-11-10 10:40:05 → srhb joins (sid400352@NixOS/user/srhb)
2020-11-10 10:40:43 <merijn> : is the "capital" operator symbol
2020-11-10 10:40:44 <dminuoso> Ah fair enough, +: it is then.
2020-11-10 10:40:58 <dminuoso> merijn: Ah I guess its similar to how : is for type constructors in the type level?
2020-11-10 10:41:40 × daamien quits (84a6b753@132.166.183.83) (Remote host closed the connection)
2020-11-10 10:43:58 → mmohammadi9812 joins (~mmohammad@80.210.53.226)
2020-11-10 10:44:00 × mmohammadi9812 quits (~mmohammad@80.210.53.226) (Read error: Connection reset by peer)
2020-11-10 10:44:56 → cosimone joins (~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a)
2020-11-10 10:45:28 → mmohammadi9812 joins (~mmohammad@80.210.53.226)
2020-11-10 10:45:49 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 264 seconds)
2020-11-10 10:46:43 <invaser> Hi! Does anyone have a good guide to project management with cabal and testing in Haskell?
2020-11-10 10:47:06 <dminuoso> invaser: What do you mean by project management exactly?
2020-11-10 10:47:37 <invaser> dminuoso: idk, probably some materials on how to work with cabal, best practices etc
2020-11-10 10:48:22 <dminuoso> invaser: cabal has a very comprehensive and good documentation
2020-11-10 10:48:42 <invaser> that's probably a good place to start
2020-11-10 10:48:52 <dminuoso> mmm, not as much for testing though it seems
2020-11-10 10:49:31 × cosimone quits (~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Client Quit)
2020-11-10 10:49:40 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 10:50:23 <invaser> i'm writing my coursework with haskell, so I'm quite excited to start working on it! Though it's the first time I needed to manage project that's more that a single file, so I thought I need to learn about stack before starting
2020-11-10 10:51:36 → hi joins (d4db086b@212.219.8.107)
2020-11-10 10:52:36 ← hi parts (d4db086b@212.219.8.107) ()
2020-11-10 10:53:04 <dminuoso> invaser: so essentially a test-suite is similar to an executable component in cabal
2020-11-10 10:53:30 hackage r-glpk-phonetic-languages-ukrainian-durations 0.1.4.0 - Can be used to calculate the durations of the approximations of the Ukrainian phonemes. https://hackage.haskell.org/package/r-glpk-phonetic-languages-ukrainian-durations-0.1.4.0 (OleksandrZhabenko)
2020-11-10 10:53:36 × star_cloud quits (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 10:54:32 → cosimone joins (~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a)
2020-11-10 10:54:55 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 10:55:14 × gac410 quits (~gac410@178.162.209.171) (Ping timeout: 264 seconds)
2020-11-10 10:55:32 <dminuoso> invaser: See also https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=test-suite#test-suites
2020-11-10 10:55:45 × star_cloud quits (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 10:56:37 <dminuoso> That's for configuring a test suite in .cabal files
2020-11-10 10:56:42 <dminuoso> You can execute them with `cabal test`
2020-11-10 10:57:16 <dminuoso> (Well, the linked section has it all)
2020-11-10 10:57:18 <dminuoso> It's not much though
2020-11-10 10:57:52 × travisb_ quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 10:58:42 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
←Prev  Next→
Page 1 .. 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 .. 5022

All times are in UTC.