Cryptol
What is Cryptol? Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. Here is a comparison of a portion of the SHA-1 hash function specification and its representation in Cryptol: Cryptol SHA-1 implementation f : ([8], [32],
Haskellã¨DSL - ã‚ã©ã‘ãªã„話
LL Planets ã®ã€Œãƒ¡ã‚¿ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å…‰ã¨é—‡ã€ã§ Haskell ã«ã¤ã„ã¦è©±ã—ã¦ãã¾ã—ãŸã€‚Perlã€Pythonã€Ruby ãŒæ¦‚ã内部 DSL を作る話ã ã£ãŸã®ã«å¯¾ã—ã€Haskell ã§ã¯å¤–部DSLを内部ã«åŸ‹ã‚込むã¨ã„ã†è©±ã‚’ã—ã¾ã—ãŸã€‚çŸã„時間ã§èª¬æ˜Žä¸è¶³ã«ãªã£ãŸæ„ŸãŒã‚ã‚‹ã®ã§ã€ã“ã®è¨˜äº‹ã§äºŒç‚¹ã»ã©è£œè¶³ã—ã¾ã™ã€‚ Haskell ã§ã¯æ–‡æ³•ãŒã†ã¾ãè¨è¨ˆã•ã‚Œã¦ãŠã‚Šã€ã‚³ãƒ¼ãƒ‰ã‚’書ã‘ã°è‡ªç„¶ã¨DSLã£ã½ããªã‚‹ã®ã§ã€ã‚ã–ã‚ã–内部DSLãªã‚“ã¦è¨€ã‚ãªã„。ãれよりもコンビãƒãƒ¼ã‚¿ã¨ã„ã†è€ƒãˆæ–¹ã‚’å¦ã¶æ–¹ãŒæ–°ã—ã„視野ãŒã²ã‚‰ã‘ã¦ã‚ˆã„。 Haskell ã§ã¯ãƒ‘ーサーを作るã®ãŒç°¡å˜ã€‚ã ã‹ã‚‰è‡ªåˆ†ã§è¨€èªžã‚’作るã®ã‚‚ç°¡å˜ã€‚ãã®è¨€èªžã‚’外部ファイルã‹ã‚‰èªã¿è¾¼ã‚“ã§ã‚‚ã„ã„ã—ã€HERE DOCUMENT ã®ã‚ˆã†ã«å†…部ã«è²¼ä»˜ã‘ã‚‹ã“ã¨ã‚‚ã§ãる。 é–¢æ•°ã‚’äºŒé …æ¼”ç®—åã¨ã—ã¦æ‰±ã† Haskell ã§ã¯é–¢æ•°ã‚’ãƒãƒƒã‚¯ã‚¯ã‚©ãƒ¼ãƒˆã§å›²ã‚€ã¨äºŒé …演算åã«ãªã‚Šã¾ã™ã€‚ i
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
DSL Implementation in MetaOCaml, Template Haskell, and C++
Domain Specific Languages
{{#tags}}- {{label}}
{{/tags}}