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
GitHub - vekatze/neut: A dependently-typed programming language with static memory management
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
Dependent types are a hot topic in the Haskell community. Many voices advocate for adding dependent types to Haskell, and a lot of effort is being invested towards that end. At the same time, the sceptics raise various concerns, one being that dependent types are more of a research project than a tool applicable in industrial software development. That is, however, a false dichotomy. While depende
GitHub - ollef/sixty: Dependent type checker using normalisation by evaluation
Surface syntax Core syntax Safe and fast phantom typed De Bruijn indices Evaluation Inlining of globals Readback Parsing Indentation-sensitivity Pretty printing Scope-aware name printing Unification and meta variables Pruning The "same meta variable" intersection rule Solution inlining Elaboration of meta variable solutions to local definitions Case expression inversion Basic type checking Elabora
A Gentle Introduction to Dependent Types | PLT Research at METASTATE
Dependent type (or dependently typed programming) languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time). This allows you to correct them and improve the chances that your program behaves as expected at runtime. It makes them particularly well suited to write smart contracts. For feedback or questions, please do not hesita
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How Dependent Haskell Can Improve Industry Projects