$ cat /etc/os-release
NAME="Ubuntu"
VERSION="20.04.2 LTS (Focal Fossa)"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu 20.04.2 LTS"
VERSION_ID="20.04"

curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.38.0/install.sh | bash

export NVM_DIR="$([ -z "${XDG_CONFIG_HOME-}" ] && printf %s "${HOME}/.nvm" || printf %s "${XDG_CONFIG_HOME}/nvm")"
[ -s "$NVM_DIR/nvm.sh" ] && \. "$NVM_DIR/nvm.sh" # This loads nvm

$ source .bashrc
$ nvm --version
0.38.0

$ nvm install node
Downloading and installing node v15.14.0...
Downloading https://nodejs.org/dist/v15.14.0/node-v15.14.0-linux-x64.tar.xz...
################################################################################################################# 100.0%
Computing checksum with sha256sum
Checksums matched!
Now using node v15.14.0 (npm v7.7.6)
Creating default alias: default -> node (-> v15.14.0)

$ node --version
v15.14.0
$ npm --version
7.7.6

$ npm install -g purescript

npm ERR! [ FAILURE ] Verify the prebuilt binary works correctly
npm ERR! Error: Command failed: /home/*****/.nvm/versions/node/v15.14.0/lib/node_modules/purescript/purs.bin --version
npm ERR! /home/*/.nvm/versions/node/v15.14.0/lib/node_modules/purescript/purs.bin: error while loading shared libraries: libtinfo.so.5: cannot open shared object file: No such file or directory

$ sudo apt update
$ sudo apt install libtinfo5

$ npm install -g purescript

$ purs --version
0.14.0

$ purs
Usage: purs COMMAND
  The PureScript compiler and tools

Available options:
  --version                Show the version number
  -h,--help                Show this help text

Available commands:
  bundle                   Bundle compiled PureScript modules for the browser
  compile                  Compile PureScript source files
  docs                     Generate documentation from PureScript source files
                           in a variety of formats, including Markdown and HTML
  graph                    Module dependency graph
  hierarchy                Generate a GraphViz directed graph of PureScript type
                           classes
  ide                      Start or query an IDE server process
  publish                  Generates documentation packages for upload to
                           Pursuit
  repl                     Enter the interactive mode (PSCi)

For help using each individual command, run `purs COMMAND --help`. For example,
`purs compile --help` displays options specific to the `compile` command.

purs 0.14.0

$ npm install -g spago
$ spago --version
0.20.0

$ mkdir purs-project
$ cd purs-project
$ spago init
[info] Initializing a sample project or migrating an existing one..
[info] Updating package-set tag to "psc-0.14.0-20210409"
Fetching the new one and generating hashes.. (this might take some time)
[info] Generating new hashes for the package set file so it will be cached.. (this might take some time)
[info] Set up a local Spago project.
[info] Try running `spago build`

$ tree
.
├── packages.dhall
├── spago.dhall
├── src
│   └── Main.purs
└── test
    └── Main.purs

2 directories, 4 files

$ tree -a
.
├── .gitignore
├── .purs-repl
├── packages.dhall
├── spago.dhall
├── src
│   └── Main.purs
└── test
    └── Main.purs

/bower_components/
/node_modules/
/.pulp-cache/
/output/
/generated-docs/
/.psc-package/
/.psc*
/.purs*
/.psa*
/.spago

import Prelude

let upstream =
      https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210409/packages.dhall sha256:e81c2f2ce790c0e0d79869d22f7a37d16caeb5bd81cfda71d46c58f6199fd33f

in  upstream

{-
Welcome to a Spago project!
You can edit this file as you like.
-}
{ name = "my-project"
, dependencies = [ "console", "effect", "prelude", "psci-support" ]
, packages = ./packages.dhall
, sources = [ "src/**/*.purs", "test/**/*.purs" ]
}

$ spago build
[info] Installing 4 dependencies.
[...省略]
Compiling Type.Proxy
[...省略]
[info] Build succeeded.

$ ls
output  packages.dhall  spago.dhall  src  test

$ ls output
Control.Applicative   Data.Eq.Generic              Data.Monoid.Endo            Data.Semiring          Main
Control.Apply         Data.EuclideanRing           Data.Monoid.Generic         Data.Semiring.Generic  PSCI.Support
Control.Bind          Data.Field                   Data.Monoid.Multiplicative  Data.Show              Prelude
Control.Category      Data.Function                Data.NaturalTransformation  Data.Show.Generic      Record.Unsafe
Control.Monad         Data.Functor                 Data.Ord                    Data.Symbol            Test.Main
Control.Semigroupoid  Data.Generic.Rep             Data.Ord.Generic            Data.Unit              Type.Data.Row
Data.Boolean          Data.HeytingAlgebra          Data.Ordering               Data.Void              Type.Data.RowList
Data.BooleanAlgebra   Data.HeytingAlgebra.Generic  Data.Ring                   Effect                 Type.Proxy
Data.Bounded          Data.Monoid                  Data.Ring.Generic           Effect.Class           cache-db.json
Data.Bounded.Generic  Data.Monoid.Additive         Data.Semigroup              Effect.Class.Console
Data.CommutativeRing  Data.Monoid.Conj             Data.Semigroup.First        Effect.Console
Data.DivisionRing     Data.Monoid.Disj             Data.Semigroup.Generic      Effect.Uncurried
Data.Eq               Data.Monoid.Dual             Data.Semigroup.Last         Effect.Unsafe

$ spago test
[info] Build succeeded.
🍝
You should add some tests.
[info] Tests succeeded.

$ spago install lists
[info] Installing 26 dependencies.
[...省略]

$ ls -a
.  ..  .gitignore  .purs-repl  .spago  output  packages.dhall  spago.dhall  src  test

$ ls .spago
ls .spago
bifunctors     control       exists                invariant  newtype   prelude       run.js       type-equality
console        distributive  foldable-traversable  lazy       nonempty  profunctor    safe-coerce  unfoldable
const          effect        functors              lists      orders    psci-support  tailrec      unsafe-coerce
contravariant  either        identity              maybe      partial   refs          tuples

$ ls .spago/lists
v6.0.0

$ ls .spago/lists/v6.0.0/
CHANGELOG.md  LICENSE  LICENSE-GHC.md  README.md  bench  bower.json  package.json  src  test

$ spago repl
Compiling Record.Unsafe
[...省略]
Compiling Data.List.NonEmpty
PSCi, version 0.14.0
Type :? for help

import Prelude

>

> :?
The following commands are available:

    :?                        Show this help menu
    :quit                     Quit PSCi
    :reload                   Reload all imported modules while discarding bindings
    :clear                    Discard all imported modules and declared bindings
    :browse      <module>     See all functions in <module>
    :type        <expr>       Show the type of <expr>
    :kind        <type>       Show the kind of <type>
    :show        import       Show all imported modules
    :show        loaded       Show all loaded modules
    :show        print        Show the repl's current printing function
    :paste       paste        Enter multiple lines, terminated by ^D
    :complete    <prefix>     Show completions for <prefix> as if pressing tab
    :print       <fn>         Set the repl's printing function to <fn> (which must be fully qualified)

Further information is available on the PureScript documentation repository:
 --> https://github.com/purescript/documentation/blob/master/guides/PSCi.md

> :quit
See ya!
()
$ spago repl
PSCi, version 0.14.0
Type :? for help

import Prelude

>

> im

> import

> import Prelude
> :type map
forall (f :: Type -> Type) (a :: Type) (b :: Type). Functor f => (a -> b) -> f a -> f b

> import Data.List
> range 0 999
(0 : 1 : 2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : 10 : 11 : 12 : 13 : 14 : ......[ずっと続く]

> ns = range 0 999
>

> ns
(0 : 1 : 2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : 10 : 11 : 12 : 13 : 14 : [...ずっと続く]

> multiples = filter (\n -> mod n 3 == 0 || mod n 5 == 0) ns
> multiples
(0 : 3 : 5 : 6 : 9 : 10 : 12 : 15 : 18 : 20 : 21 : [...ずっと続く]

> :type multiples
List Int

> import Data.Foldable
> sum multiples
233168

module Euler where

import Prelude

import Data.List (range, filter)
import Data.Foldable (sum)

ns = range 0 999

multiples = filter (\n -> mod n 3 == 0 || mod n 5 == 0) ns

answer = sum multiples

mod n 3 == 0

import Prelude

import Data.List (range, filter)
import Data.Foldable (sum)

ns = range 0 999

multiples = filter (\n -> mod n 3 == 0 || mod n 5 == 0) ns

answer = sum multiples

$ spago repl
> import Euler
> answer
233168

$ spago build
Compiling Unsafe.Coerce
[...省略]
Compiling Euler
[...省略]
Warning 1 of 11:

  in module Control.MonadZero
  at .spago/control/v5.0.0/src/Control/MonadZero.purs:48:1 - 48:43 (line 48, column 1 - line 48, column 43)
[...省略]
Warning 11 of 11:

  in module Euler
  at src/Euler.purs:12:1 - 12:23 (line 12, column 1 - line 12, column 23)

$ ls output
Control.Alt              Data.Equivalence               Data.Maybe.Last             Data.Semiring.Generic
[...省略]
Data.Boolean             Data.Functor.Product2          Data.Profunctor             Euler
[...省略]

$ ls output/Euler
externs.cbor  index.js

// Generated by purs version 0.14.0
"use strict";
var Data_EuclideanRing = require("../Data.EuclideanRing/index.js");
var Data_Foldable = require("../Data.Foldable/index.js");
var Data_List = require("../Data.List/index.js");
var Data_List_Types = require("../Data.List.Types/index.js");
var Data_Semiring = require("../Data.Semiring/index.js");
var ns = Data_List.range(0)(999);
var multiples = Data_List.filter(function (n) {
    return Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt)(n)(3) === 0 || Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt)(n)(5) === 0;
})(ns);
var answer = Data_Foldable.sum(Data_List_Types.foldableList)(Data_Semiring.semiringInt)(multiples);
module.exports = {
    ns: ns,
    multiples: multiples,
    answer: answer
};

$ spago install assert

module Test.Main where

import Prelude

import Euler (answer)
import Test.Assert (assert)

main = do
  assert (answer == 233168)

import Test.Assert (assert)

main = do
  assert (answer == 233168)

$ spago test
Compiling Test.Main
Warning found:
in module Test.Main
at test/Main.purs:8:1 - 9:28 (line 8, column 1 - line 9, column 28)

  No type declaration was provided for the top-level declaration of main.
  It is good practice to provide type declarations as a form of documentation.
  The inferred type of main was:

    Effect Unit


in value declaration main

See https://github.com/purescript/documentation/blob/master/errors/MissingTypeDeclaration.md for more information,
or to contribute content related to this warning.


[info] Build succeeded.
[error] Some of your project files import modules from packages that are not in the direct dependencies of your project.
To fix this error add the following packages to the list of dependencies in your config:
- foldable-traversable

$ spago install foldable-traversable
$ spago test
[info] Build succeeded.
[info] Tests succeeded.

module Main where

import Prelude

import Euler (answer)
import Effect.Console (log)

main = do
  log ("The answer is " <> show answer)

$ spago run
Compiling Main
Warning found:
in module Main
at src/Main.purs:8:1 - 9:40 (line 8, column 1 - line 9, column 40)

  No type declaration was provided for the top-level declaration of main.
  It is good practice to provide type declarations as a form of documentation.
  The inferred type of main was:

    Effect Unit


in value declaration main

See https://github.com/purescript/documentation/blob/master/errors/MissingTypeDeclaration.md for more information,
or to contribute content related to this warning.


[info] Build succeeded.
[warn] None of your project files import modules from some projects that are in the direct dependencies of your project.
These dependencies are unused. To fix this warning, remove the following packages from the list of dependencies in your config:
- effect
The answer is 233168

[warn] None of your project files import modules from some projects that are in the direct dependencies of your project.
These dependencies are unused. To fix this warning, remove the following packages from the list of dependencies in your config:
- effect

$ ls output/Main
externs.cbor  index.js

// Generated by purs version 0.14.0
"use strict";
var Data_Show = require("../Data.Show/index.js");
var Effect_Console = require("../Effect.Console/index.js");
var Euler = require("../Euler/index.js");
var main = Effect_Console.log("The answer is " + Data_Show.show(Data_Show.showInt)(Euler.answer));
module.exports = {
    main: main
};

$ spago bundle-app
[info] Build succeeded.
[warn] None of your project files import modules from some projects that are in the direct dependencies of your project.
These dependencies are unused. To fix this warning, remove the following packages from the list of dependencies in your config:
- effect
[info] Bundle succeeded and output file to index.js

{-
Welcome to a Spago project!
You can edit this file as you like.
-}
{ name = "my-project"
, dependencies =
  [ "assert"
  , "console"
-  , "effect"
  , "foldable-traversable"
  , "lists"
  , "prelude"
  , "psci-support"
  ]
, packages = ./packages.dhall
, sources = [ "src/**/*.purs", "test/**/*.purs" ]
}

$ spago bundle-app
[info] Build succeeded.
[info] Bundle succeeded and output file to index.js

<!DOCTYPE html>
<html>

  <head>
    <meta charset="UTF-8">
    <title>Euler Exercise</title>
  </head>

  <body>
    <script src="./index.js"></script>
  <body>

</html>

The answer is 233168

(function($PS) {
  // Generated by purs version 0.14.0
  "use strict";
  $PS["Euler"] = $PS["Euler"] || {};
  var exports = $PS["Euler"];
  var Data_EuclideanRing = $PS["Data.EuclideanRing"];
  var Data_Foldable = $PS["Data.Foldable"];
  var Data_List = $PS["Data.List"];
  var Data_List_Types = $PS["Data.List.Types"];
  var Data_Semiring = $PS["Data.Semiring"];                
  var ns = Data_List.range(0)(999);
  var multiples = Data_List.filter(function (n) {
      return Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt)(n)(3) === 0 || Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt)(n)(5) === 0;
  })(ns);
  var answer = Data_Foldable.sum(Data_List_Types.foldableList)(Data_Semiring.semiringInt)(multiples);
  exports["answer"] = answer;
})(PS);

$ node
Welcome to Node.js v15.14.0.
Type ".help" for more information.
> const Euler = require("./output/Euler/index.js")
undefined
> Euler.answer
233168

$ spago repl
> :type ==
Unexpected or mismatched indentation at line 1, column 1

> :type (==)
forall (a :: Type). Eq a => a -> a -> Boolean

> == 1 1
Unexpected token '==' at line 1, column 1

> (==) 1 1
true