prednaz

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: Keybase OpenPGP v2.0.9
Comment: https://smartninja-pgp.appspot.com

xo0EY/OcXQEEANvnQdJF2MRvw3t00YmxWe5eyNqdCYDnTnFYTJp0362FOuW4fCeA
xOqlA+agEUfqQMbglW+8wtHT5teFH4epo/mpKZNMM2qudPv3aPfU8vg+iHKdv1g2
zNwht9W7HhE5lgqsA8zF+xH94mOooa0b6hYFMavK3ls/WzG36l15QQ8vABEBAAHN
B2EgPGFAYT7CsAQTAQoAGgUCY/OcXQIbLwMLCQcDFQoIAh4BAheAAhkBAAoJEB10
CsNnHuyFTBED/R0c5Uu6J1DoM3pISL6V8B9bGvcFHXuHoLGnjFXslSvEZL1uaP01
pFog65LD80gugPkNxXR77jmprR8LlDcRAoN88J76w4UjXG3IJy2cz/UhvM3hQtmS

prednaz

The Glorious Glasgow Haskell Compilation System for JavaScript, version 8.6.0.1 (GHC 8.6.5)

Usage:

    ghcjs [command-line-options-and-input-files]

To compile and link a complete Haskell program, run the compiler like
so:

    ghcjs --make Main

prednaz

-- the following are wrong. indeed, if they pass for your assignment
-- solution, you have manipulated the predefined data type definition,
-- which is bad.

testCmp-₀<₁ : cmp Zero 1 == {! LessThan 1 !}
testCmp-₀<₁ = Refl

testCmp-₀<₃ : cmp Zero 3 == {! LessThan 3 !}
testCmp-₀<₃ = Refl

prednaz

{-# language
  LambdaCase
#-}

module Main where

import qualified Exercise1 as E1
import Exercise2
import Exercise3 (Teletype (End, Get, Put))
import qualified Exercise3 as E3

prednaz

{-# language MultiWayIf #-}

module MultiWayIfExample where

withoutExtension n =
  if n < 10
    then 'a'
    else
      if n < 100
        then 'b'

prednaz

{-# language LinearTypes #-}

module LinearExample where

id :: a ⊸ a
id a = a

prednaz

{-# language 
  GADTSyntax,
  FlexibleInstances
#-}

import Prelude hiding (String)
import qualified Prelude

main :: IO ()
main = print sample

prednaz

import System.CPUTime (getCPUTime)

main :: IO ()
main =
  do
    timeStart <- getCPUTime
    print expensiveComputation
    timeEnd <- getCPUTime
    print $ (fromInteger $ timeEnd - timeStart) / (fromInteger $ 10 ^ 12)

prednaz

fn cartesian_product(scale: &mut (u32, u32)) -> Vec<(u32, u32)> {
    (0..5)
        .flat_map(|a| (0..5).map(|b| (a * scale.0, b * scale.1)))
        .collect()
}

// error[E0373]: closure may outlive the current function, but it borrows `a`, which is owned by the current function
//  --> src/main.rs:7:34
//   |
// 7 |         .flat_map(|a| (0..5).map(|b| (a * scale.0, b * scale.1)))

prednaz

fn cartesian_product(scale: &mut (u32, u32)) -> Vec<(u32, u32)> {
    (0..5)
        .flat_map(|a| (0..5).map(|b| (a * scale.0, b * scale.1)))
        .collect()
}

// error[E0373]: closure may outlive the current function, but it borrows `a`, which is owned by the current function
//  --> src/main.rs:7:34
//   |
// 7 |         .flat_map(|a| (0..5).map(|b| (a * scale.0, b * scale.1)))