tag: Racket

Typed RacketでLuhnアルゴリムを実装した

<2025-01-12 日>
Racket

Typed Racket で Luhn アルゴリズムで番号を検証するのを作成した

排中律と二重否定除去をTyped Racketで実装する

<2020-03-26 木>
Racket

「排中律と二重否定除去をSMLで実装する」という記事の Typed Racket 版です。

Serverless Frameworkを使ってRacketのプログラムをAWS Lambdaにデプロイしてみた

<2020-03-26 木>
Racket

Serverless Framework を使って Racket のプログラムをデプロイする極端な方法を解説します。

著者: Masaya Tojo

Mastodon: @tojoqk

RSS を購読する

トップページに戻る