My Blog Posts

These are my blog posts.

2024 Oct 09

Some terms to know about Japanese whetstones

file

2024 Sep 22

Building Nix Docker images on Mac OS with Multipass

file

2024 Mar 17

Project-based Nix env with direnv

file

2023 Aug 17

Home as Ctrl+A with Karabiner on Mac OS

file

2023 Jan 31

Properly recreating my i3 scratch window workflow in Mac OS

file

2023 Jan 29

Cheaper but buggier i3 scratch window workflow emulation in Mac OS

file

2023 Jan 28

Expensively recreating my i3 scratch window workflow in Mac OS

file

2022 Nov 18

Patching binaries in Nix is easy and fun

file

2022 Jun 05

GCC Version Hell with Rust Binaries

file

2021 Dec 16

Re: Problems with updating PureScript libraries

file

2021 Dec 14

Problems with updating PureScript libraries

file

2021 Jul 06

Thoughts on building st via Nix

file

2021 Jul 04

Nix derivations for Python programs with Poetry2Nix

file

2020 Sep 09

Multi-step building PureScript projects with Nix

file

2020 Jun 28

Installing PureScript in 2020

file

2020 Jun 27

PureScript on Nix without dependency codegen

file

2020 May 31

Working with PureScript package sets with just Nix

file

https://qiita.com/kimagure/items/25ca3ddcc8e0b636884e

2020 May 30

My PureScript GitHub CI Setup in 2020

file

2020 May 25

Nix on GitHub Actions in 2020

file

https://qiita.com/kimagure/items/7693fc1b3f6c45dd0150

2020 May 24

PureScript package sets using Jsonnet

file

2020 May 22

Some backported PureScript changes for my own uses

file

2020 Feb 05

A simple web app in Rust with Actix-Web

file

https://qiita.com/kimagure/items/e24d7d6514a6a0dd2b48

2020 Jan 09

A simple Telegram bot in Rust with Actix

file

https://qiita.com/kimagure/items/830924fd5e8e2950b6e4

2019 Dec 04

Updating Nix expressions with Rust

file

2019 Sep 10

Why nix-shorts and expectations

file

2019 Aug 23

Using Puppeteer with Node2Nix

file

2019 Jul 02

Write a simple CLI in PureScript

file

2019 Jun 23

Simple Parameteried Queries with Row Union

file

2019 Jun 22

Spago2Nix: Why and How

file

2019 Jun 20

Installing PureScript in 2019

file

2019 May 27

Minimal PureScript for Node users

file

2019 May 14

Consuming Node projects for Nix users

file

2019 Apr 29

Why Easy-PureScript-Nix

file

2019 Apr 29

Short: Simplified Tortellini with Instance Chains

file

2019 Apr 06

Using Tree-sitter from PureScript

file

https://qiita.com/kimagure/items/8079a3d6c118fb010394

2019 Mar 16

Short: Overriding version bounds in Nix Haskell

file

https://qiita.com/kimagure/items/c3fb87f7f71b9df99078

2019 Mar 16

Building Purescript Projects with Nix

file

https://qiita.com/kimagure/items/d2687a5a68c84cc651d0

2019 Mar 14

Rust with Runtime Deps made easy with Nix

file

https://qiita.com/kimagure/items/4e4e65dde9471a17b304

2019 Mar 02

Generic Sums to Variant and back again

file

https://qiita.com/kimagure/items/c4791d309b5cda607ce2

2019 Feb 11

Making a simple Haskell CLI without anything fancy

file

https://qiita.com/kimagure/items/9b33a5fa48baf105abe4

2019 Feb 02

PureScript package management explained

file

https://qiita.com/kimagure/items/6a5881b07bc4a3e6ea86

2019 Jan 13

Consuming Electron apps in Nix by patching binaries

file

https://qiita.com/kimagure/items/6e0fd0aad389c1f274c6

2019 Jan 12

Putting your own derivations in Nix Profile

file

https://qiita.com/kimagure/items/8b4df59236717e54a2bc

2018 Nov - Dec

Advent of Justin 2018

https://qiita.com/advent-calendar/2018/justin-eigo-corner

https://github.com/justinwoo/advent-of-justin-2018

2018 Nov 10

Upgrade from Bower to Nix with Psc-Package2Nix

file

https://qiita.com/kimagure/items/aec640d0047d08d2ce90

2018 Nov 03

Nix-ify your Psc-Package dependencies

file

https://qiita.com/kimagure/items/85a64437f9af78398638

2018 Oct 29

Make your own Psc-Package with Perl

file

https://qiita.com/kimagure/items/625070775da70b37b67e

2018 Oct 27

Pseudo-dynamically typed errors in PureScript

file

https://qiita.com/kimagure/items/71e938ee93e31bd2e79b

2018 Oct 24

Using PureScript easily with Nix

file

https://qiita.com/kimagure/items/de2a4ff45dd8fe8be4b1

2018 Oct 18

Easy Markdown to Beamer with Pandoc and Nix

file

https://qiita.com/kimagure/items/9d27015e12d4f22b53db

2018 Sep 15

Reflecting a record of proxies and keys of row types

file

https://qiita.com/kimagure/items/b08175d22f9950ba3dfb

2018 Sep 11

We don't need Peano Numbers in PureScript

file

https://qiita.com/kimagure/items/522fa4dd4abdcc313c8e

2018 Aug 26

What I've learned since quitting Elm

file

https://qiita.com/kimagure/items/93a42d67a8833f99fe2e

2018 Aug 13

Expecting Inferred Types (feat. Custom Type Errors)

file

https://qiita.com/kimagure/items/00c1ca57d6999904b595

2018 Aug 06

Converting Generics-Rep to Row Types in PureScript

file

https://qiita.com/kimagure/items/1ea18bd6b782d45a48d5

2018 Jul 29

User empowerment of FFI in PureScript

file

https://qiita.com/kimagure/items/0ce4d9d2792dd110ee45

2018 Jul 23

Formatting type-level Strings with row type labels

file

https://qiita.com/kimagure/items/c4bc704df3791437c9bb

2018 Jul 02

Implement your own compiler type class in PureScript

file

https://qiita.com/kimagure/items/8736fe6a2f25da526368

2018 Jun 22

Managing Psc-Package sets with Dhall

file

https://qiita.com/kimagure/items/c419ba740ac134a837a2

2018 Jun 17

A year of Twitter memes

file

https://qiita.com/kimagure/items/4f0bb365965d31e6cd58

2018 Jun 4

Well-typed parameterized SQLite parameters with PureScript

file

https://qiita.com/kimagure/items/4b08e9f0479d5866ec04

2018 May 31

99(+) posts on Qiita as an English-only poster: Reflections

file

https://qiita.com/kimagure/items/1a569987fee84ae26d4f

2018 May 27

Fun type-level literal number arithmetic with instance chains

file

https://qiita.com/kimagure/items/b19cdbc1807109fb11cb

2018 May 16

Simple Routing based on parsing type-level strings

file

https://qiita.com/kimagure/items/5c3f3fcb898e480c56be

2018 May 11

Parsing type-level strings to extract types

file

https://qiita.com/kimagure/items/6729a5d55ab99bcee8ec

2018 May 03

Well-typed path params in PureScript 0.12

file

https://qiita.com/kimagure/items/3273d20c4c5ad74dbe26

2018 May 02

Instance Chains to get nested record label "paths"

file

https://qiita.com/kimagure/items/7e313ee68280186d76dc

2018 Apr 27

Type classes and instances are pattern matching for types

file

https://qiita.com/kimagure/items/08c59fa21adcd6968ae1

2018 Apr 21

Generics-Rep Sums and Products to List for Fun

file

https://qiita.com/kimagure/items/a5e340242f038b0dc748

2018 Apr 17

Matching on JS Union members with Row Types (Handling JS Unions cont.)

file

https://qiita.com/kimagure/items/7a0d1675522c09b4bcb6

2018 Apr 15

Easy Hot-Reloading PureScript with Parcel

file

https://qiita.com/kimagure/items/a870d250f75a6822759b

2018 Apr 02

Handling JS Unions with Row Types

file

https://qiita.com/kimagure/items/141423771ad1f5a84425

2018 Apr 01

Making a new library and using it in your own Psc-Package set

file

https://qiita.com/kimagure/items/c37b228e80318d4158f0

2018 Mar 25

Row-typed fun for building SQLite Queries

file

https://qiita.com/kimagure/items/7b86c1a16adb2045b584

2018 Mar 20

Setting up PureScript in March 2018

file

https://qiita.com/kimagure/items/570e6f2bbce5b4724564

2018 Mar 11

One-line JS FFI with PureScript-FFI-Props

file

https://qiita.com/kimagure/items/b0b7da07d8183cb51d58

2018 Mar 03

Make your own Form Library in PureScript

file

https://qiita.com/kimagure/items/b35ad4a68939337275aa

2018 Feb 18

Unions for Partial Properties in PureScript

file

https://qiita.com/kimagure/items/581c63707673db61e061

2018 Feb 04

Short: Decoding Product types using Generics-Rep

file

https://qiita.com/kimagure/items/18046a721881ac9270ac

2018 Feb 03

Generic Decoding of Sum Types Feat. Fields to Row and vice versa

file

https://qiita.com/kimagure/items/b27245a5a11462145bd5

2018 Feb 02

Making Diffs of differently-typed Records in PureScript

file

https://qiita.com/kimagure/items/ca229cb4ba76db0c24a8

2018 Jan 30

Using Rows and RowToList to model Chart.js spec building

file

https://qiita.com/kimagure/items/fd05ad13ee8def0fb4ed

2018 Jan 27

Short: Composed Modified JSON parsing for free with Simple-JSON

file

https://qiita.com/kimagure/items/43fd7b02db2950f04a1a

2018 Jan 14

Short: Type-level Path Params to write from Records with PureScript

file

https://qiita.com/kimagure/items/777133d6bbff67e3819d

2018 Jan 13

Type-level Path Params parsed to Records with PureScript

file

https://qiita.com/kimagure/items/4f5c6054870f631ff768

2018 Jan 08

Modified JSON parsing for free with PureScript-Simple-JSON

file

https://qiita.com/kimagure/items/801e1c55d4f8f218f11e

2018 Jan 06

Opting in to better types and guarantees in PureScript

file

https://qiita.com/kimagure/items/7c3a01e2e5dfebb3313f

2017 Dec 28

The Tale of Two Tortellini: making record based libraries in PureScript and Haskell

file

https://qiita.com/kimagure/items/941c22effff608dda9a7

2017 Dec 23

Polymorphic Proxy fun in PureScript

file

https://qiita.com/kimagure/items/6e383ea0c6e29bf210e5

2017 Dec 17

Records/interfaces are not StringMaps/hashes/objects and vice versa

file

https://qiita.com/kimagure/items/a011335bbb539e179f4e

2017 Dec 16

Generating Elm Types for Port-Safe Communication from PureScript

file

https://qiita.com/kimagure/items/09b24ed22cfc596248b4

2017 Dec 13

Easy PureScript bundling with Parcel

file

https://qiita.com/kimagure/items/24e6d3a0f47814c9630b

2017 Dec 11

Multi-Target Projects in PureScript

file

https://qiita.com/kimagure/items/8ca4f386dbcb9f404b87

2017 Dec 09

Controlled Flow with PureScript-Bismuth

file

https://qiita.com/kimagure/items/0c2712d5a417c1671e6d

2017 Dec 05

More "RowList" fun with Records in Haskell feat. Scotty Route/Handler pairings & HomeRunWannabe

file

https://qiita.com/kimagure/items/7c3521cfbf00ad173801

2017 Dec 04

Nice Validation with PureScript

file

https://qiita.com/kimagure/items/f75befebdd37f6e8879f

2017 Nov 28

Fun with Records in Haskell by making "RowLists"

file

https://qiita.com/kimagure/items/6a9764966edd6cef497d

2017 Nov 21

Record-based API Route-Handler pairing with Row Types

file

https://qiita.com/kimagure/items/bb9bd3e4ffe1bba4c214

2017 Nov 17

OhYes you can interop with TypeScript using PureScript

file

https://qiita.com/kimagure/items/4847685d02d4b15a556c

2017 Oct 28

Upgrade from Bower to Psc-Package

file

https://qiita.com/kimagure/items/0d9354900d7a7dbd3864

2017 Oct 22

Mapping a function to a homogeneous record in PureScript

file

https://qiita.com/kimagure/items/06d7eed9521b6217b771

2017 Oct 20

and some you shouldn't PureScript libraries I've written that you might consider using

file

https://qiita.com/kimagure/items/daa388ffe14747d13f57

2017 Sep 08

Fun Row-typed Validation with Purescript-Home-Run-Ball

file

https://qiita.com/kimagure/items/eeb40541fc56b8dba2cc

2017 Aug 26

Converting types you don't want to ones you do in Purescript

file

https://qiita.com/kimagure/items/f750d85377520a14066f

2017 Aug 17

Using types with parameters to eliminate invalid code paths in Typescript

file

https://qiita.com/kimagure/items/ed612f25c3d3bcfaecd7

2017 Jul 28

Using IxMonad to enforce good hamburger building in Purescript

file

https://qiita.com/kimagure/items/a0ee7313e8c7690bf3f5

2017 Jul 21

Type-safe Record operations with Purescript-record

file

https://qiita.com/kimagure/items/7d777826acf371293a93

2017 Jul 15

Writing a JSON decoder using Purescript's RowToList

file

https://qiita.com/kimagure/items/d8a0681ae05b605c5abe

2017 Jul 11

Embedding Elm into a Purescript-Halogen App

file

https://qiita.com/kimagure/items/d12525d42516f95dd541

2017 Jul 08

Automatically de/encoding JSON in Purescript using Generics-Rep

file

https://qiita.com/kimagure/items/00f97c7fc6cef178fa3c

2017 Jun 29

Datatype-Generic programming for generating TypeScript code from Purescript

file

https://qiita.com/kimagure/items/cc0ea2982abdf1625e87

2017 Jun 25

Differences of Purescript from Elm

file

https://qiita.com/kimagure/items/f1827c9129f3ee6ede35

2017 Apr 29

Using Purescript's Row Types for Tracking Validations

file

https://qiita.com/kimagure/items/5c248844ab28c8c91b16

2017 Apr 27

Writing a Youtube audio scraping tool with Purescript

file

https://qiita.com/kimagure/items/115c04bc64d09a3a07a1

2017 Mar 27

Writing a full-stack app with Purescript with phantom types

file

https://qiita.com/kimagure/items/b576b5bfe370180599f8

2017 Mar 05

Building a mobile web audio player with Purescript-Halogen

file

https://qiita.com/kimagure/items/653c52e77d7cd3567498

2016 Dec 14

How to write a simple MarkDown to inline-Styled HTml tool with Haskell

file

https://qiita.com/kimagure/items/97e8d7b9cb318ba7ebef

2016 Oct 20

What to check when React Native npm start and Jest don't work

file

https://qiita.com/kimagure/items/a340fde5000dfd0102de

2016 Oct 13

Getting audio from Youtube channels in the easiest way possible using Haskell

file

https://qiita.com/kimagure/items/0a2f3d60789c646e4426

2016 Oct 04

How to convert Markdown into inline-styled HTML

file

https://qiita.com/kimagure/items/6820e2df2a7604047862

2016 Sep 25

Writing a simple Telegram chat bot in Purescript

file

https://qiita.com/kimagure/items/2da0fe86b218b3f832d0

2016 Sep 21

Async in Purescript is fun and easy

file

https://qiita.com/kimagure/items/2ebce1399bac00c79656

2016 Sep 18

Purescript on Travis CI (as of Sept 2016)

file

https://qiita.com/kimagure/items/b1a892870de4073908af

2016 Jul 31

Making a simple node program with Purescript

file

https://qiita.com/kimagure/items/5674e3ae9c87262af762

2016 Jul 10

Making a Haskell (Scotty) web app and putting it on Heroku

file

https://qiita.com/kimagure/items/5947e2db40b9ec2226bf

2016 Mar 15

Making a Scroll Table with Purescript-Halogen

file

https://qiita.com/kimagure/items/92f0a278971c7deb8eb5

2016 Feb 18

Writing a simple Etch-Sketch with PureScript

file

https://qiita.com/kimagure/items/15361b4bc5f4dfac20e8