Logs: freenode/#haskell
| 2021-04-01 20:06:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-01 20:07:19 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-01 20:08:13 | <geekosaur> | that looks like you're lifting getLinks itself (via ((->) a)), not its result |
| 2021-04-01 20:08:38 | <geekosaur> | pure (getLinks somePandoc), perhaps |
| 2021-04-01 20:11:10 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 2021-04-01 20:12:05 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-04-01 20:12:29 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-04-01 20:15:56 | × | __minoru__shirae quits (~shiraeesh@109.166.58.127) (Ping timeout: 260 seconds) |
| 2021-04-01 20:16:02 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-01 20:17:07 | <xaltsc> | geekosaur: that was it! thank you! |
| 2021-04-01 20:18:42 | <xaltsc> | Btw, does anyone know a good reference for haskell besides lyah ? It's been a long time and I've forgotten all these lifiting thing. I have a solid CT background (but more mathematical than CS), so I'd welcome something revolving around it. |
| 2021-04-01 20:20:10 | → | mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net) |
| 2021-04-01 20:21:32 | <guest3546456> | xaltsc https://www.schoolofhaskell.com/ |
| 2021-04-01 20:22:00 | <guest3546456> | xaltsc not sure what youre looking for, a book or website |
| 2021-04-01 20:25:25 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-01 20:25:38 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-01 20:25:57 | <xaltsc> | website, idc for a book, I have an utilitarian use for haskell |
| 2021-04-01 20:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-04-01 20:26:53 | <xaltsc> | but the more mathematical the better. I dislike how computer scientists call fibred products and stuff like that |
| 2021-04-01 20:27:00 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-01 20:27:03 | <guest3546456> | xaltsc beside lyah, real world haskell is available online, but some ppl say it's a litle bit outdated.. |
| 2021-04-01 20:27:37 | <geekosaur> | definitely outdated, although if you turn on comments there are updates available there |
| 2021-04-01 20:28:24 | <xaltsc> | Lyah is up to date ? |
| 2021-04-01 20:28:32 | → | Tario joins (~Tario@200.119.184.73) |
| 2021-04-01 20:28:41 | <guest3546456> | xaltsc yup, but it cover only basics |
| 2021-04-01 20:28:45 | <geekosaur> | no, it's behind as well |
| 2021-04-01 20:28:56 | <geekosaur> | just less so than rwh |
| 2021-04-01 20:29:15 | <xaltsc> | So you'd say that school of haskell is definitely the best website ? |
| 2021-04-01 20:29:36 | <guest3546456> | xaltsc I wouldnt say that, there is a lot of materials |
| 2021-04-01 20:31:01 | <xaltsc> | I guess it'll have to do. I'm not interested in real world anyway. Unless ppl have other suggestions ? |
| 2021-04-01 20:31:02 | <guest3546456> | xaltsc and I think there is no one place with all the info that is up to date, I would look through posts mainly, some time ago I read a lot from snoyberg, now reading stuff written by sandy mguire or alexis kings... good entry point for fresh stuff is r/haskell I think |
| 2021-04-01 20:31:22 | <guest3546456> | *blog posts |
| 2021-04-01 20:32:42 | <xaltsc> | as for books, since books may or may not be free, is there a manual (CT oriented preferably) or is the standard changing so constantly that there cannot be a reference? |
| 2021-04-01 20:33:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-01 20:33:32 | <guest3546456> | there are haskell reports 98 and 2010 ... but Haskell now is mainly driven by ghc extensions :P |
| 2021-04-01 20:33:34 | <geekosaur> | it changes a lot, linear types just went in in 9.0 and more changes are coming in 9.2 |
| 2021-04-01 20:34:26 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:b89f:ad2f:d589:6c68) |
| 2021-04-01 20:35:55 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2021-04-01 20:36:22 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-01 20:36:45 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-01 20:37:11 | <guest3546456> | xaltsc the most comprehensive book now is "Haskell Programming from first principles" by Allen / Moronuki, but it's not free and it's > 1000 pages long |
| 2021-04-01 20:38:37 | <guest3546456> | xaltsc you may search amazon and check what suits you also some authors use leanpub to publish their books.. |
| 2021-04-01 20:39:26 | <hololeap> | xaltsc: this may help, although its for teaching CT to haskell programmers rather than the other way around: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v19-eb86347 |
| 2021-04-01 20:40:00 | <xaltsc> | I'd rather not pay an editor that doesn't give money to the authors (that's what happens in math, idk about CS) |
| 2021-04-01 20:40:02 | <guest3546456> | yup whole Bartosz Milewski's blog is worth reading |
| 2021-04-01 20:40:35 | <xaltsc> | I'd rather have "Programming for Category Theorists" than the converse :D |
| 2021-04-01 20:41:14 | → | segut joins (49f18bf8@c-73-241-139-248.hsd1.ca.comcast.net) |
| 2021-04-01 20:41:25 | × | mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 260 seconds) |
| 2021-04-01 20:41:31 | <maerwald> | I'd ditch CT, linear types and r/haskell and start coding without hype driven development |
| 2021-04-01 20:41:38 | <segut> | hello is anyone around that can help with pointing me in the right direction on someting? |
| 2021-04-01 20:42:18 | <hololeap> | segut: there are 1027 people in the channel rn |
| 2021-04-01 20:42:19 | <geekosaur> | segut, ask your question. not like we can guess what you need |
| 2021-04-01 20:42:49 | <xaltsc> | maerwald: CT is useful in math, esp in geometry |
| 2021-04-01 20:43:15 | <maerwald> | sure, if you do any of that go ahead |
| 2021-04-01 20:43:52 | <dolio> | Maybe you should actually read the context before remarking on things. |
| 2021-04-01 20:44:01 | <geekosaur> | maerwald, they said they knew CT already |
| 2021-04-01 20:44:04 | <maerwald> | I know |
| 2021-04-01 20:46:18 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-01 20:47:49 | <segut> | =) so i am trying to install/compile termonad on fedora 32. i installed stack from RPM and downloaded the source and ran "stack install" I am getting this error around gi-vte " While building package gi-vte-2.91.25 (scroll up to its section to see the error) using:" Last time i tried to compile something i had a similar issue which with a |
| 2021-04-01 20:47:50 | <segut> | different package which I was never able to get resolved and had to abandon the compile. Is there an inherent incompatibility with building things on fedora or am i just missing something simple. i.e. (yum clean all~version for stack;changing gi repositories to fedora base repo; just use ubuntu containers; etc.) |
| 2021-04-01 20:47:52 | <xaltsc> | maerwald: and the reason I favour haskell over "simpler" languages is that, because of my math bg, I find it easier to express ideas in Haskell (than, say, in Python). The one thing I struggle with is the syntax |
| 2021-04-01 20:48:52 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-04-01 20:48:57 | <maerwald> | xaltsc: I prefer simple languages, which is why I chose haskell ;) |
| 2021-04-01 20:49:03 | × | geekosaur quits (ac3a8b6e@172.58.139.110) (Ping timeout: 240 seconds) |
| 2021-04-01 20:49:35 | <xaltsc> | That's why I put the quotes :D |
| 2021-04-01 20:50:53 | <maerwald> | but the only thing that's really important to me are algebraic data types. Idc about laziness and even functional isn't that important if the language is able to deal with mutability in some other way |
| 2021-04-01 20:51:06 | <segut> | full error https://paste.tomsmeding.com/JczS1oF8 |
| 2021-04-01 20:52:15 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-01 20:52:54 | × | xff0x_ quits (~xff0x@2001:1a81:532d:a700:e532:2773:4b16:d5dc) (Ping timeout: 245 seconds) |
| 2021-04-01 20:53:39 | nckx | is now known as Thunderbi |
| 2021-04-01 20:53:42 | → | xff0x_ joins (~xff0x@2001:1a81:532d:a700:6abb:1223:9f25:3fb) |
| 2021-04-01 20:54:16 | <guest3546456> | segut: looks like some missing dependency https://github.com/haskell-gi/haskell-gi/issues/183 |
| 2021-04-01 20:55:03 | <xaltsc> | maerwald: algebraic types are about everywhere, aren't they ? For me, it's the functionnal thing and the constraints that a strongly typed language has that made me go for haskell initially. |
| 2021-04-01 20:55:16 | <guest3546456> | segut: here is something more interesting https://github.com/commercialhaskell/stackage/issues/3867 |
| 2021-04-01 20:55:21 | <maerwald> | xaltsc: no, they are not... Go struggles with them |
| 2021-04-01 20:55:35 | <maerwald> | and lots of languages have only shitty versions |
| 2021-04-01 20:55:38 | × | codygman` quits (~user@209.251.131.98) (Ping timeout: 268 seconds) |
| 2021-04-01 20:55:48 | <guest3546456> | segut: install dependencies given under this post compilation should work... |
| 2021-04-01 20:56:30 | <segut> | guest3546456 i looked at that but it is old and that patch was merged it seemed. |
| 2021-04-01 20:56:41 | <segut> | but let me look again |
| 2021-04-01 20:56:45 | <xaltsc> | maerwald: they even exist in C if I remember correctly ? Haskell is just pretty regarding that. |
| 2021-04-01 20:59:18 | <monochrom> | Algebraic types are everywhere in nature. |
| 2021-04-01 20:59:29 | <monochrom> | But most programming languages are unnatural. |
| 2021-04-01 21:00:16 | <monochrom> | Just look at SQL. No thought put into it at all. |
| 2021-04-01 21:00:47 | <segut> | ok so that helped a bit i searched for vte in dnf and found a few devel packages that had to do with vte. installed those and it is moving forward now. I was only looking at the repository error for stack. |
| 2021-04-01 21:00:49 | <segut> | many thanks |
| 2021-04-01 21:00:58 | <maerwald> | There is little point in debating what you can theoreticall do in language X, since most of them are turing complete |
| 2021-04-01 21:01:01 | <maerwald> | so you can do everything |
| 2021-04-01 21:01:07 | <dolio> | I don't know. With SQL they talk alot about how they consciously rejected algebraic types. |
| 2021-04-01 21:01:15 | <guest3546456> | segut np |
| 2021-04-01 21:01:28 | <monochrom> | Oh oops heh OK |
| 2021-04-01 21:01:31 | <segut> | thank you guest3546456 |
| 2021-04-01 21:01:43 | <maerwald> | python also has "laziness" |
| 2021-04-01 21:02:05 | <xaltsc> | algebraic types are just the monoidal category of vector spaces over the field with one element anyways. |
| 2021-04-01 21:02:32 | <monochrom> | I thought a field had at least two elements. |
| 2021-04-01 21:02:50 | <xaltsc> | yes but no |
| 2021-04-01 21:03:26 | <xaltsc> | Fun things happen when you study phenomena over F_q and let q go to 1. |
| 2021-04-01 21:03:57 | <monochrom> | "Is this singularity?" meme |
| 2021-04-01 21:04:31 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-01 21:04:32 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.