Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 895 896 897 898 899 900 901 902 903 904 905 .. 5022
— 502,152 events total
2020-10-27 16:36:40 <T0pH4t> so apparently this doesn't work :/ `parseToken t1 (PNum pure) >>= <blah>` assuming t1 contains an instance of Num such that Parser can be invoked.
2020-10-27 16:36:57 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-27 16:37:42 → christo joins (~chris@81.96.113.213)
2020-10-27 16:38:40 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-27 16:38:49 → conal joins (~conal@64.71.133.70)
2020-10-27 16:39:41 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 258 seconds)
2020-10-27 16:41:45 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-10-27 16:41:48 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-27 16:42:34 × teardown quits (~user@unaffiliated/mrush) (Quit: leaving)
2020-10-27 16:44:14 → Narinas joins (~Narinas@189.223.113.190.dsl.dyn.telnor.net)
2020-10-27 16:44:47 × dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (Read error: Connection reset by peer)
2020-10-27 16:46:47 × Narinas quits (~Narinas@189.223.113.190.dsl.dyn.telnor.net) (Client Quit)
2020-10-27 16:48:22 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-27 16:49:53 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 260 seconds)
2020-10-27 16:50:15 → obihann joins (~jhann@156.34.160.69)
2020-10-27 16:50:27 × acidjnk_new quits (~acidjnk@p200300d0c7237845ecd50ba376a38a54.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 16:50:49 <T0pH4t> tomsmending: is there a way to get both univeral and existential?
2020-10-27 16:51:25 <T0pH4t> ie the producer sets a and invoke set x, `data Parser a where PNum :: (forall x. (GTLType x, Num x) => (I.Expression x -> I.GTL a)) -> Parser a`
2020-10-27 16:52:42 → nlhowell joins (~nlhowell@don28-11.ln.rinet.ru)
2020-10-27 16:52:47 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 16:55:51 → idhugo joins (~idhugo@185.45.22.133)
2020-10-27 16:56:25 × samlamamma quits (~user@c-8283e355.05-76-616c6b1.bbcust.telenor.se) (Remote host closed the connection)
2020-10-27 16:56:55 <monsterchrom> If you mean nesting and/or alternating, you can always do that, but you always have to define one more type for each quantifier.
2020-10-27 16:57:03 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-27 16:58:11 × nitrix quits (~nitrix@haskell/developer/nitrix) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-27 16:58:26 → solonarv joins (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr)
2020-10-27 16:58:31 → nitrix joins (~nitrix@haskell/developer/nitrix)
2020-10-27 17:01:49 <T0pH4t> mm not sure i get ur meaning monsterchrom, I'm basically want the producer to set the output type based on a consume setting the input type.
2020-10-27 17:02:01 <T0pH4t> so in theory producer has context to chose how to convert w/e the consumer gives it
2020-10-27 17:03:47 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-27 17:05:25 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2020-10-27 17:05:35 → nick__ joins (~nick@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-27 17:06:03 × nick__ quits (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-27 17:08:20 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-27 17:08:29 <tomsmeding> T0pH4t: can you write your desired datatype using 'forall' and some hypothetical construct 'exists'?
2020-10-27 17:08:51 → thblt joins (~thblt@unaffiliated/thblt)
2020-10-27 17:08:56 <monsterchrom> Oh then it's vanilla polymorphic function. For example, reverse :: [a] -> [a] means the caller decides that the input list should be [Int], so reverse spits out [Int] too.
2020-10-27 17:09:29 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-27 17:09:46 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-27 17:10:20 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-27 17:10:58 <nlhowell> I am trying to write a typeclass instance for Compose F G where F and G are functors; is there any way I can avoid wrapping arguments with Compose { getCompose = ... } ?
2020-10-27 17:11:10 <nlhowell> (without going point-free)
2020-10-27 17:11:33 <T0pH4t> so evectively that parser example a few lines up. But actually even what i suggest won't work in the larger context since my Num types can't be guaranteed :/ So for now don't worry about it
2020-10-27 17:11:37 <hyperisco> nlhowell, no
2020-10-27 17:11:40 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-27 17:11:54 <hyperisco> nlhowell, you don't have to use record syntax though
2020-10-27 17:11:56 <T0pH4t> tomsmending: thx for now!
2020-10-27 17:12:27 <thblt> I have a function that produces multiple named files (a compiler of sorts), that I'd rather not write directly in IO, but I'm not sure of an idiomatic way to type this. I was thinking of `type Compiler = Layout -> [(FilePath, String)]`. Does it sound reasonable?
2020-10-27 17:12:43 <nlhowell> hyperisco: oh? what can i use instead? I think Compose is defined using record syntax
2020-10-27 17:13:25 <hyperisco> nlhowell, it doesn't matter if it is defined that way, there is still the constructor named Compose
2020-10-27 17:13:46 <nlhowell> ah, just "Compose x"
2020-10-27 17:13:48 <nlhowell> thanks!
2020-10-27 17:13:56 <hyperisco> nlhowell, np
2020-10-27 17:13:59 <nlhowell> that's at least a lot less typing :)
2020-10-27 17:14:22 <hyperisco> newtype wrapping and unwrapping is a struggle
2020-10-27 17:15:01 <nlhowell> i was hoping for some extension that does some auto-coerce or something
2020-10-27 17:15:36 <nlhowell> but avoiding the record syntax with the wordy getCompose= is more than half the battle
2020-10-27 17:17:04 × kuribas quits (~user@ptr-25vy0i99c8o0gmravvh.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-27 17:19:35 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-27 17:23:08 → LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-27 17:26:06 → dequbed joins (~dequbed@2001:bc8:3f24:100::1)
2020-10-27 17:26:53 × ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-10-27 17:26:55 → FreeBird_ joins (~freebirdl@101.228.42.108)
2020-10-27 17:27:11 × thunderrd quits (~thunderrd@183.182.115.32) (Ping timeout: 272 seconds)
2020-10-27 17:28:13 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Read error: Connection reset by peer)
2020-10-27 17:30:03 → debugloop joins (~danieln@unaffiliated/debugloop)
2020-10-27 17:30:05 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2020-10-27 17:30:26 → justsomeguy joins (~justsomeg@071-046-056-025.res.spectrum.com)
2020-10-27 17:30:26 × justsomeguy quits (~justsomeg@071-046-056-025.res.spectrum.com) (Changing host)
2020-10-27 17:30:26 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-27 17:33:36 × alx741 quits (~alx741@186.178.110.246) (Ping timeout: 256 seconds)
2020-10-27 17:36:16 × motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2020-10-27 17:38:07 → _vaibhavingale_1 joins (~Adium@203.188.228.9)
2020-10-27 17:39:36 → christo joins (~chris@81.96.113.213)
2020-10-27 17:39:38 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-27 17:40:04 → akegalj joins (~akegalj@93-142-98-67.adsl.net.t-com.hr)
2020-10-27 17:41:01 × _vaibhavingale_ quits (~Adium@203.188.228.9) (Ping timeout: 264 seconds)
2020-10-27 17:41:16 → thunderrd joins (~thunderrd@183.182.111.47)
2020-10-27 17:42:50 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-27 17:43:52 × jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 256 seconds)
2020-10-27 17:45:52 × xff0x quits (~fox@2001:1a81:5219:2300:5d08:4351:f573:c6af) (Ping timeout: 260 seconds)
2020-10-27 17:46:38 → alx741 joins (~alx741@186.178.110.246)
2020-10-27 17:46:46 → xff0x joins (~fox@2001:1a81:5219:2300:d7e5:2604:caa8:802b)
2020-10-27 17:49:08 → shadowdao joins (~user@unaffiliated/shadowdaemon)
2020-10-27 17:52:39 → jakob_ joins (~jakob@p200300f49f162200916e30f6bddaa13c.dip0.t-ipconnect.de)
2020-10-27 17:52:49 → cylon007 joins (~user@173.225.251.134)
2020-10-27 17:53:23 <cylon007> ls
2020-10-27 17:54:08 × perry69420 quits (6ee39f85@110.227.159.133) (Remote host closed the connection)
2020-10-27 17:54:23 × cylon007 quits (~user@173.225.251.134) (Client Quit)
2020-10-27 17:57:12 × Tops2 quits (~Tobias@dyndsl-095-033-025-205.ewe-ip-backbone.de) (Ping timeout: 265 seconds)
2020-10-27 17:57:13 → cylon007 joins (~user@173.225.251.134)
2020-10-27 18:00:02 × jedi1 quits (~jedi@185.204.1.185) ()
2020-10-27 18:00:13 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-27 18:01:13 ← cylon007 parts (~user@173.225.251.134) ()
2020-10-27 18:01:21 × jakob_ quits (~jakob@p200300f49f162200916e30f6bddaa13c.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-27 18:02:51 → jakob_ joins (~jakob@p200300f49f1622005d925613eec2f60c.dip0.t-ipconnect.de)
2020-10-27 18:03:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-27 18:04:01 × alp quits (~alp@2a01:e0a:58b:4920:aca7:fd95:ef08:3e24) (Ping timeout: 272 seconds)
2020-10-27 18:05:27 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-10-27 18:06:03 × texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 895 896 897 898 899 900 901 902 903 904 905 .. 5022

All times are in UTC.