[ cyb / tech / λ / layer ] [ zzz / drg / lit / diy / art ] [ w / rpg / r ] [ q ] [ / ] [ popular / ???? / rules / radio / $$ / news ] [ volafile / uboa / sushi / LainTV / lewd ]

λ - programming

/lam/bda /lam/bda duck
Name
Email
Subject
Comment
File
Password (For file deletion.)
BUY LAINCHAN STICKERS HERE

STREAM » LainTV « STREAM
[Return][Go to bottom]

File: 1449243414866.png (23.21 KB, 1000x1000, fstar-new.png) ImgOps iqdb

 No.12485

https://www.youtube.com/watch?v=em_tDc1Gc40

https://www.fstar-lang.org/#introduction

This looks extremely cool. It has dependent types and SMT solver to prove code correct, uses monads for effects.

Delete Post [ ]
[ cyb / tech / λ / layer ] [ zzz / drg / lit / diy / art ] [ w / rpg / r ] [ q ] [ / ] [ popular / ???? / rules / radio / $$ / news ] [ volafile / uboa / sushi / LainTV / lewd ]
[ Return / Go to top /