Junichi Hayashi, a web engineer

I am ...

林純一と申します。都内某企業でウェブエンジニアとして働いています。

I like ...

プログラミング

小学5年生のときに、父が所有していたポケットコンピュータでBASICと出会ってから、HSP、C、C++、C#、Java、Perl、TypeScript、Go、Rust、Lean 4など、 様々な言語でプログラミングを楽しんでいます。

Perl

仕事で主に使っているプログラミング言語です。なんとなく「手作り感」があるのが好きです。

TypeScript

Next.jsやNuxtを使ったウェブサイト構築に挑戦するのと同時に手を出した言語です。 それまで扱っていた動的型付けなPerlと対比して、静的に型が付くことの便利さを再確認させてくれました。

型

プログラムの型注釈と命題の証明がカリー＝ハワード同型対応によって結び付くという強力さに惚れました。

東山奈央さん（声優・歌手）

2ndシングル「イマココ/月がきれい」を聴いて、そのCDのリリースイベントに足を運んだところから歌手として好きになりました。

I belonged to ...