Logs: freenode/#haskell
| 2020-11-14 13:34:50 | × | hiredman quits (~hiredman@volyova.ec2.thelastcitadel.com) (*.net *.split) |
| 2020-11-14 13:34:50 | × | ViCi quits (daniel@10PLM.ro) (*.net *.split) |
| 2020-11-14 13:34:50 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (*.net *.split) |
| 2020-11-14 13:34:50 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (*.net *.split) |
| 2020-11-14 13:34:50 | × | aib quits (~aib@unaffiliated/aib42) (*.net *.split) |
| 2020-11-14 13:34:50 | × | pharaun quits (~pharaun@static.88-198-62-245.clients.your-server.de) (*.net *.split) |
| 2020-11-14 13:34:50 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (*.net *.split) |
| 2020-11-14 13:34:50 | × | ring0` quits (~ringo@unaffiliated/ring0/x-8667941) (*.net *.split) |
| 2020-11-14 13:34:50 | × | e2 quits (e2@sponsored.by.bnc4you.xyz) (*.net *.split) |
| 2020-11-14 13:34:50 | × | asm89 quits (~asm89@unaffiliated/asm89) (*.net *.split) |
| 2020-11-14 13:34:50 | × | absence quits (tZ0t25MWsB@hildring.pvv.ntnu.no) (*.net *.split) |
| 2020-11-14 13:34:50 | × | abuss quits (~abuss@cryptarch.net) (*.net *.split) |
| 2020-11-14 13:34:50 | × | Chobbes quits (~Chobbes@unaffiliated/chobbes) (*.net *.split) |
| 2020-11-14 13:34:50 | × | chirpsalot quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (*.net *.split) |
| 2020-11-14 13:34:50 | × | kqr quits (~kqr@vps.xkqr.org) (*.net *.split) |
| 2020-11-14 13:34:50 | × | rookie101 quits (~rookie@207.154.204.166) (*.net *.split) |
| 2020-11-14 13:34:50 | × | srk quits (sorki@unaffiliated/srk) (*.net *.split) |
| 2020-11-14 13:34:50 | × | hyperfekt quits (end@bnc.hyperfekt.net) (*.net *.split) |
| 2020-11-14 13:34:50 | jrm2 | is now known as jrm |
| 2020-11-14 13:34:56 | → | micro joins (~micro@unaffiliated/micro) |
| 2020-11-14 13:34:58 | → | Papa joins (~papa@unaffiliated/papa) |
| 2020-11-14 13:35:01 | → | hyperfekt joins (end@bnc.hyperfekt.net) |
| 2020-11-14 13:35:03 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2020-11-14 13:35:04 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 2020-11-14 13:35:05 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2020-11-14 13:35:06 | → | sajith_ joins (~sajith@fsf/member/nonzen) |
| 2020-11-14 13:35:06 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 2020-11-14 13:35:08 | → | aib joins (~aib@unaffiliated/aib42) |
| 2020-11-14 13:35:09 | → | noecho joins (~noecho@static.143.42.203.116.clients.your-server.de) |
| 2020-11-14 13:35:11 | → | srk joins (sorki@unaffiliated/srk) |
| 2020-11-14 13:35:13 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2020-11-14 13:35:15 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-11-14 13:35:16 | → | tv joins (~tv@unaffiliated/tv) |
| 2020-11-14 13:35:17 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2020-11-14 13:35:24 | → | asm89 joins (~asm89@unaffiliated/asm89) |
| 2020-11-14 13:35:25 | → | rookie101 joins (~rookie@207.154.204.166) |
| 2020-11-14 13:35:29 | → | e2 joins (e2@sponsored.by.bnc4you.xyz) |
| 2020-11-14 13:35:33 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-11-14 13:35:43 | → | Chobbes joins (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 2020-11-14 13:35:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-14 13:35:46 | <hoppfull> | Hello, I'm studying mathematics in university (first year) and I'm not impressed by MATLAB. It's undoubtedly an excellent ecosystem but an ugly imperative language. Implementing algorithms in Haskell is usually a 1:1 correspondence to the mathematical equations which is impressive. I wonder if there are any good libraries that can replace MATLAB |
| 2020-11-14 13:35:47 | <hoppfull> | for an aspiring mathematician. It should have functions for working with linear optimization, differentiation and integrals and probably more stuff that I do not yet know about |
| 2020-11-14 13:35:49 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2020-11-14 13:35:52 | → | Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com) |
| 2020-11-14 13:35:56 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-11-14 13:35:57 | → | abuss joins (~abuss@cryptarch.net) |
| 2020-11-14 13:35:59 | → | hiredman joins (~hiredman@volyova.ec2.thelastcitadel.com) |
| 2020-11-14 13:36:00 | → | absence joins (IfjEGObaTi@hildring.pvv.ntnu.no) |
| 2020-11-14 13:36:05 | haasn` | is now known as haasn |
| 2020-11-14 13:36:08 | → | chirpsalot joins (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 2020-11-14 13:36:14 | → | ViCi joins (daniel@10PLM.ro) |
| 2020-11-14 13:36:21 | → | pharaun joins (~pharaun@static.88-198-62-245.clients.your-server.de) |
| 2020-11-14 13:36:25 | → | pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662) |
| 2020-11-14 13:36:56 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 2020-11-14 13:37:07 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 2020-11-14 13:37:32 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2020-11-14 13:37:43 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-pdkyglnyuzyuczpm) (*.net *.split) |
| 2020-11-14 13:37:43 | × | ComaGrayce[m] quits (commagrays@gateway/shell/matrix.org/x-nnbisshxdkkhfidp) (*.net *.split) |
| 2020-11-14 13:37:43 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-cvcnmgziczthsczq) (*.net *.split) |
| 2020-11-14 13:37:43 | × | hnOsmium0001[m] quits (hnosmium00@gateway/shell/matrix.org/x-yokgaxxacysfejtl) (*.net *.split) |
| 2020-11-14 13:37:43 | × | mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-botdfmrbdonncklk) (*.net *.split) |
| 2020-11-14 13:37:43 | × | chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-ndvsbnxnyzxiyeae) (*.net *.split) |
| 2020-11-14 13:37:43 | × | texasmynsted[m]1 quits (mmynstedko@gateway/shell/matrix.org/x-aplarrwfhrontyaw) (*.net *.split) |
| 2020-11-14 13:37:43 | × | Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-mphbftzdgfzvvpfv) (*.net *.split) |
| 2020-11-14 13:37:43 | × | kadoban quits (kadobanmat@gateway/shell/matrix.org/x-jymgxfawqsikjoeo) (*.net *.split) |
| 2020-11-14 13:37:43 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-gqnjqsortrudzklr) (*.net *.split) |
| 2020-11-14 13:37:43 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-akfduhrryrjwyhil) (*.net *.split) |
| 2020-11-14 13:37:43 | × | parisienne quits (sid383587@gateway/web/irccloud.com/x-tmgltsvzoxldmfky) (*.net *.split) |
| 2020-11-14 13:37:43 | × | higherorder quits (sid185221@gateway/web/irccloud.com/x-nmquvmgklsxevfcs) (*.net *.split) |
| 2020-11-14 13:37:43 | × | integral quits (sid296274@p3m/member/integral) (*.net *.split) |
| 2020-11-14 13:37:43 | × | terrorjack quits (~terrorjac@static.23.111.201.195.clients.your-server.de) (*.net *.split) |
| 2020-11-14 13:37:43 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-geweeqvbhzzqlkfi) (*.net *.split) |
| 2020-11-14 13:37:44 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-ctyuuwytdqmcprct) (*.net *.split) |
| 2020-11-14 13:37:44 | × | liszt_ quits (sid336875@gateway/web/irccloud.com/x-porgwtafmjhpigsw) (*.net *.split) |
| 2020-11-14 13:37:44 | × | zymurgy quits (~zymurgy@li607-220.members.linode.com) (*.net *.split) |
| 2020-11-14 13:37:44 | × | darthThorik quits (sid39589@gateway/web/irccloud.com/x-tegdxlrjfjitucof) (*.net *.split) |
| 2020-11-14 13:37:44 | × | `slikts quits (~nelabs@wikipedia/reinis) (*.net *.split) |
| 2020-11-14 13:37:44 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-fanmypdregedhpxu) (*.net *.split) |
| 2020-11-14 13:37:44 | × | cvlad- quits (sid203065@gateway/web/irccloud.com/x-kgwwtdcwktijsmay) (*.net *.split) |
| 2020-11-14 13:37:44 | × | Wojciech_K quits (~wojciechk@2001:41d0:a:5be4::449) (*.net *.split) |
| 2020-11-14 13:37:44 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (*.net *.split) |
| 2020-11-14 13:37:44 | × | megaTherion quits (~therion@unix.io) (*.net *.split) |
| 2020-11-14 13:37:44 | × | suzu_ quits (~scaleuser@2001:bc8:1824:43f::1) (*.net *.split) |
| 2020-11-14 13:37:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-11-14 13:37:44 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2020-11-14 13:37:44 | → | jchia joins (~jchia@58.32.36.109) |
| 2020-11-14 13:37:44 | → | arahael joins (~arahael@125-209-166-120.tpgi.com.au) |
| 2020-11-14 13:37:44 | → | TMA joins (tma@twin.jikos.cz) |
| 2020-11-14 13:37:44 | → | jdt joins (~jdt@208.85.233.130) |
| 2020-11-14 13:37:44 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2020-11-14 13:37:44 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2020-11-14 13:37:44 | → | qz joins (~quetzal@li272-85.members.linode.com) |
| 2020-11-14 13:37:44 | → | [exa] joins (exa@unaffiliated/exa/x-5381537) |
| 2020-11-14 13:37:44 | → | ring0` joins (~ringo@unaffiliated/ring0/x-8667941) |
| 2020-11-14 13:37:44 | → | kqr joins (~kqr@vps.xkqr.org) |
| 2020-11-14 13:37:46 | × | star_cloud quits (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Ping timeout: 249 seconds) |
| 2020-11-14 13:38:11 | × | arahael quits (~arahael@125-209-166-120.tpgi.com.au) (Max SendQ exceeded) |
| 2020-11-14 13:38:14 | → | sujeet joins (sujeet@unaffiliated/freeboson) |
| 2020-11-14 13:38:16 | <Axman6> | Feuermagier: Since it probably clear from the explanation you got, if you have xs :: [(String, Int)] and you pattern match on xs, say like case xs of [(s,i)] -> ... then you are matching on a string with exactly one tuple of a String and an Int. if uou want to extract all the strings from xs, you can use map :: (a -> b) -> [a] -> [b] with fst :: (a,b) -> a, or in your case fst has type (String, Int) -> String. so map fst :: [(a,b)] -> [a] or |
| 2020-11-14 13:38:16 | <Axman6> | [(String,Int)] -> [String] |
All times are in UTC.