mjlbach

WARNING: THIS GIST IS OUT OF DATE AND NO LONGER RELEVANT

• Native-comp was enabled by default in nixpgks
• Pgtk is not enabled by default, for that you can either override the derivation or use emacsPgtk from the nix-community emacs overlay if you don't want to build it yourself

Nix

Adding the overlay and configuring cachix

i-am-tom

{-# LANGUAGE DataKinds               #-}
{-# LANGUAGE PolyKinds               #-}
{-# LANGUAGE TypeOperators           #-}
{-# LANGUAGE UndecidableInstances    #-}
{-# LANGUAGE UnsaturatedTypeFamilies #-}

import GHC.TypeLits
import Prelude hiding (Functor, Semigroup)

type Main = (Fizz <> Buzz) <$> (0 `To` 100)

boreycutts

Installing i3-gaps

Dependencies

i3-gaps has some packages that are required for it to work so install these things:

sudo apt install libxcb1-dev libxcb-keysyms1-dev libpango1.0-dev libxcb-util0-dev libxcb-icccm4-dev libyajl-dev libstartup-notification0-dev libxcb-randr0-dev libev-dev libxcb-cursor-dev libxcb-xinerama0-dev libxcb-xkb-dev libxkbcommon-dev libxkbcommon-x11-dev autoconf xutils-dev libtool automake

You also need to install libxcb-xrm-dev, but I got Unable to locate package libxcb-xrm-dev when trying to install from the apt repositories on Ubuntu 16.04. If this happens to you, just install it from source using these commands:

mkdir tmp

joom

\documentclass{standalone}
\usepackage{tikz-cd}
\usepackage{amsmath}
\usepackage{tgpagella}

\begin{document}
\begin{tikzcd}
 &  & \lambda\omega \arrow[rrr] &  &  & \lambda\Pi\omega \\
 &  &  &  &  &  \\
\lambda 2 \arrow[rruu] \arrow[rrr] &  &  & \lambda\Pi 2 \arrow[rruu] &  &  \\

hallettj

/*
 * Concept for emulating higher-kinded types using Flow. Instead of passing
 * a type that has not been applied to parameters, this pattern passes
 * a type-level function that will map a parameter type to the desired
 * higher-kinded type applied to the given parameter.
 *
 * @flow
 */

// a higher-kinded type is represented indirectly via a type-level function from

busypeoples

Phantom types in ReasonML

Introduction

"A phantom type is a parametrised type whose parameters do not all appear on the right-hand side of its definition..." Haskell Wiki, PhantomType

The following write-up is intended as an introduction into using phantom types in ReasonML.

Taking a look at the above definition from the Haskell wiki, it states that phantom types are parametrised types where not all parameters appear on the right-hand side. Let's try to see if we can implement a similar example as in said wiki.

Avaq

//
// utils
//

const thrush = x => f => f(x);

const indexBy = k => xs => xs.reduce((index, x) => {
  if(index[x[k]] != null) index[x[k]].push(x);
  else index[x[k]] = [x];
  return index;

justinwoo

Here are some of the examples of Reactive Programming libraries I've found in Purescript and what I've thought about them so far:

Purescript Behaviors: https://github.com/paf31/purescript-behaviors

I've never used a library with truly continuous Behaviors, so this was really neat to try out for me. Really nice to use and comes with utilities for working with browser events already, and gives you good Event modules for picking your sampling options as necessary.

I will probably use this library for all of my future uses.

Purescript Signal: https://github.com/bodil/purescript-signal

justinwoo

// install @types/react-redux and other nonsense

import * as React from 'react'
import { connect } from 'react-redux'
import { YourActualAppState } from './wherever-it-is.ts'

export function mapStateToProps({
  whatever
}: YourActualAppState) {
  return {

alxhub

src/
  app/                   (application root component)
    index.ts             (most components use this pattern of an index.ts, style.css, and template.html)
    style.css
    template.html
  entry/                 (different entrypoints)
    dev/
      main.ts            (main file for JIT mode)
      module.ts
    prod/