Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4907 4908 4909 4910 4911 4912 4913 4914 4915 4916 4917 .. 5022
— 502,152 events total
2021-05-16 13:05:04 <kuribas> juri_: so it wasn't your program?
2021-05-16 13:06:10 <juri_> in a strict sense, no. it was just written while refering to my program, with the intent of selling it to do exactly what my program does.
2021-05-16 13:07:18 <Axman6> Any onw know how in SBV to say that a symbolic value is equal to a specific value? I can't for the life of me figure out how to say that something of SBV Digit (where Digit = D1 | D2 | ...) is equal to D1
2021-05-16 13:07:44 <Axman6> urgh, after 10 minutes of searching, I find `literal` immediately
2021-05-16 13:08:17 <maerwald> guriya: yes
2021-05-16 13:08:38 × ddellacosta quits (~ddellacos@86.106.143.59) (Ping timeout: 246 seconds)
2021-05-16 13:08:49 <maerwald> there's only coconut and the abstractions aren't clean
2021-05-16 13:08:53 <guriya> maerwald is it possible to show me any of your program?
2021-05-16 13:09:01 <maerwald> so they creep through
2021-05-16 13:09:13 <guriya> coconut?
2021-05-16 13:09:14 <maerwald> no, I wrote a proprietary program using coconut
2021-05-16 13:09:29 <maerwald> http://coconut-lang.org/
2021-05-16 13:09:38 <maerwald> valid python is valid coconut
2021-05-16 13:10:34 <maerwald> it was a great way to make sure whoever comes after me is going to hate me
2021-05-16 13:10:48 <guriya> maerwald thank you
2021-05-16 13:11:21 → fg joins (5f5bd79b@ip5f5bd79b.dynamic.kabel-deutschland.de)
2021-05-16 13:11:44 fg is now known as Guest81993
2021-05-16 13:12:12 <guriya> maerwald you takedecissions in your team? no objections?
2021-05-16 13:12:24 <maerwald> there was no team
2021-05-16 13:12:35 <maerwald> no one asked, they just wanted a program
2021-05-16 13:12:38 <maerwald> so they got one
2021-05-16 13:13:02 <maerwald> advice: don't do it :p
2021-05-16 13:13:17 <maerwald> the bus factor of this language is 1, afair
2021-05-16 13:13:48 <kuribas> is there a way to pretty print a data structure with indentation?
2021-05-16 13:14:08 <guriya> maerwald (y)
2021-05-16 13:14:33 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-16 13:14:59 <maerwald> @hackage pretty-simple -- kuribas?
2021-05-16 13:14:59 <lambdabot> https://hackage.haskell.org/package/pretty-simple -- kuribas?
2021-05-16 13:15:12 <kuribas> maerwald: *with indentation*
2021-05-16 13:15:15 <maerwald> that's basically converting stuff to json and then printing
2021-05-16 13:15:29 <kuribas> No, readable in a haskell source file.
2021-05-16 13:15:36 <maerwald> kuribas: ah
2021-05-16 13:17:01 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-16 13:17:19 → boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-16 13:19:32 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 13:21:46 × guriya quits (a0ee4bc4@unaffiliated/guriya) (Quit: Connection closed)
2021-05-16 13:24:52 <kuribas> maerwald: hmm, I could indent the pretty-simple generated text.
2021-05-16 13:27:53 → LKoen joins (~LKoen@lfbn-idf2-1-1523-141.w92-169.abo.wanadoo.fr)
2021-05-16 13:29:02 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-16 13:30:44 <Guest81993> hi, is there a common function of type `(a -> Either b a) -> a -> b` ? Hoogle doesn't find anything, but it feels like a pretty common behavior - simply unfold from a starting point until you get a `b` which breaks the recursion.
2021-05-16 13:31:35 × idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-05-16 13:32:15 <Guest81993> I implemented it as `unfold f x = either id (unfold f) $ f x`
2021-05-16 13:32:36 <xenon-> :t either
2021-05-16 13:32:37 <lambdabot> (a -> c) -> (b -> c) -> Either a b -> c
2021-05-16 13:33:28 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-16 13:33:29 <xenon-> :t either id
2021-05-16 13:33:30 <lambdabot> (b -> c) -> Either c b -> c
2021-05-16 13:33:51 <xenon-> nope
2021-05-16 13:34:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-16 13:34:24 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-16 13:34:53 → boooooooo joins (~Username@51.179.118.142)
2021-05-16 13:36:10 × boooooooo quits (~Username@51.179.118.142) (Excess Flood)
2021-05-16 13:42:08 → ddellac__ joins (~ddellacos@86.106.143.124)
2021-05-16 13:42:38 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
2021-05-16 13:43:05 → urodna joins (~urodna@unaffiliated/urodna)
2021-05-16 13:44:13 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-16 13:44:24 <kuribas> @hoogle [m [a]] -> m [a]
2021-05-16 13:44:25 <lambdabot> No results found
2021-05-16 13:44:31 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 13:44:34 <kuribas> @hoogle Monad m => [m [a]] -> m [a]
2021-05-16 13:44:35 <lambdabot> No results found
2021-05-16 13:45:45 → nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-05-16 13:47:01 × ddellac__ quits (~ddellacos@86.106.143.124) (Ping timeout: 260 seconds)
2021-05-16 13:47:06 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2021-05-16 13:47:18 → stree joins (~stree@68.36.8.116)
2021-05-16 13:48:11 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
2021-05-16 13:48:52 × Schrostfutz quits (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-05-16 13:49:17 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-16 13:50:37 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-16 13:52:30 → knupfer joins (~Thunderbi@200116b82287f900d8c73651d44749fb.dip.versatel-1u1.de)
2021-05-16 13:53:20 × sw1nn quits (~sw1nn@2a00:23c7:622f:2c00:b3c5:5aba:31d5:7216) (Quit: WeeChat 3.1)
2021-05-16 13:54:33 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-16 13:54:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-16 13:55:13 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-16 13:55:26 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-16 13:56:16 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-16 13:57:35 → sw1nn joins (~sw1nn@host86-180-104-205.range86-180.btcentralplus.com)
2021-05-16 13:59:16 × drbean_ quits (~drbean@TC210-63-209-154.static.apol.com.tw) (Ping timeout: 260 seconds)
2021-05-16 13:59:41 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds)
2021-05-16 13:59:58 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-05-16 13:59:59 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-16 13:59:59 → mouseghost joins (~draco@wikipedia/desperek)
2021-05-16 13:59:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-16 14:03:11 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-16 14:04:50 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-16 14:05:26 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 14:07:48 → xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com)
2021-05-16 14:08:15 <kuribas> :t fmap concat . sequence
2021-05-16 14:08:16 <lambdabot> (Traversable t, Monad f) => t (f [a]) -> f [a]
2021-05-16 14:08:51 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:fb4d:5a47:92ec:2ac2) (Ping timeout: 260 seconds)
2021-05-16 14:09:12 × abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-16 14:09:39 → abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-16 14:09:43 × bennofs__ quits (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de) (Read error: Connection reset by peer)
2021-05-16 14:10:00 × Guest81993 quits (5f5bd79b@ip5f5bd79b.dynamic.kabel-deutschland.de) (Quit: Connection closed)
2021-05-16 14:10:07 → bennofs_ joins (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de)
2021-05-16 14:10:32 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-16 14:13:14 → Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-16 14:14:16 → zaquest joins (~notzaques@5.128.210.178)
2021-05-16 14:14:39 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-05-16 14:15:13 → oxide joins (~lambda@unaffiliated/mclaren)
←Prev  Next→
Page 1 .. 4907 4908 4909 4910 4911 4912 4913 4914 4915 4916 4917 .. 5022

All times are in UTC.