Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 .. 5022
— 502,152 events total
2021-04-19 18:51:25 <Guest_70>   Expected in: /usr/lib/libSystem.B.dylib
2021-04-19 18:51:26 <Guest_70> dyld: Symbol not found: _futimens
2021-04-19 18:51:26 <Guest_70>   Referenced from: /Users/JoeHall/.ghcup/bin/ghcup (which was built for Mac OS X 10.13)
2021-04-19 18:51:27 <Guest_70>   Expected in: /usr/lib/libSystem.B.dylib
2021-04-19 18:51:27 <ski> it focuses on practical examples, and doing away with boilerplate repetition, by abstraction
2021-04-19 18:51:27 <Guest_70> sh: line 45: 1008 Trace/BPT trap: 5 ghcup "$@"
2021-04-19 18:51:28 <Guest_70> "_eghcup --cache install ghc recommended" failed!
2021-04-19 18:51:33 <xsperry> :-O
2021-04-19 18:51:35 <wroathe> Holy spam, batman
2021-04-19 18:51:44 <Guest_70> sorry xD
2021-04-19 18:51:45 <ski> Guest_70 : please don't paste many lines of text into the channel
2021-04-19 18:51:48 <ski> @where paste
2021-04-19 18:51:48 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-04-19 18:51:51 <Cale> I've seen a lot of "Monads in language X" posts where they translate a bunch of examples of things that would be monads in Haskell into language X, but they don't do it in such a way that you could write any code that would be shared between all the examples
2021-04-19 18:52:13 <geekosaur> I think older OS X is no longer supported?
2021-04-19 18:52:37 <ski> wroathe : "But trying to explain them one monad at a time .." -- yes, and so i attempted a more general, conceptual, discussion, despite being aware of pitfalls
2021-04-19 18:52:45 <tomsmeding> yeah that error says that the executable is built for osx 10.13, whereas el capitan is 10.11
2021-04-19 18:53:16 → Sorna joins (~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-19 18:53:17 <wroathe> ski: Cale: I just think there's low hanging fruit there to be plucked by comparing the Monad typeclass to a plain old interface in another language. Most people can immediately understand that if you can implement the interface you may have a type of monad on your hands. Then it's just a matter of determining whether it satisfied the laws and whether you may have some duplication
2021-04-19 18:53:44 <Cale> Well, type classes are like interfaces, and Monad is a type class
2021-04-19 18:53:50 <Cale> sure
2021-04-19 18:54:02 <MrFantastik> screw it I'm just going to learn category theory
2021-04-19 18:54:09 <tomsmeding> MrFantastik: be careful
2021-04-19 18:54:10 <monochrom> Plain old interfaces in another language do not have the *->* kind. There is no translation.
2021-04-19 18:54:12 <ski> MrFantastik : you're interested in math ?
2021-04-19 18:54:17 <MrFantastik> I do like math a lot
2021-04-19 18:54:20 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-19 18:54:34 <MrFantastik> I'm haven't learned a lot of math yet though
2021-04-19 18:54:36 × Guest_70 quits (8a26aed7@138-38-174-215.eduroam.bath.ac.uk) (Quit: Connection closed)
2021-04-19 18:54:57 <monochrom> But I cast type classes as operator overloading anyway, not as interfaces.
2021-04-19 18:54:58 <tomsmeding> and realise that knowing what a monad is, mathematically, allows you to _deduce_ how to use it, but it doesn't give you any skill in using it :p
2021-04-19 18:55:03 <ski> MrFantastik : be aware that learning CT in general probably won't have that large an effect on learning or programming in Haskell (or other languages (maybe with Charity as an exception))
2021-04-19 18:55:21 <wroathe> monochrom: You get close enough to that with generics
2021-04-19 18:55:27 <monochrom> And functions of type MyClass t => ..., template methods.
2021-04-19 18:55:33 <ski> MrFantastik : that said, i'd suggest "Conceptual Mathematics: A first introduction to categories" by Lawvere & Schanuel
2021-04-19 18:55:42 <MrFantastik> i see the language of category theory all over the haskell source code
2021-04-19 18:55:49 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-04-19 18:55:49 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-04-19 18:55:49 → haritz joins (~hrtz@unaffiliated/haritz)
2021-04-19 18:55:57 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-19 18:56:20 <tomsmeding> and most haskell programmers just understand those concepts in terms of what they mean operationally, not necessarily what they mean categorically in mathematics
2021-04-19 18:56:26 × Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds)
2021-04-19 18:56:42 <ski> monochrom : i guess, "interfaces", in the sense of module interfaces/signatures, rather than method interfaces of objects (i.e. object types) ..
2021-04-19 18:57:01 <ski> @where Charity
2021-04-19 18:57:01 <lambdabot> http://pll.cpsc.ucalgary.ca/charity1/www/home.html
2021-04-19 18:57:19 → lordcirth joins (~lordcirth@2607:f2c0:95b3:4400:f95c:f5c5:5660:38cf)
2021-04-19 18:57:53 <monochrom> Associated type classes would be module interfaces.
2021-04-19 18:58:05 <ski> MrFantastik : the specific ways in which they're being used in Haskell can, for the most part, be understood in a Haskell-internal (or programming-internal) sense, not requiring to grasp the full abstract generality of CT
2021-04-19 18:58:12 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-04-19 18:58:20 <ski> associated ?
2021-04-19 18:58:27 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2021-04-19 18:58:32 <monochrom> err, associated type families
2021-04-19 18:59:08 <ski> i suppose you mean, for a type exported by a module
2021-04-19 18:59:21 <lordcirth> I'm trying to use record dot syntax with a stack project. This is my stack.yaml: https://termbin.com/u38k "unit.hp" is treated as function composition. What am I missing? Thanks
2021-04-19 18:59:28 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-19 18:59:29 <lordcirth> package.yaml* sorry
2021-04-19 18:59:57 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-19 18:59:58 <monochrom> A module sig can declare both types and values. A Haskell-2010 class can only declare values.
2021-04-19 19:00:14 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-04-19 19:00:36 <monochrom> A Haskell-2010 class falls short of being a module sig.
2021-04-19 19:00:57 <monochrom> s/being a/covering/
2021-04-19 19:03:02 <ski> yea. a module type parameter is not quite the same thing as a type declared in the module
2021-04-19 19:03:02 <iphy> can you use a test from a dependent package to measure coverage of the dependency package?
2021-04-19 19:03:49 <iphy> I have pkg1 that defines a bunch of stuff, and pkg2 that defines more stuff based on pkg1 that makes it much easier to use. I'd like to use the stuff from pkg2 to write tests for pkg1
2021-04-19 19:04:12 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-19 19:04:40 <iphy> I don't want pkg2's stuff to be in pkg1 because it doesn't belong there and because of dependencies I don't want to have in pkg1
2021-04-19 19:05:02 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-19 19:17:14 → Fran_ joins (~Fran@181.28.16.4)
2021-04-19 19:17:32 <Fran_> @pl
2021-04-19 19:17:32 <lambdabot> (line 1, column 1):
2021-04-19 19:17:32 <lambdabot> unexpected end of input
2021-04-19 19:17:32 <lambdabot> expecting white space, "()", natural, identifier, lambda abstraction or expression
2021-04-19 19:17:41 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-19 19:21:21 <ski> @help pl
2021-04-19 19:21:21 <lambdabot> pointless <expr>. Play with pointfree code.
2021-04-19 19:21:48 → __minoru__shirae joins (~shiraeesh@5.101.59.44)
2021-04-19 19:22:09 × minoru_shiraeesh quits (~shiraeesh@109.166.57.43) (Ping timeout: 260 seconds)
2021-04-19 19:22:46 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-19 19:23:07 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-04-19 19:25:51 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-19 19:28:34 → lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-19 19:29:31 <maerwald> geekosaur: that old OS X was never supported
2021-04-19 19:29:58 <maerwald> I think even cabal-install doesn't, but I didn't test
2021-04-19 19:35:36 × puke quits (~vroom@217.138.252.184) (Quit: puke)
2021-04-19 19:35:52 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-19 19:39:21 → Sorny joins (~Sornaensi@191.96.108.77)
2021-04-19 19:39:35 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-19 19:39:54 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-04-19 19:40:14 → Sornaens1 joins (~Sornaensi@85.203.36.21)
2021-04-19 19:41:56 × blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-19 19:42:31 × Sorna quits (~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 260 seconds)
2021-04-19 19:43:15 × Fran_ quits (~Fran@181.28.16.4) (Quit: Leaving)
2021-04-19 19:43:22 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-19 19:43:41 × Sorny quits (~Sornaensi@191.96.108.77) (Ping timeout: 240 seconds)
2021-04-19 19:44:14 × pengjiz quits (~user@2601:547:902:6d00::2) (Quit: ERC (IRC client for Emacs 27.2))
2021-04-19 19:44:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-19 19:44:26 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-19 19:45:55 → puke joins (~vroom@217.138.252.184)
2021-04-19 19:46:21 → rj joins (~x@gateway/tor-sasl/rj)
2021-04-19 19:49:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 .. 5022

All times are in UTC.