| crazyrk | like |
| Pseudonym | stepcut: I'm all ears. |
| crazyrk | exec ghc.exe -o hello hello.hs with hello.hs in the same dir of ghci ? |
| Pseudonym | You don't need the exec. |
| crazyrk | well k |
| dibblego | crazyrk, no, the command prompt, just type ghc ... |
| Pseudonym | crazyrk: ghc.exe should be somewhere on your $PATH. As should ghci. |
| dibblego | s/$PATH/%PATH% |
| Pseudonym | Err... yeah. |
| crazyrk | well |
| Pseudonym | PATH, anyway. |
| crazyrk | ok let me try |
| Pseudonym | You can check by typing "env" at the command prompt. Look for the PATH line. |
| dibblego | also, echo %PATH% |
| stepcut | Pseudonym: well, it all started when I tried to figure out what I should name this function: someFunction :: (Functor f, Functor g) => (f a -> f b) -> (g a -> g b) |
| crazyrk | k i did it |
| Pseudonym | stepcut: superNaturalTransformation |
| crazyrk | but it didnt create a .exe like hello.exe, as its saying on the website |
| dibblego | what did it do? |
| stepcut | Pseudonym: would that be similar to a Natural Transformation from category theory ? |
| Pseudonym | ?free someFunction :: (F a -> F b) -> (G a -> G b) |
| lambdabot | $map_F g . h = k . $map_F f => $map_G g . someFunction h = someFunction k . $map_G f |
| Pseudonym | Woo. |
| sorear | ghc.exe -o hello.exe hello.hs maybe? |
| crazyrk | it says something like: Compiling main |
| sorear | yeah |
| crazyrk | k a sec let me try |
| dibblego | sorear, try what sorear said |
| sorear | should create .o and .hi files dibblego: why? |
| Pseudonym | stepcut: It's actually a mapping between natural transformations. A natural transformation is a mapping between functors. |