Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 .. 5022
— 502,152 events total
2020-11-23 17:05:48 × raichoo quits (~raichoo@dslb-178-001-144-018.178.001.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-11-23 17:05:50 <ski> multiplication distributes over addition. so, to understand multiplication, in terms of cycles, it suffices to understand how to multiply single cycles with each other. as you saw, we can't cancel even multiplication with non-zero permutation. exponentiation of cycles is even more interesting, it can yield a sum of cycles of different lengths
2020-11-23 17:06:05 <ski> hseg : right
2020-11-23 17:06:19 × evanm quits (182c6bd4@ool-182c6bd4.dyn.optonline.net) (Ping timeout: 245 seconds)
2020-11-23 17:06:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-23 17:07:55 → b7471 joins (~kvirc@139.30.225.215)
2020-11-23 17:07:57 <b7471> hi
2020-11-23 17:08:01 <ski> e.g. ⌜c₂ ^ c₂ = 2 + c₂⌝
2020-11-23 17:08:05 <hseg> well, that's unsurprising -- exponentiation is just composition
2020-11-23 17:08:07 <ski> hello b7471
2020-11-23 17:08:10 <hseg> yo
2020-11-23 17:08:18 <b7471> is this the official channel for the programming language haskell
2020-11-23 17:08:21 <b7471> ?
2020-11-23 17:08:22 <ski> composition on both sides
2020-11-23 17:08:24 <hseg> yes
2020-11-23 17:08:26 <ski> yes, b7471
2020-11-23 17:08:57 <__monty__> b7471: You just joined in the middle of discrete math 101 or 201, not sure.
2020-11-23 17:09:17 <hseg> discrete math coffee talk, more like
2020-11-23 17:09:30 <b7471> its okay
2020-11-23 17:09:45 <b7471> i am having big trouble with haskell
2020-11-23 17:10:18 <ski> mhm ?
2020-11-23 17:10:18 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-23 17:11:05 × conal_ quits (~conal@64.71.133.70) (Ping timeout: 240 seconds)
2020-11-23 17:12:15 <hseg> ski: no, i meant you can embed m! in n! for m=<n, and in particular have π^σ=π^1∘1^σ where the composition is the usual one in (m^n)!
2020-11-23 17:12:52 <hseg> in particular, it is unsurprising that the composite of two cycles has pretty wild structure
2020-11-23 17:12:59 → Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2020-11-23 17:13:07 <b7471> is there any book on how to understand the language
2020-11-23 17:13:10 <b7471> _
2020-11-23 17:13:11 <b7471> ?
2020-11-23 17:13:27 → conal joins (~conal@66.115.157.94)
2020-11-23 17:15:43 → geekosaur6 joins (ac3a5347@172.58.83.71)
2020-11-23 17:17:01 × czwartyeon quits (~czwartyeo@77-45-55-99.sta.asta-net.com.pl) (Ping timeout: 264 seconds)
2020-11-23 17:17:09 × geekosaur quits (ac3a5347@172.58.83.71) (Ping timeout: 245 seconds)
2020-11-23 17:17:24 <ski> hseg : yes, that embedding is basically ⌜π ↦ π + idₘ₋ₙ⌝, right ? hm, your ⌜1⌝ is identity (on any carrier). hmm
2020-11-23 17:17:33 <ski> b7471 : there's several books
2020-11-23 17:17:47 → Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-23 17:18:08 <b7471> more university class ,oriented
2020-11-23 17:18:12 <hseg> yup. though s/in particular/also have/
2020-11-23 17:18:34 <ski> @where PIH
2020-11-23 17:18:34 <lambdabot> "Programming in Haskell" by Graham Hutton in 2007-01-15,2016-09-01 at <http://www.cs.nott.ac.uk/~pszgmh/pih.html>
2020-11-23 17:18:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-23 17:18:52 <ski> @where HPFFP
2020-11-23 17:18:52 <lambdabot> "Haskell Programming: from first principles - Pure functional programming without fear or frustration" by Chistopher Allen (bitemyapp),Julie Moronuki at <http://haskellbook.com/>,#haskell-beginners
2020-11-23 17:18:52 <hseg> b7471: https://www.cis.upenn.edu/~cis194/spring13/ is pretty good as well
2020-11-23 17:18:57 <ski> yes
2020-11-23 17:20:43 × mrus quits (~mrus@128.199.6.232) (Remote host closed the connection)
2020-11-23 17:20:48 <ski> hseg : oh, the embedding you used was from ⌜1⌝ to ⌜π⌝ respectively to ⌜ϙ⌝ ?
2020-11-23 17:21:49 → czwartyeon joins (~czwartyeo@77-45-55-99.sta.asta-net.com.pl)
2020-11-23 17:22:22 <hseg> ski: sorry, mixed two unrelated things. firstly you have the enlarging embeddings. but more relevantly, you also can embed n!,m! into n^m! by exponentiation against the identity
2020-11-23 17:22:56 <ski> b7471 : fwiw, i learned using "Haskell: The Craft of Functional Programming" by Simon Thompson
2020-11-23 17:23:24 <hseg> and these embeddings decompose exponentiation and commute with each other (basically because of associativity)
2020-11-23 17:24:44 <ski> @where HTAC
2020-11-23 17:24:44 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
2020-11-23 17:24:48 <ski> @where wikibook
2020-11-23 17:24:48 <lambdabot> http://en.wikibooks.org/wiki/Haskell
2020-11-23 17:27:37 <ski> ϙ ^ π = f ↦ ϙ ∘ f ∘ π = (ϙ ∘) ∘ (∘ π) = (ϙ ^ 1) ∘ (1 ^ π)
2020-11-23 17:27:40 <ski> = (∘ π) ∘ (ϙ ∘) = (1 ^ π) ∘ (ϙ ^ 1)
2020-11-23 17:27:42 <ski> i see
2020-11-23 17:30:15 <ski> b7471 : do you have any particular question, or maybe some code you're struggling with ?
2020-11-23 17:30:16 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds)
2020-11-23 17:30:44 <b7471> ski yes i dont know where to begin
2020-11-23 17:30:52 <b7471> i mean i cant even declare a variable
2020-11-23 17:31:00 <b7471> and we have homework to do
2020-11-23 17:31:19 <ski> x :: Int
2020-11-23 17:31:23 <b7471> i couldnt even install a compiler or interpreter in windows 10 or something like that
2020-11-23 17:31:28 <ski> will declare `x' to be a variable of type `Int'
2020-11-23 17:31:32 <ski> x = 42
2020-11-23 17:31:39 <ski> will define it to be `42'
2020-11-23 17:31:49 <b7471> i am using a online interpreter ripl dot it
2020-11-23 17:31:51 → s00pcan joins (~chris@107.181.165.217)
2020-11-23 17:32:05 <Lycurgus> tell the instructor ur skipping the dumb hassell or haskell or whatever and doin a practical lang instead
2020-11-23 17:32:29 <b7471> we are expected to create a function , that takes 4 arguments
2020-11-23 17:32:54 <b7471> and only if the 4 arguments are the same , the funktion should output: true
2020-11-23 17:32:57 <Lycurgus> do it in one of FP php pkgs, that have currying
2020-11-23 17:33:08 <ski> b7471 : hm. tried <https://www.haskell.org/platform/#windows> ?
2020-11-23 17:33:09 <xerox_> when I try to run the haskell-language-server over ghcup I get this, anybody knows why? I'm stumped https://paste.tomsmeding.com/6zEhhfAi
2020-11-23 17:33:45 <b7471> i cant install chocoletey thing on windows
2020-11-23 17:33:50 <ski> b7471 : hm, something like
2020-11-23 17:33:51 <b7471> there is no setup or something
2020-11-23 17:34:00 hackage resourcet-pool 0.1.0.0 - A small library to convert a Pool into an Acquire https://hackage.haskell.org/package/resourcet-pool-0.1.0.0 (brandonchinn178)
2020-11-23 17:34:06 <ski> allFourEqual x y z w = ..x..y..z..w..
2020-11-23 17:34:23 <b7471> ?
2020-11-23 17:34:38 <koz_> b7471: Chocolatey requires you to use PowerShell. Its site has fairly clear instructions on what you gotta do.
2020-11-23 17:34:40 <Sose> isn't there a Windows installer for Stack atleast? and you could use stack to download and run GHC?
2020-11-23 17:34:57 <Sose> never installed any haskell tools on windows myself tho..
2020-11-23 17:34:58 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-23 17:35:07 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-23 17:35:10 <Uniaika> I think there is indeed a windows installer for stack
2020-11-23 17:35:17 <b7471> Sose you will never be able to
2020-11-23 17:35:20 <maerwald> xerox_: is that an error even?
2020-11-23 17:35:20 <koz_> Perhaps - I don't really recall.
2020-11-23 17:35:21 <b7471> not in this age
2020-11-23 17:35:27 <ski> b7471 : that would be the start of a function `allFourEqual' that accepts four inputs (parameters/arguments), named `x',`y',`z',`w'. then, after the `=' sign, you'd have to fill in a `Bool'ean expression for checking whether they're all the same/equal
2020-11-23 17:35:34 <koz_> b7471: You're literally talking to a minimum of one person who has.
2020-11-23 17:35:38 <koz_> (if not more)
2020-11-23 17:36:41 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-23 17:36:52 × knupfer quits (~Thunderbi@200116b8240c1500510f95f5a248f852.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-23 17:38:31 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-23 17:38:47 × Lycurgus quits (~niemand@98.4.114.74) (Quit: Exeunt)
2020-11-23 17:39:28 × conal quits (~conal@66.115.157.94) (Quit: Computer has gone to sleep.)
←Prev  Next→
Page 1 .. 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 .. 5022

All times are in UTC.