Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 318 319 320 321 322 323 324 325 326 327 328 .. 5022
— 502,152 events total
2020-09-30 06:50:04 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-30 06:50:28 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-30 06:54:21 → sammuel86 joins (~sammuel86@185.244.214.216)
2020-09-30 06:57:21 × bobajett quits (~user@2001:470:0:301::1e) (Remote host closed the connection)
2020-09-30 06:57:31 <sim590> How can I create a wrapper around integers that can be instanciated just with an Integer (without needing to write teh constructor). Like Integer and Int can both instanciate with the same digit glyphs.
2020-09-30 07:00:03 → bitmagie joins (~Thunderbi@200116b806af98000151301dfab240c8.dip.versatel-1u1.de)
2020-09-30 07:03:26 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-09-30 07:03:38 <opqdonut> :t 3
2020-09-30 07:03:40 <lambdabot> Num p => p
2020-09-30 07:03:40 <Axman6> make an instance of Num
2020-09-30 07:03:48 <sim590> Oh that's all :o
2020-09-30 07:03:53 <opqdonut> especially the fromInteger method
2020-09-30 07:04:09 <Axman6> "3" means "fromIntegral (3 :: Integer)"
2020-09-30 07:04:10 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-09-30 07:05:22 × xff0x quits (~fox@2001:1a81:53e7:fb00:e98b:1e53:4e8a:cb9b) (Ping timeout: 260 seconds)
2020-09-30 07:05:27 <sim590> d:t fromIntegral
2020-09-30 07:05:32 <sim590> :t fromIntegral
2020-09-30 07:05:34 <lambdabot> (Integral a, Num b) => a -> b
2020-09-30 07:05:54 <kritzefitz> Isn't it fromInteger?
2020-09-30 07:06:02 <Axman6> probably
2020-09-30 07:06:07 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 240 seconds)
2020-09-30 07:07:03 → xff0x joins (~fox@2001:1a81:53e7:fb00:e98b:1e53:4e8a:cb9b)
2020-09-30 07:10:20 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-jdjhyordzkibihwa) (Quit: Connection closed for inactivity)
2020-09-30 07:11:21 × alp quits (~alp@2a01:e0a:58b:4920:8cb0:eda6:3ba1:bbe3) (Ping timeout: 272 seconds)
2020-09-30 07:11:45 × bitmagie quits (~Thunderbi@200116b806af98000151301dfab240c8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-30 07:14:54 → rslima_____ joins (sid26145@gateway/web/irccloud.com/x-vbogpauczgzfxuev)
2020-09-30 07:15:03 → pierrot_ joins (~pi@vmi95795.contabo.host)
2020-09-30 07:15:15 × pierrot quits (~pi@unaffiliated/pierrot) (Quit: Let us not forget that the perfect is also the enemy of the bad and the ugly.)
2020-09-30 07:15:15 × pdxleif quits (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) (Quit: ZNC - http://znc.in)
2020-09-30 07:15:16 × rslima____ quits (sid26145@gateway/web/irccloud.com/x-nijwoaxwcetixacu) (Read error: Connection reset by peer)
2020-09-30 07:15:16 × kkd quits (~memxor@unaffiliated/kartikeya) (Quit: bye!)
2020-09-30 07:15:25 → memxor joins (~memxor@2400:8902::f03c:92ff:feac:6d1)
2020-09-30 07:15:25 × memxor quits (~memxor@2400:8902::f03c:92ff:feac:6d1) (Changing host)
2020-09-30 07:15:25 → memxor joins (~memxor@unaffiliated/kartikeya)
2020-09-30 07:15:32 × thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Ping timeout: 260 seconds)
2020-09-30 07:15:34 × bob_twinkles quits (~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-09-30 07:15:40 × CitizenSnips quits (~CitizenSn@irc.refl.club) (Quit: ZNC 1.8.1 - https://znc.in)
2020-09-30 07:16:02 → CitizenSnips joins (~CitizenSn@irc.refl.club)
2020-09-30 07:16:09 × sveit quits (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Ping timeout: 244 seconds)
2020-09-30 07:16:13 × mmohammadi9812 quits (~mmohammad@5.238.179.190) (Ping timeout: 258 seconds)
2020-09-30 07:16:50 → borne joins (~fritjof@200116b864837e00537d5cc8226f9d9f.dip.versatel-1u1.de)
2020-09-30 07:17:10 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds)
2020-09-30 07:17:11 → pdxleif joins (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com)
2020-09-30 07:17:25 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-30 07:17:27 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Ping timeout: 265 seconds)
2020-09-30 07:17:39 → thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2020-09-30 07:17:44 → ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
2020-09-30 07:17:54 → phaul joins (~phaul@ruby/staff/phaul)
2020-09-30 07:18:10 → sveit joins (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-09-30 07:18:10 → bob_twinkles joins (~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com)
2020-09-30 07:19:56 → fendor joins (~fendor@77.119.131.134.wireless.dyn.drei.com)
2020-09-30 07:21:40 → alp joins (~alp@88.126.45.36)
2020-09-30 07:25:27 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-30 07:25:33 × niko quits (~niko@freenode/staff/ubuntu.member.niko) (Quit: leaving)
2020-09-30 07:27:01 → niko joins (~niko@freenode/staff/ubuntu.member.niko)
2020-09-30 07:27:20 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-30 07:29:38 → bitmagie joins (~Thunderbi@200116b806af98000151301dfab240c8.dip.versatel-1u1.de)
2020-09-30 07:30:12 → hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com)
2020-09-30 07:31:12 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-09-30 07:32:06 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-30 07:33:06 × bitmagie quits (~Thunderbi@200116b806af98000151301dfab240c8.dip.versatel-1u1.de) (Client Quit)
2020-09-30 07:33:24 × cow-orker quits (~foobar@pogostick.net) (Ping timeout: 265 seconds)
2020-09-30 07:35:46 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 246 seconds)
2020-09-30 07:36:47 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-09-30 07:37:44 → madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net)
2020-09-30 07:39:47 × darjeeling_ quits (~darjeelin@112.16.171.8) (Ping timeout: 240 seconds)
2020-09-30 07:40:05 × gnumonik quits (~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-09-30 07:40:14 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-30 07:40:16 → cow-orker joins (~foobar@pogostick.net)
2020-09-30 07:40:21 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-30 07:40:40 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-30 07:42:45 → glguy_ joins (x@freenode/staff/haskell.developer.glguy)
2020-09-30 07:42:45 × glguy quits (x@freenode/staff/haskell.developer.glguy) (Killed (moon.freenode.net (Nickname regained by services)))
2020-09-30 07:42:45 glguy_ is now known as glguy
2020-09-30 07:43:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-30 07:45:20 → John20 joins (~John@82.46.59.122)
2020-09-30 07:45:36 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-30 07:47:25 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 265 seconds)
2020-09-30 07:47:53 → kindaro joins (1f08d381@h31-8-211-129.dyn.bashtel.ru)
2020-09-30 07:48:21 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-30 07:49:42 → Tops21 joins (~Tobias@dyndsl-095-033-025-123.ewe-ip-backbone.de)
2020-09-30 07:51:03 <kindaro> Suppose `main = interact (show @Int ∘ read)`. How can I extend this program to operate on any of a variety of types, type name being given by user on command line? My aim is to write an echo server for use in automated checking of parsing and serialization, client being written in another language.
2020-09-30 07:51:51 <opqdonut> haskell types disappear at runtime, so there's no direct way
2020-09-30 07:52:15 × Tops2 quits (~Tobias@dyndsl-091-249-082-222.ewe-ip-backbone.de) (Ping timeout: 265 seconds)
2020-09-30 07:52:15 <opqdonut> but you can do something like write an Enum for the supported types
2020-09-30 07:52:38 <opqdonut> or something even fancier with singletons or some other type-level trickery
2020-09-30 07:53:01 × xff0x quits (~fox@2001:1a81:53e7:fb00:e98b:1e53:4e8a:cb9b) (Ping timeout: 244 seconds)
2020-09-30 07:53:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 07:54:13 → xff0x joins (~fox@2001:1a81:53e7:fb00:9052:62db:4246:c379)
2020-09-30 07:54:59 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-30 07:55:17 <lortabac> probably the simplest way is to pattern-match on the user-provided string
2020-09-30 07:55:44 <lortabac> it doesn't require any advanced feature
2020-09-30 07:56:02 × mac10688 quits (~mac10688@c-76-115-116-76.hsd1.or.comcast.net) (Ping timeout: 244 seconds)
2020-09-30 07:56:29 <kindaro> Imagine I have a 50 types large variety. Some case expression!
2020-09-30 07:56:29 → mac10688 joins (~mac10688@c-76-115-116-76.hsd1.or.comcast.net)
2020-09-30 07:56:32 <lortabac> or to parse to an enum, and pattern-match on it
2020-09-30 07:57:24 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-09-30 07:57:41 <tomsmeding> kindaro: would you want to allow the user to enter any haskell type? What about "IO ()"? :)
2020-09-30 07:57:42 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-30 07:58:35 → zaquest joins (~notzaques@5.128.210.178)
←Prev  Next→
Page 1 .. 318 319 320 321 322 323 324 325 326 327 328 .. 5022

All times are in UTC.