stenno

##jsgolf is a channel on the IRC network Libera. Using an IRC client is recommended, but you can also use the web-based client. In order to participate, you need to register your nickname on Libera. Follow these instructions to register and identify.

The bot nibblrjr will handle all commands and submissions related to code golfing (and more!):

Command	Explanation
~golf.tasks	list all currently active golfing tasks
~golf.task <task>	print the description of task <task>
~golf.scores	list the current score for all tasks you are participating in
~golf.scores __	list the top 5 scores for task __

padolsey

Number.prototype.to = function*(n) {
  let finish = n.valueOf();
  let start = this.valueOf();
  let finishLessThan = start >= finish;
  for (
    let i = start;
    finishLessThan ? i >= finish: i <= finish;
    i += finishLessThan ? -1 : +1
  ) yield i;
};

acutmore

A compile-time 4-Bit Virtual Machine implemented in TypeScript's type system. Capable of running a sample 'FizzBuzz' program.

Syntax emits zero JavaScript.

type RESULT = VM<
  [
    ["push", N_1],         // 1
    ["push", False],       // 2
 ["peek", _], // 3

shilman

Storybook Docs w/ CRA & TypeScript

This is a quick-and-dirty walkthrough to set up a fresh project with Storybook Docs, Create React App, and TypeScript. If you're looking for a tutorial, please see Design Systems for Developers, which goes into much more depth but does not use Typescript.

The purpose of this walkthrough is a streamlined Typescript / Docs setup that works out of the box, since there are countless permutations and variables which can influence docs features, such as source code display, docgen, and props tables.

Step 1: Initialize CRA w/ TS

npx create-react-app cra-ts --template typescript

ruizb

The following section is not part of monet.js documentation, but I think it's worth showing how we can compose readers using fp-ts.

Reader composition

Let's say we have the following piece of code:

interface Dependencies {
  logger: { log: (message: string) => void }
 env: 'development' | 'production'

laughinghan

• any: magic, ill-behaved type that acts like a combination of never (the proper [bottom type]) and unknown (the proper [top type])
  • Anything except never is assignable to any, and any is assignable to anything at all.
  • Identities: any & AnyTypeExpression = any, any | AnyTypeExpression = any
  • Key TypeScript feature that allows for [gradual typing].
• unknown: proper, well-behaved [top type]
  • Anything at all is assignable to unknown. unknown is only assignable to itself (unknown) and any.
  • Identities: unknown & AnyTypeExpression = AnyTypeExpression, unknown | AnyTypeExpression = unknown

• Prefer over any whenever possible. Anywhere in well-typed code you're tempted to use any, you probably want unknown.

masaeedu

Let's imagine how a given category is a monad in a bicategory of spans.

Consider the set of all the objects in the category C0 and the set of all the morphisms in the category C1 (they're all muddled together in this set). We have two functions domain : C1 -> C0 and codomain : C1 -> C0 which assign to each morphism its source and target object.

This pair of functions forms a "span" of sets, which is a diagram of this shape:

       C_1
      ╱   ╲
   dom     cod

╱ ╲

domenkozar

1. Put ci.yaml into .github/workflows/
2. Follow https://github.com/cachix/cachix-action#usage to setup Cachix and benefit from quick CI build times.

sivinnguyen

Error

$ sudo apt-get update
Err:1 http://archive.ubuntu.com/ubuntu focal InRelease
Temporary failure in name rerolution

$ host google.com
;; connection timed out; no servers could be reached

kasperpeulen

test('left identity', async () => {
  async function f(x: number) {
    return 2 * x;
  }
  function g(x: number) {
    return f(x).then(y => Promise.resolve(y));
  }
  const x = 2;
  expect(await f(x)).toEqual(await g(x));
})