georgeee

Practice 1 (February 13th, 2019)

To be executed after lectures 2, 3.

The main goal of the practice is to train skills on using data types and type classes, understand relation and difference.

Basic data types fun

Define a data type of student's group.

georgeee

File index.html contains web viewer for ascii cast with audio. To launch it, just cd dir where script is unpacked and run some simplest http server from it (e.g. webfsd -p 8080 -F works perfectly), then http://localhost:8080/index.html.

File index.html requires asciinema release files (asciinema-player.css and asciinema-player.js) to be downloaded from asciinema player releases.

Note, it won't work with file:// due to CORS.

Alternatively, one can run ./rec.sh play part1 to view cast from CLI but it won't allow you to control playback.

georgeee

{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE TypeFamilies #-}

georgeee

Small playground for zeromq

Launches three servers and three clients.

Connection topology:

client 1  -> [server 1, server 2]
client 2  -> [server 2, server 3]
client 3 -> [server 1, server 3]

georgeee

{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE Rank2Types            #-}
{-# LANGUAGE RecordWildCards       #-}
{-# LANGUAGE TupleSections         #-}
{-# LANGUAGE TypeOperators         #-}
{-# LANGUAGE ViewPatterns          #-}

module Block

georgeee

Review

Hi, Jose!

Please see the review for your submission.

Most part of review will be conveyed in terms of validating criteria.

Review process is designed to be interactive, so that we will point you to mistakes you made in your submission and propose you to resolve some of these. Criteria will be checked in blocks, you'll get rundown along with descriptions as result of each iteration.

georgeee

PRs open against cardano-sl-1.0

PR	Relative time	Created by	State	Reviewers	Approved by
#1816 [CSM-491] Add timeout reports in blistener	2 hours ago	Martoon-00	Review required	None	None
#1815 Merge exchanges branch (2)	18 hours ago	dcoutts	Review required	None	None
#1814 CSL-1794 Provide necessary knowledge and code changes to increase tx size limit in cardano-sl-1.0	22 hours ago	gromakovsky	Review required	None	None
#1790 [CSL-1783] Add "api/version" endpoint	5 days ago	gromakovsky	Changes requested	None	None
#1785 [CSL-1765] automate update system proposals	6 days ago	pva701	R

georgeee

{
    "config": {
        "robots": {
            "path": "modules/top-wl-robots/config/%WL_ID%",
            "content": {
                "__jcr_element_type": "node",
                "__array": [
                    {
                        "content": "User-agent: *\nDisallow: /",
                        "prefixRegex": ".*",

georgeee

{
    "white-labels": [
        {
            "id": "keyoption_3",
            "label": "KeyOption_3",
            "locale": {
                "fallback": "en",
                "languages": ["en", "de"]
            },
            "templates": {

georgeee

{"config": {
    "test_node": {
        "path": "/modules/top-wl-robots/_test_node",
        "content": {
            "__jcr_element_type": "node",
            "__array": [
                {
                    "key1": "value1",
                    "key2": {
                        "name": "someName"