Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 .. 5022
— 502,152 events total
2020-11-04 14:07:21 <hekkaidekapus> fendor: There are two other options. 1) Disable the package index in ~/.cabal/config by commenting out the `repository hackage…` stanza. 2) Write `active-repositories: :none` in cabal.project; this requires a bleeding-edge cabal-install.
2020-11-04 14:08:14 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-04 14:10:29 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-11-04 14:11:04 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-11-04 14:11:57 → gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-04 14:12:29 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-04 14:14:39 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-04 14:15:06 → newbies joins (a5100248@165.16.2.72)
2020-11-04 14:15:49 <newbies> Hello!
2020-11-04 14:16:03 <yushyin> hello newbies
2020-11-04 14:16:59 <newbies> i have just got Haskell Platform
2020-11-04 14:17:20 <newbies> where do i start
2020-11-04 14:17:53 <opqdonut> I can plug my course: https://haskell.mooc.fi/
2020-11-04 14:18:13 <opqdonut> (open, free, no signup, no deadlines)
2020-11-04 14:18:57 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-04 14:19:14 × Eason0210 quits (~user@101.85.10.81) (Quit: ERC (IRC client for Emacs 28.0.50))
2020-11-04 14:19:16 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 14:19:23 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-11-04 14:19:28 <newbies> Thanks!
2020-11-04 14:19:35 <newbies> i'm familiar with ML is it the same
2020-11-04 14:20:29 <opqdonut> very similar, but the syntax is a bit different
2020-11-04 14:20:43 <opqdonut> purity is probably the biggest concrete difference
2020-11-04 14:20:46 <opqdonut> followed by laziness
2020-11-04 14:21:08 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-04 14:21:16 × kuribastard quits (~user@ptr-25vy0iakqbc7il70x5a.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-04 14:22:19 <merijn> newbies: Going from ML to Haskell should be fairly easy
2020-11-04 14:22:23 <merijn> @where tutorial
2020-11-04 14:22:23 <lambdabot> http://www.haskell.org/tutorial/
2020-11-04 14:22:42 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-04 14:23:02 <merijn> newbies: The tutorial was written for people coming from (S)ML, so that's probably the shortest intro you can get
2020-11-04 14:23:21 <gtk> Are there still people using ML?
2020-11-04 14:23:34 <merijn> Most of the other texts/books will waste a lot of time on basics you should already get from ML (pattern matching, recursion, etc.)
2020-11-04 14:23:53 <merijn> gtk: Ocaml is an ML dialect and some diehards still use SML :)
2020-11-04 14:24:42 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-04 14:24:53 <gtk> ML syntax is the reason I start learning Haskell. It's just neat and beautiful
2020-11-04 14:25:21 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-04 14:25:58 <merijn> opqdonut: Purity is different, then again most people don't really have difficulty with purity per se as much as they struggle getting used to recursive thinking and ADTs, both of which you also need to learn for ML :p
2020-11-04 14:26:11 → lucasb joins (uid333435@gateway/web/irccloud.com/x-cbmhwogtcotlrzny)
2020-11-04 14:26:17 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-04 14:28:08 <hekkaidekapus> There is also <https://dr-knz.net/haskell-for-ocaml-programmers.html> for a quick introduction to Haskell from an OCaml perspective.
2020-11-04 14:28:45 <merijn> hah
2020-11-04 14:28:50 <merijn> A colleague wrote that :p
2020-11-04 14:30:06 → [n1x]_ joins (~n1x]_@195.206.169.184)
2020-11-04 14:30:09 <hekkaidekapus> \O/
2020-11-04 14:30:14 <hekkaidekapus> Poss, R?
2020-11-04 14:30:36 <merijn> Well, ex-colleague I guess, but yeah
2020-11-04 14:30:42 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-04 14:31:27 <newbies> No [cradle] found for file.hs. Proceeding with implicit cradle
2020-11-04 14:31:54 <newbies> what is this mean
2020-11-04 14:31:58 <newbies> VScode
2020-11-04 14:32:05 <merijn> You're using hls, I guess?
2020-11-04 14:32:13 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-04 14:33:07 <merijn> newbies: Basically, the haskell language server needs to know how to compile your code to typecheck, etc. this config is called a cradle. It's saying you didn't write an explicit one, to it's using an implicit (auto-generated) one
2020-11-04 14:33:45 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922)
2020-11-04 14:33:54 <newbies> where do i have to config it
2020-11-04 14:34:00 hackage less-arbitrary 0.1.0.2 - Linear time testing with variant of Arbitrary class that always terminates. https://hackage.haskell.org/package/less-arbitrary-0.1.0.2 (MichalGajda)
2020-11-04 14:34:08 <merijn> If it works, you don't have to :p
2020-11-04 14:34:30 <newbies> '=D
2020-11-04 14:34:43 <newbies> i just wanted to know
2020-11-04 14:34:45 <merijn> it's basically an info/debug message in case things break/don't work
2020-11-04 14:34:55 <newbies> i see
2020-11-04 14:35:02 <merijn> newbies: https://github.com/mpickering/hie-bios
2020-11-04 14:35:54 <newbies> Thanks
2020-11-04 14:36:17 <yushyin> the implicit cradle never worked for me, not even once.
2020-11-04 14:36:28 <merijn> yushyin: For simple projects it works for me
2020-11-04 14:37:06 <yushyin> and 99% of the time it's just c&p from the cabal file
2020-11-04 14:38:05 <hekkaidekapus> yushyin: You can also `cabal install implicit-hie && gen-hie > hie.yaml`
2020-11-04 14:39:12 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-04 14:39:24 × mmohammadi9812 quits (~mmohammad@2.178.217.171) (Ping timeout: 256 seconds)
2020-11-04 14:40:13 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-04 14:40:59 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-04 14:41:10 <yushyin> hekkaidekapus: thanks for the hint
2020-11-04 14:41:27 <hekkaidekapus> np
2020-11-04 14:41:42 → britva joins (~britva@2a02:aa13:7240:2980:9117:32f5:aa09:6904)
2020-11-04 14:42:28 <tomsmeding> how do people even pronounce 'hie'? as an acronym, eich aye ee? 'hy'? 'hee'?
2020-11-04 14:42:41 → kuribastard joins (~user@ptr-25vy0iakqbc7il70x5a.18120a2.ip6.access.telenet.be)
2020-11-04 14:42:44 <hekkaidekapus> Hi :P
2020-11-04 14:43:09 <tomsmeding> implicit-greeting
2020-11-04 14:45:01 → mmohammadi9812 joins (~mmohammad@2.178.217.171)
2020-11-04 14:45:43 → ystael joins (~ystael@209.6.50.55)
2020-11-04 14:46:50 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-11-04 14:49:09 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-04 14:51:15 × ystael quits (~ystael@209.6.50.55) (Quit: Lost terminal)
2020-11-04 14:51:18 × alx741 quits (~alx741@186.178.110.193) (Ping timeout: 272 seconds)
2020-11-04 14:54:02 → ystael joins (~ystael@209.6.50.55)
2020-11-04 14:54:21 × gienah quits (~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer)
2020-11-04 14:54:42 <__monty__> tomsmeding: The latter for me, probably because of mother tongue induced brain damage.
2020-11-04 14:55:10 <merijn> ;)
2020-11-04 14:55:29 <merijn> __monty__: Like always typo-ing photos as photo's? ;)
2020-11-04 14:55:57 → gienah joins (~mwright@gentoo/developer/gienah)
2020-11-04 14:56:54 <tomsmeding> __monty__: exactly the same for me :p
2020-11-04 14:57:02 × ColdRush quits (~coldrush@4e69b241.skybroadband.com) (Ping timeout: 264 seconds)
2020-11-04 14:57:21 <__monty__> merijn: I do stumble but don't usually make that error. Commas are what trip me up the most.
2020-11-04 14:58:06 → christo joins (~chris@81.96.113.213)
2020-11-04 14:58:11 <merijn> I mess up ' all the time in plurals, and of course a lot of "spatie fouten" in the reverse direction :p
2020-11-04 14:59:13 <hekkaidekapus> And if the brain damage is French-induced, the ‘h’ could be unspoken, landing you at ie, id est in Latin :D
2020-11-04 14:59:14 <tomsmeding> the people that use spaces correctly in NL can be put together in one building even with corona separation rules
2020-11-04 14:59:24 <merijn> tomsmeding: :p
2020-11-04 15:00:02 × [n1x]_ quits (~n1x]_@195.206.169.184) ()
2020-11-04 15:00:47 → obihann joins (~jhann@156.34.160.69)
←Prev  Next→
Page 1 .. 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 .. 5022

All times are in UTC.