Cardano Forum
正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編
日本語
エデュケーション
YUTA_Oishi
5 May 2020 22:56
1
正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編
Related topics
Topic
Replies
Views
Activity
なぜHaskellなのか?型システム/フォールトトレランス/モジュール性/合成性/ライブラリ/JavaScript連携/依存関係の解消/才能ある開発者-Cardanoホワイトペーパー「科学と工学」編
エデュケーション
0
395
4 May 2020
Haskellの魔道士…と呼ばれる男/ダンカンクーツ氏のインタビュー…Cardano開発の極意とは?!
エデュケーション
0
589
10 April 2020
なぜCardanoはHaskellを選んだのか -なぜ注意すべきなのか
お知らせ
plutus
,
dapps
,
marlowe
,
haskell
,
スマートコントラクト
0
1941
16 December 2020
プログラミング経験ゼロ、数学苦手の人でも今から10分でCardano最大の目玉「 #Haskell 」でコードを書いて遊べる、あまりにも簡単すぎるステップ
エデュケーション
0
610
10 January 2020
7/3チャールズ講演🎉
エデュケーション
0
892
3 July 2020