Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 944 945 946 947 948 949 950 951 952 953 954 .. 5022
— 502,152 events total
2020-10-29 21:36:44 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-29 21:36:58 × bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection)
2020-10-29 21:37:05 <monsterchrom> Then again Yield-Example.hs won't make sense either if I plan to "import Yield-Example". Bah stupid languages. Scheme is better in this regard.
2020-10-29 21:37:22 <monsterchrom> Haha I'll take that advice.
2020-10-29 21:38:11 <texasmynsted> monsterchrom: You are learning python to teach Racket?
2020-10-29 21:38:40 hackage Agda 2.6.1.2 - A dependently typed functional programming language and proof assistant https://hackage.haskell.org/package/Agda-2.6.1.2 (AndreasAbel)
2020-10-29 21:39:10 <monsterchrom> More generally, I'm learning programming languages to teach principles of programming languages.
2020-10-29 21:39:21 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-29 21:39:40 <Rembane> monsterchrom: What's your verdict of programming languages so far?
2020-10-29 21:39:40 <monsterchrom> But we use Racket and Haskell to talk about the principles. So it does look like "to teach Racket and Haskell".
2020-10-29 21:40:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-29 21:40:41 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-29 21:40:41 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-29 21:40:41 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-29 21:40:54 <monsterchrom> I don't have strong opinions. I like Haskell myself. But if students learn to deconstruct programming languages a bit and appreciate various features and sacrifices, that's cool for me.
2020-10-29 21:40:59 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-29 21:41:02 → knupfer joins (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de)
2020-10-29 21:41:07 <texasmynsted> Seems to me that Racket and Haskell would be fair better choices for teaching anything than python.
2020-10-29 21:41:26 <Rembane> Unless you want to teach Python of course
2020-10-29 21:41:34 <texasmynsted> why would you want to do that?
2020-10-29 21:41:57 <Rembane> monsterchrom: That sounds like very good learning outcomes
2020-10-29 21:42:18 <dolio> Maybe you should use Ruby instead. Does it still have callCC?
2020-10-29 21:42:20 <Rembane> texasmynsted: It's a very useful language, especially if you want to do some scripting for automating stuff or to do machine learning.
2020-10-29 21:42:37 <texasmynsted> I am not convinced
2020-10-29 21:42:48 <monsterchrom> To some extent I and my colleagues are converging to defining this "principles of programming languages" course to be basically the lambda-the-ultimate papers explained in modern terms and adjusted to 3rd-year CS.
2020-10-29 21:42:48 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-29 21:42:57 <yushyin> useful because of tons of libraries
2020-10-29 21:43:02 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-29 21:43:19 <monsterchrom> Haha I fear Ruby.
2020-10-29 21:43:52 <texasmynsted> seems to me haskell has a fair number its self
2020-10-29 21:44:03 <monsterchrom> 1970 : C :: 1990 : Python
2020-10-29 21:44:42 <monsterchrom> I mean, I know C and Python have very different semantics. But I'm not comparing that.
2020-10-29 21:45:10 <monsterchrom> I'm comparing why people use them despite semantics issues. It's only because "has libraries".
2020-10-29 21:45:11 <texasmynsted> I am mostly joking. I have considered learning python just to be able to help all the people struggling to learn it
2020-10-29 21:45:48 <monsterchrom> and networking effect
2020-10-29 21:45:55 sandcat is now known as jess-o-lantern
2020-10-29 21:46:01 <texasmynsted> I need strict typing to prevent insanity
2020-10-29 21:46:03 → knupfer1 joins (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de)
2020-10-29 21:46:12 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-29 21:46:22 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-29 21:46:23 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-29 21:46:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-29 21:46:30 <dolio> Why do people spend time with elaborate type hacks in GHC instead of helping to make Idris viable? :þ
2020-10-29 21:46:39 <monsterchrom> hehe
2020-10-29 21:46:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-29 21:46:52 <texasmynsted> dolio: hmm. good question
2020-10-29 21:47:04 <monsterchrom> You know what, 1970 : C :: 1990 : Python :: 2020 : Haskell.
2020-10-29 21:47:31 → sagax joins (~sagax_nb@213.138.71.146)
2020-10-29 21:47:44 <monsterchrom> i.e., GHC Haskell enjoys more libraries than Idris does
2020-10-29 21:47:53 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 268 seconds)
2020-10-29 21:48:24 <monsterchrom> Then again, I haven't checked whether there is a version of wreq for Idris.
2020-10-29 21:49:50 × knupfer quits (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds)
2020-10-29 21:49:50 knupfer1 is now known as knupfer
2020-10-29 21:50:04 → mastarija joins (~mastarija@93-138-85-169.adsl.net.t-com.hr)
2020-10-29 21:50:56 <texasmynsted> maybe the ML libraries from python should be ported to other languages.
2020-10-29 21:51:33 <dolio> Most of it isn't even python, is it? They're just python wrappers for C code or something.
2020-10-29 21:51:53 <monsterchrom> Yeah
2020-10-29 21:52:16 → alp_ joins (~alp@2a01:e0a:58b:4920:6800:79d6:f6e9:b658)
2020-10-29 21:52:37 → conal joins (~conal@66.115.157.138)
2020-10-29 21:52:55 × conal quits (~conal@66.115.157.138) (Client Quit)
2020-10-29 21:53:15 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-29 21:53:22 <Rembane> texasmynsted: They definitely can be, but that takes much more time than just using them.
2020-10-29 21:53:29 <hpc> dolio: honestly, most of python is just C
2020-10-29 21:54:54 <Sgeo> So, this is a long shot and basically completely off topic, but: A lot of FRP stuff is inspired by ActiveVRML, right? Does the ActiveVRML control exist anywhere still?
2020-10-29 21:55:03 <dolio> I would imagine the reason things settled on python is that for machine learning you're much less likely to care about language features. You're just scripting the underlying high performance stuff.
2020-10-29 21:56:38 × knupfer quits (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-29 21:58:05 → falafel__ joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-29 21:59:47 → knupfer joins (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de)
2020-10-29 22:00:22 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-29 22:00:22 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-29 22:00:22 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-29 22:01:18 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-29 22:01:43 × texasmynsted quits (~texasmyns@104.140.52.75) (Remote host closed the connection)
2020-10-29 22:02:39 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-29 22:02:39 → texasmynsted joins (~texasmyns@104.140.52.75)
2020-10-29 22:03:04 × texasmynsted quits (~texasmyns@104.140.52.75) (Remote host closed the connection)
2020-10-29 22:03:21 → texasmynsted joins (~texasmyns@104.140.52.75)
2020-10-29 22:03:56 × takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-29 22:05:07 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-29 22:05:47 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d1d4:d989:c09d:31fa)
2020-10-29 22:07:50 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-10-29 22:08:13 <thblt> dolio: that's roughly most of Python use besides scripting, I think :)
2020-10-29 22:09:38 × falafel__ quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 264 seconds)
2020-10-29 22:09:40 hackage aura 3.2.2 - A secure package manager for Arch Linux and the AUR. https://hackage.haskell.org/package/aura-3.2.2 (fosskers)
2020-10-29 22:09:58 × knupfer quits (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds)
2020-10-29 22:13:13 → falafel__ joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-29 22:14:04 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-29 22:16:31 falafel__ is now known as falafel_
2020-10-29 22:18:10 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:d1d4:d989:c09d:31fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 22:18:51 <thblt> (Eg numpy is 33% C)
2020-10-29 22:23:02 × ransom quits (c4264035@gateway/vpn/protonvpn/c4264035) (Ping timeout: 268 seconds)
2020-10-29 22:26:07 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds)
2020-10-29 22:28:10 hackage mock-httpd 1.0.0 - A HTTP server for testing HTTP clients https://hackage.haskell.org/package/mock-httpd-1.0.0 (PeterJones)
2020-10-29 22:28:48 <texasmynsted> hmm. Looks like I got disconnected.
2020-10-29 22:29:03 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-29 22:29:27 → Fuchs joins (~Fuchs@154.13.1.56)
2020-10-29 22:29:47 Fuchs is now known as Guest31792
2020-10-29 22:30:41 → mbomba joins (~mbomba@142.114.9.241)
2020-10-29 22:30:42 <texasmynsted> dolio: I have wondered why people would care about machine learning but not about effective programming.
2020-10-29 22:32:05 <texasmynsted> What would be wrong with using ML and Haskell or ML and Scala. Why ML and python?
←Prev  Next→
Page 1 .. 944 945 946 947 948 949 950 951 952 953 954 .. 5022

All times are in UTC.