Logs: freenode/#haskell
| 2020-10-19 19:47:41 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2020-10-19 19:49:16 | <hyperisco> | I am not aware of ghci making special inferences for IO. I am only aware of ghci executing an IO value if you give it one and Show the result, rather than trying to Show the IO value |
| 2020-10-19 19:49:32 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-19 19:50:19 | <crestfallen> | hyperisco: how is that different from : λ> Just ((:) 4) <*> (pure []) |
| 2020-10-19 19:50:31 | <hyperisco> | what am I comparing to? |
| 2020-10-19 19:50:34 | <geekosaur> | the rule IIRC is that if it's given an expression of type (Monad m, Show a) => m a, it instantiates m as IO |
| 2020-10-19 19:50:52 | <hyperisco> | is that ghci particularly or is that a default? |
| 2020-10-19 19:51:00 | <geekosaur> | ghci specifically |
| 2020-10-19 19:51:13 | <hyperisco> | okay |
| 2020-10-19 19:51:21 | → | gattytto joins (b33e397e@179.62.57.126) |
| 2020-10-19 19:51:29 | <hyperisco> | > pure 3 |
| 2020-10-19 19:51:31 | <lambdabot> | error: |
| 2020-10-19 19:51:31 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M791473534142... |
| 2020-10-19 19:51:31 | <lambdabot> | prevents the constraint ‘(Show (f0 Integer))’ from being solved. |
| 2020-10-19 19:51:46 | <hyperisco> | maybe not lambdabot, though I thought it was based on ghci |
| 2020-10-19 19:51:53 | → | scratchy_beard joins (~doug@cpc110383-king13-2-0-cust408.19-1.cable.virginm.net) |
| 2020-10-19 19:52:05 | <geekosaur> | > return 3 |
| 2020-10-19 19:52:08 | <lambdabot> | error: |
| 2020-10-19 19:52:08 | <lambdabot> | • Ambiguous type variable ‘m0’ arising from a use of ‘show_M686074374140... |
| 2020-10-19 19:52:08 | <lambdabot> | prevents the constraint ‘(Show (m0 Integer))’ from being solved. |
| 2020-10-19 19:52:14 | <hyperisco> | works from the CLI though |
| 2020-10-19 19:52:14 | <monochrom> | Try yahb, real ghci |
| 2020-10-19 19:52:19 | <gattytto> | hello! |
| 2020-10-19 19:52:27 | <geekosaur> | yeh, llambdabot is not ghci |
| 2020-10-19 19:52:32 | <monochrom> | lambdabot is more like hint |
| 2020-10-19 19:52:42 | <geekosaur> | % return 3 |
| 2020-10-19 19:52:42 | <yahb> | geekosaur: ; <interactive>:86:8: warning: [-Wtype-defaults]; * Defaulting the following constraints to type `Integer'; (Num a0) arising from the literal `3' at <interactive>:86:8; (Show a0) arising from a use of `print' at <interactive>:86:1-8; * In the first argument of `return', namely `3'; In the first argument of `GHC.GHCi.ghciStepIO :: forall a. IO a -> IO a', namely `(return 3)' |
| 2020-10-19 19:52:44 | <monochrom> | err no, not hint, mueval |
| 2020-10-19 19:52:46 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 2020-10-19 19:53:06 | <gattytto> | I came to tell you all that Haskell is now officially part of Eclipse Che cloud-native WEB IDE :D in 3 versions: 8.8.4, 8.10.1 and 8.10.2 |
| 2020-10-19 19:53:24 | <hyperisco> | \o/ |
| 2020-10-19 19:53:49 | <gattytto> | I'm also here to ask for demo projects for all those 3 versions that can be useful for newbies to the haskell |
| 2020-10-19 19:53:52 | <monochrom> | I like Eclipse but I don't want the inefficiency implied by "cloud" and "web". |
| 2020-10-19 19:54:02 | <gattytto> | because my search got me quite outdated ones |
| 2020-10-19 19:54:34 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds) |
| 2020-10-19 19:54:38 | <crestfallen> | hyperisco: seriously should I delete this "lesson" that I got somewhere online? http://ix.io/2BhD |
| 2020-10-19 19:54:47 | <hyperisco> | I am speculating it is based on wasm |
| 2020-10-19 19:54:56 | <geekosaur> | anyway it works in yahb, and specifically requires Monad not Applicative |
| 2020-10-19 19:55:03 | <gattytto> | monochrom cloud means that all the haskell stuff resides in a docker sidecar with about 3GB's of mem and web means all the "ide" related stuff is rendered (not executed) within the browser's scope |
| 2020-10-19 19:55:40 | <monochrom> | You are confirming said inefficiency. |
| 2020-10-19 19:55:51 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-10-19 19:56:03 | <geekosaur> | monochrom, may I remind you of the dancing bear? |
| 2020-10-19 19:56:10 | <crestfallen> | should I forget about @[] and just be happy that it is explicit rather than inferred by ghci? |
| 2020-10-19 19:56:12 | <hyperisco> | crestfallen, I don't read anything wrong with it, though it is a bit threadbare for a beginner |
| 2020-10-19 19:56:20 | <monochrom> | What is dancing bear? |
| 2020-10-19 19:56:33 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-19 19:56:44 | <gattytto> | it runs quite nice in a 1GB ram tablet monochrom |
| 2020-10-19 19:56:49 | <geekosaur> | "the amazing thing about a dancing bear is not how gracefully it dances, but that it dances at all" |
| 2020-10-19 19:56:57 | <monochrom> | haha |
| 2020-10-19 19:57:19 | <crestfallen> | yeah thanks hyperisco I made the notes from something online I didn't understand initially. so it turned out threadbare :) |
| 2020-10-19 19:57:23 | <hyperisco> | crestfallen, what are you trying to learn from it? |
| 2020-10-19 19:57:34 | <gattytto> | now I'm looking for nice and noob ready examples to include in the ide, could you give me some ideas / links? |
| 2020-10-19 19:58:11 | <hyperisco> | oh these are your notes? well I don't read anything wrong with your notes… not sure what the issue is |
| 2020-10-19 19:58:18 | <monochrom> | I suppose I do support programmers limiting themselves to tablets. |
| 2020-10-19 19:58:28 | × | Varis quits (~Tadas@unaffiliated/varis) (Client Quit) |
| 2020-10-19 19:58:33 | <hyperisco> | possibly we're getting hung up on terminology |
| 2020-10-19 19:58:47 | <crestfallen> | hyperisco: every step .. beginning with > :set -XTypeApplications in ghci, |
| 2020-10-19 19:58:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-19 19:59:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-19 19:59:15 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2020-10-19 19:59:47 | <hyperisco> | can you ask the question again because I think I'm lost |
| 2020-10-19 19:59:48 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-10-19 19:59:53 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-10-19 19:59:57 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 20:00:09 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-19 20:00:13 | × | kish quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 2020-10-19 20:00:39 | × | Varis quits (~Tadas@unaffiliated/varis) (Client Quit) |
| 2020-10-19 20:01:19 | <monochrom> | You know, question asking is a monadic art. Your next question depends heavily on the answer you get for the previous question. |
| 2020-10-19 20:01:33 | × | fre quits (~freusque@104.238.190.229) (Quit: fre: znc bye) |
| 2020-10-19 20:01:41 | <geekosaur> | monochrom, a tablet would be a step up from what I'm currently running on. Except this has a real keyboard fsvo. |
| 2020-10-19 20:01:44 | <crestfallen> | hyperisco: if you could show it to me in a yahb session, like loading the thing and writing and expression after you've set (and please show me how) pure @[] ((*),(+)) or similar |
| 2020-10-19 20:01:52 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-19 20:01:58 | <crestfallen> | writing *an expression |
| 2020-10-19 20:02:05 | <monochrom> | adding a keyboard is OK |
| 2020-10-19 20:02:08 | <gattytto> | geekosaur my POC is a tablet insterted in a bluetooth keyboard that includes a mousemad |
| 2020-10-19 20:02:14 | <gattytto> | mousepad* |
| 2020-10-19 20:02:25 | <hyperisco> | crestfallen, do you have the Haskell Platform installed? or can you otherwise run ghci? |
| 2020-10-19 20:02:27 | → | fre joins (~freusque@104.238.190.229) |
| 2020-10-19 20:02:37 | <crestfallen> | yeah |
| 2020-10-19 20:02:37 | <monochrom> | I'm going for the 5-inch screen so programmers don't just assume "users have 40-inch 4K screens" |
| 2020-10-19 20:02:44 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-10-19 20:02:54 | <hyperisco> | crestfallen, okay, then first you run the command ghci to start it |
| 2020-10-19 20:03:03 | <crestfallen> | thanks! |
| 2020-10-19 20:03:17 | <crestfallen> | :) |
| 2020-10-19 20:03:21 | <hyperisco> | that will bring you to a prompt, and there you can type in whatever expression you want |
| 2020-10-19 20:04:02 | <hyperisco> | also ghci commands like :t, :set, :help, etc, and statements like import Data.List |
| 2020-10-19 20:04:07 | <monochrom> | Wait what are you running on such that it is a step down from even a tablet? VT100? |
| 2020-10-19 20:04:21 | <crestfallen> | the only thing I know how to do is to check the types , as in that paste |
| 2020-10-19 20:04:22 | <monochrom> | 300 baud modem? :) |
| 2020-10-19 20:04:26 | <crestfallen> | hyperisco: ^ |
| 2020-10-19 20:04:35 | <hyperisco> | as you import things the prompt will become longer, but you can set it to whatever you want with :set prompt "λ> " for example |
| 2020-10-19 20:05:12 | <hyperisco> | if you want to evaluate an expression you just put in the expression |
| 2020-10-19 20:05:14 | <hyperisco> | > 1 + 2 |
| 2020-10-19 20:05:16 | <lambdabot> | 3 |
| 2020-10-19 20:05:38 | <crestfallen> | hyperisco: sorry we are not communicating. very sorry. I can use ghci |
| 2020-10-19 20:05:44 | <gattytto> | or sum([1..10]) ? |
| 2020-10-19 20:06:32 | <hyperisco> | okay, well, I am struggling to understand what question you are asking |
| 2020-10-19 20:07:08 | → | rprije joins (~rprije@110-175-117-18.tpgi.com.au) |
| 2020-10-19 20:07:19 | → | skami joins (~user@24.225.186.176) |
| 2020-10-19 20:07:22 | × | knupfer quits (~Thunderbi@200116b82c4507005d2376b981a68d64.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
All times are in UTC.