chiroptical

W   def random_code() do     ■ Function random_code/0 has no local return
┆     :crypto.strong_rand_bytes(5)
┆     |> Base.encode32(padding: false, lower: true)
┆   end

chiroptical

-module(check_order).
-behaviour(gen_server).
-export([
    start_link/0,
    thing/1,

    init/1,
    handle_call/3,
    handle_cast/2
]).

chiroptical

// The same behavior as the Haskell version
fun <T, U> T?.maybe(default: U, f: (T) -> U) =
    when (this) {
        null -> default
        else -> f(this)
    }
    
// When `f` returns null you get the default
fun <T, U> T?.maybeBad(default: U, f: (T) -> U) =
    this?.let { f(it) } ?: default

chiroptical

{
  "keymaps": [
    [
      {"code": 46, "label": {"base": "=", "shifted": "+"}},
      {"code": 30, "label": {"base": "1", "shifted": "!"}},
      {"code": 31, "label": {"base": "2", "shifted": "@"}},
      {"code": 32, "label": {"base": "3", "shifted": "#"}},
      {"code": 33, "label": {"base": "4", "shifted": "$"}},
      {"code": 34, "label": {"base": "5", "shifted": "%"}},
      {

chiroptical

{-# LANGUAGE BlockArguments #-}

module Main where

main :: IO ()
main = do
  babyShark
  do do do do do do babyShark
  do do do do do do babyShark
  do do do do do do babyShark

chiroptical

Participants: chiroptical, jappiejappie

Putting together some initial ideas for the Hackathon

Notes:

• Primary goal should be learning something new
• With the new "Stage" channels we can probably just use Discord. This is on-brand because I imagine some of us will work on Discord bots
• Keep the scope small for the first incarnation, no reason to bite off more than we can chew
  • Choose the cross section of "Streaming Tools" AND "Functional Programming" will keep the scope small
• That being said, I think it is fine if projects don't fall in this category

chiroptical

table {
  width: 100%;
  text-align: center;
  color: rgb(230 230 230 / 1);
}

table,
th,
td {
  border: 1px solid black;

chiroptical

# The installation below expects that HDF5 is compiled with shared and parallel capabilities

# 1. Load python and mpi libraries
module purge
module load python/3.7.0 venv/wrap openmpi/3.1.4 hdf5/1.10.7

# 2. Make a new virtual environment (or load an existing one)
mkvirtualenv test
workon test

chiroptical

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}

module Free where

import Control.Monad.Free (Free (..), iterM, liftF)
import qualified Control.Monad.Trans.State as S

safeHead :: [a] -> Maybe a

chiroptical

title	description
Abilities in Unison	Unison's type system tracks which functions can do I/O, and the same language feature, called _abilities_ can be used for many other things, too. This is a tutorial on abilities.

Abilities in Unison

Here are two functions in Unison. One performs I/O (it writes to the console) and so it has an interesting type we'll be explaining much more in this tutorial: