Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 99 100 101 102 103 104 105 106 107 108 109 .. 5022
— 502,152 events total
2020-09-20 20:48:46 × jonatanb quits (~user@83.24.161.211.ipv4.supernova.orange.pl) (Quit: ERC (IRC client for Emacs 26.3))
2020-09-20 20:49:08 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-20 20:49:21 → jonatanb joins (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl)
2020-09-20 20:49:22 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-20 20:51:47 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-09-20 20:51:47 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 240 seconds)
2020-09-20 20:51:58 hackage Rasterific 0.7.5.3 - A pure haskell drawing engine. https://hackage.haskell.org/package/Rasterific-0.7.5.3 (VincentBerthoux)
2020-09-20 20:52:56 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-20 20:52:59 × aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 240 seconds)
2020-09-20 20:53:59 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Read error: Connection reset by peer)
2020-09-20 20:54:49 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-09-20 20:59:05 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-20 20:59:12 → aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2020-09-20 20:59:45 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 260 seconds)
2020-09-20 21:00:02 × laen_ quits (~laen_@s91904426.blix.com) ()
2020-09-20 21:00:13 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 260 seconds)
2020-09-20 21:00:37 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-20 21:01:03 × knupfer quits (~Thunderbi@200116b82c2770004d12026ebf4c4ad8.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-20 21:01:25 → knupfer joins (~Thunderbi@200116b82c27700031ead27836249122.dip.versatel-1u1.de)
2020-09-20 21:01:26 × knupfer quits (~Thunderbi@200116b82c27700031ead27836249122.dip.versatel-1u1.de) (Client Quit)
2020-09-20 21:01:42 <lechner> sm[m]: not sure what you are doing with sdl2, but maybe this helps https://discourse.libsdl.org/t/mac-os-x-avoid-the-sdl-to-catch-sigterm-and-sigint-signals/27357
2020-09-20 21:01:45 → knupfer joins (~Thunderbi@200116b82c277000ad37883ab022eaf9.dip.versatel-1u1.de)
2020-09-20 21:01:56 → knupfer1 joins (~Thunderbi@200116b82c277000b09f08f0bf52a637.dip.versatel-1u1.de)
2020-09-20 21:01:56 × knupfer1 quits (~Thunderbi@200116b82c277000b09f08f0bf52a637.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-09-20 21:02:03 × knupfer quits (~Thunderbi@200116b82c277000ad37883ab022eaf9.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-09-20 21:02:11 → knupfer joins (~Thunderbi@200116b82c277000646991969a0bc875.dip.versatel-1u1.de)
2020-09-20 21:02:15 × knupfer quits (~Thunderbi@200116b82c277000646991969a0bc875.dip.versatel-1u1.de) (Client Quit)
2020-09-20 21:02:34 × kindaro quits (5f6e6241@h95-110-98-65.dyn.bashtel.ru) (Ping timeout: 245 seconds)
2020-09-20 21:02:37 × jonatanb quits (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-09-20 21:02:45 → jonatanb joins (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl)
2020-09-20 21:04:18 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 258 seconds)
2020-09-20 21:04:39 <orion> Hi. Does anyone know how to make this typecheck?: https://gist.github.com/centromere/b1f795418d00dff28e2cfcaefd727751
2020-09-20 21:05:00 <orion> (The package is acid-state)
2020-09-20 21:05:34 <orion> I realize that the "event" expressed by the type signature is general, whereas I am trying to use it with a more specific type, leading to the error.
2020-09-20 21:05:45 <orion> I am not sure how to approach the issue though.
2020-09-20 21:05:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 21:10:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-20 21:11:43 → Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-09-20 21:14:14 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-09-20 21:15:11 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-20 21:16:14 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-20 21:16:27 <tomsmeding> orion: EventState is a type family; what does 'EventState AppState' resolve to?
2020-09-20 21:16:57 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 258 seconds)
2020-09-20 21:16:58 hackage termbox 0.3.0 - termbox bindings https://hackage.haskell.org/package/termbox-0.3.0 (mitchellwrosen)
2020-09-20 21:18:13 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-09-20 21:19:37 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2020-09-20 21:20:55 → romtam joins (~romtam@s91904426.blix.com)
2020-09-20 21:21:53 × pingiun quits (~pingiun@j63019.upc-j.chello.nl) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-20 21:23:39 × jonatanb quits (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-09-20 21:23:41 <sm[m]> lechner: that looks highly relevant, thanks!
2020-09-20 21:24:59 <sm[m]> I'm wanting to kill & restart my sdl app on rebuild with entr, which sends SIGTERM
2020-09-20 21:25:37 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-20 21:26:43 <sm[m]> though if I could destroy the window from ghci, I would rather run it with ghcid
2020-09-20 21:38:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 21:38:05 → opticblast joins (~june@075-128-229-153.res.spectrum.com)
2020-09-20 21:41:10 → thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de)
2020-09-20 21:41:10 × fendor quits (~fendor@77.119.128.171.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2020-09-20 21:52:56 × lortabac quits (~lortabac@51.158.65.124) (Ping timeout: 256 seconds)
2020-09-20 21:53:17 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-20 21:53:53 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-09-20 21:54:34 notzmv`` is now known as notzvm
2020-09-20 21:54:36 notzvm is now known as notzmv
2020-09-20 21:54:45 × notzmv quits (~user@177.103.86.92) (Changing host)
2020-09-20 21:54:45 → notzmv joins (~user@unaffiliated/zmv)
2020-09-20 21:55:30 → lortabac joins (~lortabac@51.158.65.124)
2020-09-20 21:55:40 → isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net)
2020-09-20 21:56:11 <hyiltiz> What's the design choice of not sugaring `$ do` into something else (like $$ or whatev) in HSpec? I think it is because both $ and do is basic stuff and simply composing them as a basic HSpec operation is also nice, besides it is not too long to type
2020-09-20 21:56:34 <hyiltiz> Also, sometimes the do is not needed
2020-09-20 21:57:07 <hyiltiz> So sugaring it to $$ could lead to confusion
2020-09-20 21:57:23 <edwardk> hyiltiz: ? do is builtin syntax
2020-09-20 21:57:38 <edwardk> you can use BlockArguments to drop the $ though
2020-09-20 21:58:02 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-09-20 21:58:23 <hyiltiz> I c it is builtin syntax. I am just wondering why not wrap the EDSL into something less verbose
2020-09-20 21:58:36 <ski> (`$' is a library operation, though)
2020-09-20 21:59:06 → rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-20 21:59:11 <hyiltiz> oh wait that $ is overloaded? I thought it was the one from haskell?
2020-09-20 21:59:20 × adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-20 22:00:07 <edwardk> not sure how you get lighter weight than do, it acts like parentheses you don't have to close
2020-09-20 22:00:27 <edwardk> given HSpec doesn't hide prelude's $, it is just the one from Prelude
2020-09-20 22:01:07 <edwardk> anyways do takes exactly as many characters as ()'s would and self closes when you outdent
2020-09-20 22:01:37 <edwardk> but using BlockArguments does clean up the 'noise' in an HSpec file
2020-09-20 22:02:26 <edwardk> BlockArguments https://www.irccloud.com/pastebin/R8v4pxNs/BlockSpec.hs
2020-09-20 22:02:47 <edwardk> you can swap each of those do's for a $ except the one on the line with describe
2020-09-20 22:03:23 <edwardk> BlockArguments lets you kill the $ before the lambda for property there as well
2020-09-20 22:03:36 <edwardk> > 2 * do 3 + 4
2020-09-20 22:03:38 <lambdabot> 14
2020-09-20 22:04:04 <opticblast> > :t do ()
2020-09-20 22:04:07 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’
2020-09-20 22:04:08 <ski> hyiltiz : no, it's the usual `$' in the library
2020-09-20 22:04:23 <opticblast> @type do ()
2020-09-20 22:04:25 <lambdabot> ()
2020-09-20 22:04:29 <opticblast> well, that's confusing
2020-09-20 22:04:35 <opticblast> I thought it would be something like Identity ()
2020-09-20 22:05:07 <edwardk> do doesn't change the types, it just desugars into >>= uses when there is ; -- and maybe does some applicative stuff if applicative do is on
2020-09-20 22:05:24 <edwardk> when there is only one expression there you want it passed through
2020-09-20 22:05:25 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-20 22:05:33 <ski> a `do'-expression has the same type as its last command (which in this case was `()')
2020-09-20 22:05:40 <edwardk> otherwise in your model do () and do (pure ()) -- would be ambiguous what to do
2020-09-20 22:05:53 <edwardk> or 'do x' where x happens to be pure y
2020-09-20 22:06:00 <edwardk> so it _can't_ do the thing you want opticblast
←Prev  Next→
Page 1 .. 99 100 101 102 103 104 105 106 107 108 109 .. 5022

All times are in UTC.