brendanzab

module Expr = struct

  module Layer = struct

    type 'a t =
      | Mul of 'a * 'a
      | Add of 'a * 'a
      | Int of int

    let map (f : 'a -> 'b) (layer : 'a t) : 'b t =

boppreh

 Programming Language Checklist
by Colin McMillen, Jason Reed, and Elly Fong-Jones, 2011-10-10
updated by BoppreH, 2024-01-24

You appear to be advocating a new:
[ ] functional  [ ] imperative  [ ] object-oriented  [ ] stack-based  [ ] concurrent
[ ] interpreted  [ ] compiled  [ ] JIT  [ ] cloud  [ ] AI  [ ] beginner-friendly
[ ] academic-friendly  [ ] visual  [ ] sharable  [ ] esoteric
[ ] memory safe  [ ] memory unsafe  [ ] provable  [ ] Turing-incomplete
[ ] statically-typed  [ ] dynamically-typed  [ ] completely incomprehensible

pchiusano

-- This gist shows how we can use abilities to provide nicer syntax for any monad.
-- We can view abilities as "just" providing nicer syntax for working with the
-- free monad.

ability Monadic f where
  eval : f a -> a

-- Here's a monad, encoded as a first-class value with
-- two polymorphic functions, `pure` and `bind`
type Monad f = Monad (forall a . a -> f a) (forall a b . f a -> (a -> f b) -> f b)

cellularmitosis

Blog 2019/3/9

<- previous | index | next ->

Notes on Structured Editors

androidfred

Haskell, Stack and Intellij IDEA IDE setup tutorial how to get started

Upon completion you will have a sane, productive Haskell environment adhering to best practices.

Basics

• Haskell is a programming language.
• Stack is tool for Haskell projects. (similar tools for other languages include Maven, Gradle, npm, RubyGems etc)
• Intellij IDEA IDE is a popular IDE.

Install required libraries

sudo apt-get install libtinfo-dev libghc-zlib-dev libghc-zlib-bindings-dev

Airblader

#!/usr/bin/env python2.7
# -*- coding: utf-8 -*-
# vim:ts=2:sw=2:expandtab

import os
import xcb
from xcb.xproto import *
from PIL import Image

XCB_MAP_STATE_VIEWABLE = 2

semenko

$ sudo dmidecode

# dmidecode 2.12
# SMBIOS entry point at 0x000f0000
SMBIOS 2.8 present.

<SNIP>

Handle 0x0000, DMI type 0, 24 bytes
BIOS Information

nickloewen

This is a plain-text version of Bret Victor’s reading list. It was requested by hf on Hacker News.

---

Highly recommended things!

This is my five-star list. These are my favorite things in all the world.

A few of these works have had an extraordinary effect on my life or way of thinking. They get a sixth star. ★

dypsilon

Frontend Development

Attention: the list was moved to

https://github.com/dypsilon/frontend-dev-bookmarks

This page is not maintained anymore, please update your bookmarks.

---

radiosilence

import sys
import colorsys
from colorz import colorz

WALLPAPER = '/home/james/.wallpaper'
COLORS = '/home/james/.colors'
XRESOURCES = '/home/james/.Xresources'

cols = ''
xres = """