Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 .. 5022
— 502,152 events total
2021-04-14 18:22:37 <geekosaur> .oO { Haskell typeclasses can be pretty unholy… }
2021-04-14 18:22:38 <BosonCollider> i.e. they are named after Tim Holy
2021-04-14 18:22:46 <geekosaur> ah
2021-04-14 18:23:08 ski . o O ( "Interface-passing style" by Fare (aka François-René Rideau) in 2010-02-17 at <https://fare.livejournal.com/155094.html> )
2021-04-14 18:23:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-14 18:24:04 zyeri- is now known as zyeri
2021-04-14 18:24:04 × zyeri quits (zyeri@gateway/shell/tilde.team/x-kkkevpuavtvflcri) (Changing host)
2021-04-14 18:24:04 → zyeri joins (zyeri@tilde.team/users/zyeri)
2021-04-14 18:24:06 <BosonCollider> but the cool thing is that this means they can regularly define functions that are piecewise defined for any input that satisfies the trait
2021-04-14 18:24:22 <BosonCollider> and a separate generic impl for inputs that satisfy the negation of the trait
2021-04-14 18:25:01 <BosonCollider> or more commonly, negation of the trait plus some other condition
2021-04-14 18:25:11 <ski> hm. wonder whether that's related to "default reasoning"
2021-04-14 18:25:33 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-14 18:25:56 → epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-14 18:26:36 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-14 18:29:07 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds)
2021-04-14 18:29:46 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-14 18:29:59 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-14 18:31:32 <BosonCollider> the way they implement it is entirely with multimethods though, where a @traitfn will delegate to a separate call with an extra argument that is computed from the types of the inputs
2021-04-14 18:33:00 <BosonCollider> where it works since all Julia types are first class objects and they all have their unique types so you can write multimethods that dispatch on the types of the types
2021-04-14 18:33:18 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-14 18:34:11 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-14 18:34:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-14 18:35:00 → ukari joins (~ukari@unaffiliated/ukari)
2021-04-14 18:37:15 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-14 18:38:32 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-14 18:39:06 → kiweun joins (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9)
2021-04-14 18:40:25 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-04-14 18:41:54 → jakalx joins (~jakalx@base.jakalx.net)
2021-04-14 18:42:11 × darjeeling_ quits (~darjeelin@122.245.120.156) (Ping timeout: 240 seconds)
2021-04-14 18:42:29 → remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca)
2021-04-14 18:42:35 <Guest_54> Hello, I'm looking for guidance installing Haskell the first time on a fresh Ubuntu virtual machine.  It failed when installing GHC
2021-04-14 18:43:19 <remby> might be better to ask in a distro channel
2021-04-14 18:43:22 <Clint> apt install ghc ?
2021-04-14 18:43:44 × kiweun quits (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9) (Ping timeout: 258 seconds)
2021-04-14 18:43:53 <remby> but there's some details for ubuntu here https://www.haskell.org/downloads/linux/
2021-04-14 18:43:57 <Guest_54> I ran the following line from the Haskell.org/ghcup page:  curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
2021-04-14 18:44:13 <remby> they offer a ppa
2021-04-14 18:44:27 <Guest_54> Remby - thanks, what's a ppa?
2021-04-14 18:44:45 <remby> personal package archive
2021-04-14 18:44:53 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-14 18:44:59 → nineonin_ joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-14 18:45:26 <remby> a package repo hosted by an ubuntu user that others can use
2021-04-14 18:45:41 <Guest_54> ok, interesting.  I"m going to try it now.  Thanks again!
2021-04-14 18:46:13 → hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-14 18:46:15 <Clint> assuming you for some reason need a newer ghc than is in universe
2021-04-14 18:46:16 <remby> well, maybe not hosted by them but it's basically a community maintained package
2021-04-14 18:46:29 <remby> sure, np
2021-04-14 18:47:02 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-04-14 18:47:17 × freeman42x quits (~40726@2a02:2f0c:5a03:4a00:25d9:dfce:25a7:bd32) (Quit: Leaving.)
2021-04-14 18:47:46 × nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-04-14 18:49:53 <Guest_54> Anyone else here doing the Plutus Pioneer course?  I'm in that, and a little behind - just getting the environment set up now
2021-04-14 18:50:27 → nineonine joins (~nineonine@50.216.62.2)
2021-04-14 18:51:24 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-04-14 18:52:33 × nineonin_ quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 258 seconds)
2021-04-14 18:54:29 × hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 246 seconds)
2021-04-14 18:54:58 → darjeeling_ joins (~darjeelin@115.215.40.116)
2021-04-14 18:58:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-14 18:59:04 <__minoru__shirae> Plutus Pioneer course?
2021-04-14 19:00:06 ← romesrf parts (~romesrf@44.190.189.46.rev.vodafone.pt) ("WeeChat 3.1")
2021-04-14 19:00:36 × xff0x quits (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds)
2021-04-14 19:00:45 × hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds)
2021-04-14 19:00:56 → xff0x joins (xff0x@gateway/vpn/mullvad/xff0x)
2021-04-14 19:01:10 <sm[m]> https://www.reddit.com/r/haskell/comments/mq0u4p/first_and_second_plutus_lecture_by_lars_br%C3%BCnjes/
2021-04-14 19:01:24 → Pickchea joins (~private@unaffiliated/pickchea)
2021-04-14 19:02:03 ← jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-14 19:03:46 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93)
2021-04-14 19:05:45 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93) (Read error: Connection reset by peer)
2021-04-14 19:05:47 → hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-14 19:10:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-14 19:11:03 × kuribas quits (~user@ptr-25vy0i7m3jb61f685yu.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-04-14 19:12:52 × __minoru__shirae quits (~shiraeesh@46.34.206.85) (Ping timeout: 240 seconds)
2021-04-14 19:13:12 → __minoru__shirae joins (~shiraeesh@109.166.59.77)
2021-04-14 19:13:36 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-14 19:13:38 → syntactic_sugar joins (~syntactic@66.115.157.118)
2021-04-14 19:13:54 × syntactic_sugar quits (~syntactic@66.115.157.118) (Client Quit)
2021-04-14 19:16:45 <__minoru__shirae> sm[m]: thanks for the link. so it's about smart contracts, huh
2021-04-14 19:17:18 × xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 252 seconds)
2021-04-14 19:19:22 → xff0x joins (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939)
2021-04-14 19:19:59 → jakalx joins (~jakalx@base.jakalx.net)
2021-04-14 19:23:28 <sm[m]> yup
2021-04-14 19:26:04 → maroloccio joins (~marolocci@pousada3ja.mma.com.br)
2021-04-14 19:26:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-14 19:27:09 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-14 19:27:18 × idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-14 19:27:26 × Guest_54 quits (c4bf35f2@196.191.53.242) (Quit: Connection closed)
2021-04-14 19:27:51 × v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Remote host closed the connection)
2021-04-14 19:29:17 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-14 19:31:36 × ddellacosta_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-14 19:32:03 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer)
2021-04-14 19:32:18 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-14 19:32:37 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-14 19:34:14 × unyu quits (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.2))
2021-04-14 19:34:25 × contrebande-labs quits (~contreban@gateway/tor-sasl/contrebande-labs) (Quit: contrebande-labs)
2021-04-14 19:34:33 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-14 19:35:05 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-14 19:37:36 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-04-14 19:40:33 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-04-14 19:42:08 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-14 19:42:32 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
←Prev  Next→
Page 1 .. 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 .. 5022

All times are in UTC.