[B! type][api] masterqのブックマーク

masterq id:masterq

typeとapiに関するmasterqのブックマーク (2)

GitHub - aspida/aspida: TypeScript friendly HTTP client wrapper for the browser and node.js.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
masterq 2022/02/03
typescript

type

http

webapi

api
リンク
translate/Web/cs.likai.org/ats/ml-programmers-guide-to-ats.md at master · jats-ug/translate
ATSでは、3つの世界でプログラミングをすることを覚えておくと良いでしょう。 Dynamics(動的な世界): プログラムを実行した時に評価される部分です。これは既存のプログラミング言語に馴染んだプログラマにとってもっとも親しみ深い部分でしょう。 Proofs(証明の世界): 動的な特性を静的な特性に結びつけます。Proofs(証明)はプログラムの動的な部分と考えることができます。しかし証明はコンパイル後では消滅してしまい、実行時には存在しません。コンパイラはあなたが書いた証明を検査し、動作可能なコードを生成する前に削除するのです。 Statics(静的な世界): 型検査時にコンパイラによって評価される部分です。静的な部分では静的な式の評価は常に終了しなければなりません。そのため型検査は決定可能です。 ATSの前身であるDependent MLでは、静的な世界からは依存型を通して動的な世界
masterq 2021/04/01
fgets(3)を最終的に題材としてMLプログラミング経験のある人材にATS1言語を入門してもらう記事。細かい点では差異があるか考え方そのものはATS2でも有効。願わくばATS3でも通用すれば

type

ats

language

doc

japanese

ml

posix

api

c
リンク
1