Logs: liberachat/#haskell
| 2021-07-20 10:37:03 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-20 10:37:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 10:38:42 | → | Guest26 joins (~Guest26@114.244.68.126) |
| 2021-07-20 10:40:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 10:40:40 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 10:41:06 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 240 seconds) |
| 2021-07-20 10:41:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-20 10:43:36 | → | uniproj joins (~textual@2a00:23c5:e702:3100:6917:5743:b08c:e939) |
| 2021-07-20 10:44:35 | <uniproj> | Hi everyone, has anybody here studied haskell at university? |
| 2021-07-20 10:45:07 | <arjun> | if only lol |
| 2021-07-20 10:45:28 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-20 10:45:35 | <Taneb> | I did |
| 2021-07-20 10:45:39 | <Taneb> | But I already knew it |
| 2021-07-20 10:45:39 | <arjun> | my uni thought C, C++ and Java would be a good use of our time |
| 2021-07-20 10:45:57 | <arahael> | Hmm, I think one of my problems is my cabal file was also specified with `cabal-version: >=1.10`, I've now changed this to `cabal-version: 2.4`, the highest version I can find that I think my cabal supports. But it's still an unknown field: "build-tool-depends". |
| 2021-07-20 10:46:19 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-20 10:47:47 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-20 10:48:33 | <uniproj> | I need to come up with an idea for my final year project and I'd like to use Haskell if possible but I'm not sure where to start |
| 2021-07-20 10:48:49 | <arahael> | Oh, that's curious: If I move it from the 'custom-setup' section to the executable section, build-tool-depends suddenly stops resulting in an error. (I don't know if it is ignored, though) |
| 2021-07-20 10:49:18 | <fendor> | We learned Haskell in our third semester |
| 2021-07-20 10:49:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-20 10:49:25 | <arjun> | where should i start? :- getting a PHD in category theory ofc (sarcasm) |
| 2021-07-20 10:49:40 | <arahael> | uniproj: I think picking haskell for a final year project is a bit risky. Perhaps do a few sample projects in it first? |
| 2021-07-20 10:50:03 | <arahael> | uniproj: I mean, if you've never used haskell before. |
| 2021-07-20 10:50:35 | <arjun> | i remember i dropped a final year project making robots with node.js. too risky |
| 2021-07-20 10:50:51 | <uniproj> | We were taught fp in 1st and 2nd year, 2nd year with Haskell |
| 2021-07-20 10:50:55 | <arjun> | made a SaaS in ruby on rails instead. passed EZ |
| 2021-07-20 10:51:54 | <arjun> | uniproj: that's an interesting take. how does it usually turn out for students? |
| 2021-07-20 10:52:12 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 255 seconds) |
| 2021-07-20 10:52:39 | <arjun> | like how do they manage when they invariable are faced with some python , c++, java etc? |
| 2021-07-20 10:52:48 | <arjun> | invariably* |
| 2021-07-20 10:53:10 | <uniproj> | fp was just one module each year, java was the main language |
| 2021-07-20 10:53:27 | <arjun> | i see |
| 2021-07-20 10:53:29 | <uniproj> | one thing I was surprised about with uni was how little programming we did in 1st/2nd year |
| 2021-07-20 10:53:47 | <arjun> | 1st year is a high school recap |
| 2021-07-20 10:54:02 | <arjun> | and to give you a little time to get adjusted to "college and stuff" |
| 2021-07-20 10:54:25 | <uniproj> | yeah for sure |
| 2021-07-20 10:54:50 | <uniproj> | thing is now that I've got a chance to do a lot of programming, I'd like to do it in Haskell if I can |
| 2021-07-20 10:56:20 | <arjun> | since it IS tought to you in college, it should be alright given professors and mentors / supervisors should already by familiar with FP and haskell |
| 2021-07-20 10:56:51 | <arjun> | at many places where FP is not tought, that's a hard sell |
| 2021-07-20 10:57:43 | <arjun> | since you asked (where to start) it would first be selecting a project to make |
| 2021-07-20 10:58:12 | <arjun> | and then chosing your mentor / supervisor / person you'd do the project under |
| 2021-07-20 10:58:53 | <arjun> | you could see if you can also team up with other students into doing a group project (mine allowed groups of upto 4 people) |
| 2021-07-20 10:59:01 | <uniproj> | I did have a supervisor who suggested a type checker for a type theory but a) that was too hard and b) he's left now |
| 2021-07-20 10:59:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-20 10:59:56 | <arjun> | then you should have a new supervisor assigned i reckon? |
| 2021-07-20 11:01:16 | <uniproj> | the project lead has basically said to choose a project and he'll assign a supervisor |
| 2021-07-20 11:01:40 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 2021-07-20 11:02:01 | <arjun> | that really is for you to choose : P |
| 2021-07-20 11:02:50 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-20 11:02:51 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-20 11:03:03 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-20 11:03:22 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-20 11:05:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 11:06:48 | <arahael> | I'm wondering if there's an error in the example foo-bar-proto.cabal file in https://github.com/google/proto-lens, because that "build-tool-depends" is absolutely an error. |
| 2021-07-20 11:07:07 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-20 11:07:31 | <dminuoso> | arahael: Im really not sure what your point was there, by the way. |
| 2021-07-20 11:09:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-20 11:12:18 | <arahael> | dminuoso: I'm just not sure how to bootstrap my project to using all this, and I was initially confused by the direct links to specific files in proto-lens. (Which IS a completely different package). |
| 2021-07-20 11:13:08 | <arahael> | dminuoso: Also, you've been contradicting the documentation of proto-lens, which says I do infact need to install protoc. |
| 2021-07-20 11:13:37 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-20 11:13:39 | <arahael> | dminuoso: On top of that, it seems my cabal project was using an ancient cabal-version, despite using newer tools and newer libraries. |
| 2021-07-20 11:13:54 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-20 11:14:14 | <arahael> | dminuoso: To give you an idea of where I am in the project: I don't have .proto files yet, nor do I have protoc installed. |
| 2021-07-20 11:14:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-20 11:15:55 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 11:16:25 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-20 11:17:22 | <arahael> | dminuoso: My interpretation of all this so far is that you're probably right and I might not actually need protoc at all; but I've not quite yet gotten past the 'build-tool-depends' issue either. The project is not using yaml, it's just pure cabal. |
| 2021-07-20 11:17:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-20 11:21:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-20 11:22:20 | × | azeem quits (~azeem@62.19.162.48) (Ping timeout: 256 seconds) |
| 2021-07-20 11:22:22 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-20 11:23:17 | → | azeem joins (~azeem@62.19.162.48) |
| 2021-07-20 11:23:33 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-20 11:24:05 | <arahael> | I've just created a new cabal project using `cabal init --cabal-version=2.4 --license=NONE -p myfirstapp` |
| 2021-07-20 11:24:16 | <arahael> | And have made edits to teh cabal file as described in the readme.md file: |
| 2021-07-20 11:24:22 | <arahael> | https://gist.github.com/arafangion/4649c7ddaae805ff9f906107dc89d641 |
| 2021-07-20 11:24:47 | <arahael> | When running `cabal build`, it shows: Warning: myfirstapp.cabal:23:3: Unknown field: "build-tool-depends" |
| 2021-07-20 11:27:12 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-20 11:28:06 | → | yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-07-20 11:29:15 | <arahael> | (Does that make sense yet? I'm not really doing a good job of explaining these things... :( ) |
| 2021-07-20 11:29:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-20 11:30:46 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 11:32:28 | <yin[m]> | are arguments in lambdas irrefutable? |
| 2021-07-20 11:39:20 | × | acidjnk quits (~acidjnk@p200300d0c72b9588c508b842a8b97de2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-20 11:42:54 | → | MidAutumnMoon90 joins (~MidAutumn@user/midautumnmoon) |
| 2021-07-20 11:45:10 | → | argento joins (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-07-20 11:45:45 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Ping timeout: 255 seconds) |
| 2021-07-20 11:45:45 | MidAutumnMoon90 | is now known as MidAutumnMoon9 |
| 2021-07-20 11:47:58 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-20 11:49:00 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-07-20 11:49:07 | → | newtoliberachat joins (~xyz@49.206.29.212) |
| 2021-07-20 11:52:15 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-20 11:52:19 | × | yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-20 11:52:51 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-20 11:53:30 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-07-20 11:54:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 11:55:20 | toms__ | is now known as toms |
| 2021-07-20 11:57:32 | → | dunkeln_ joins (~dunkeln@188.71.231.232) |
| 2021-07-20 11:58:52 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
All times are in UTC.