Haskellライクãªæ§‹æ–‡ã‚’Egisonã«å®Ÿè£…ã—ã¦ã„る話 - momologue
ã“ã‚Œã¯è¨€èªžå®Ÿè£…Advent Calendar 2019ã®2日目ã®è¨˜äº‹ã§ã™ã€‚ ç§ã¯å°‘ã—å‰ã‹ã‚‰ã€æ¥½å¤©æŠ€è¡“ç ”ç©¶æ‰€ã§Egisonã®é–‹ç™ºã‚¢ãƒ«ãƒã‚¤ãƒˆã‚’ã—ã¦ã„ã¾ã™ã€‚入社ã—ã¦ã‹ã‚‰åˆã‚ã¦ã®å¤§ããªãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã¨ã—ã¦Egisonã®æ§‹æ–‡ã‚’æ–°ã—ãã™ã‚‹ã¨ã„ã†ã®ã‚’担当ã—ã¦ã„ã‚‹ã®ã§ã€ãã®ç´¹ä»‹ã¨ã€è¨è¨ˆ/実装ã§æ‚©ã‚“ã (ã§ã„ã‚‹)ã“ã¨ãªã©ã‚’書ã“ã†ã¨æ€ã„ã¾ã™ã€‚ Egisonã¨ã¯ Egisonã«ã¤ã„ã¦èžã„ãŸã“ã¨ãŒãªã„ã¨ã„ã†äººã¯ã¨ã‚Šã‚ãˆãšå…¬å¼ã‚µã‚¤ãƒˆã‚’見ã¦ã»ã—ã„ã®ã§ã™ãŒã€æ¦‚è¦ã¨ã—ã¦ã¯ 表ç¾åŠ›è±Šã‹ãªãƒ‘ターンマッãƒ(éžç·šå½¢ãƒ‘ターン*1ãªã©) (上ã®ãƒ‘ターンマッãƒã‚’利用ã—ã¦å®Ÿè£…ã•ã‚ŒãŸ)æ•°å¼å‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ã‚’å¼·ã¿ã¨ã—ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã‚„æ•°å¼ã‚’ç°¡æ½”ã«è¨˜è¿°ã§ãã‚‹ã“ã¨ã«é‡ãã‚’ç½®ã„ã¦ã„るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ ã“ã‚Œã¾ã§Egisonã¯Så¼(Lispã®ã‚ˆã†ãªã‚«ãƒƒã‚³ãŒå¤šã„文法)ã®æ§‹æ–‡ã‚’æŒã£ã¦ã„ã¾ã—ãŸãŒã€Lispã«ç¿’熟ã—ã¦ã„る人を除ã大抵ã®äººã«ã¨ã£ã¦ã¯Så¼ã¯ã‚ã¾ã‚Šèª
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžEgison
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž Egison - ç›´æ„Ÿã‚’ãã®ã¾ã¾è¡¨ç¾ã™ã‚‹ãƒ‘ターンマッãƒãƒ³ã‚° - Egison ã¯1ã¤ã®å®šã¾ã£ãŸæ¨™æº–形をæŒãŸãªã„データã«å¯¾ã—ã¦ã‚‚柔軟ãªãƒ‘ターンマッãƒãŒè¡¨ç¾å¯èƒ½ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ リストや多é‡é›†åˆã€é›†åˆã€ãƒ„リーã€ã‚°ãƒ©ãƒ•ãªã©ã¨ã„ã£ãŸå¹…広ã„データ型ã«å¯¾ã—ã¦ã€ãƒ‘ターンマッãƒãŒè¨˜è¿°ã§ãã¾ã™ã€‚ ãã‚Œã«ã‚ˆã‚Šã€Egison プãƒã‚°ãƒ©ãƒžã¯éžå¸¸ã«ã‚·ãƒ³ãƒ—ルã«ãƒ—ãƒã‚°ãƒ©ãƒ を記述ã§ãるよã†ã«ãªã‚Šã¾ã™ã€‚ -- ç´ æ•°ã®ç„¡é™ãƒªã‚¹ãƒˆã‹ã‚‰å…¨ã¦ã®åŒåç´ æ•°ã‚’ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã«ã‚ˆã‚ŠæŠ½å‡º def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- 最åˆã®10個ã®åŒåç´ æ•°ã‚’åˆ—æŒ™ take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)
シェルã®å¼±ç‚¹ã‚’補ãŠã†ï¼"ã¾ã•ã«"ãªCLIツールã€egzact - Qiita
egzactã¨ã„ã†ã‚³ãƒžãƒ³ãƒ‰ã®è©°ã‚åˆã‚ã›ã‚»ãƒƒãƒˆã‚’作ã£ã¦ã¿ã¾ã—ãŸã€‚ → Github ãã£ã‹ã‘ zipã§å¤šé‡åœ§ç¸®ã™ã‚‹ã®ã«ã€$ zip ファイル | zip | tee zip1 | zip | tee zip2 | zip | tee zip3 。。ã¿ãŸã„ãªã®å‡ºæ¥ãªã„？ #シェル芸 #usptomo — ã±ã´ã‚ã‚“ (@papiron) 2016å¹´3月25æ—¥ ã“ã‚Œã¯ã‚るシェル芸界隈1ã®æ–¹ã®ç™ºè¨€ã§ã™ã€‚アンãƒã‚¦ã‚¤ãƒ«ã‚¹ã‚½ãƒ•ãƒˆã®å‹•ä½œç¢ºèªã§ã€å¤šé‡ZIPã•ã‚ŒãŸãƒ†ã‚¹ãƒˆã‚¦ã‚¤ãƒ«ã‚¹ãƒ•ã‚¡ã‚¤ãƒ«ãŒå¿…è¦ã ã£ãŸã¨ã®ã“ã¨ã§ã™ã€‚何人ã‹ã®æ–¹ã‹ã‚‰ã‚¢ãƒ‰ãƒã‚¤ã‚¹ã‚’é ‚ã„ã¦ã„ãŸã‚ˆã†ã§ã™ãŒã€æ®‹å¿µãªãŒã‚‰ã‚·ã‚§ãƒ«ã§ã‚µã‚¯ãƒƒã£ã¨ã¯çµå±€ã§ããªã‹ã£ãŸã”様åã§ã—ãŸ2。 ã“ã®äº‹ä¾‹ã¯ã€ã‚·ã‚§ãƒ«ä¸Šã§ã®ãƒ¯ãƒ³ãƒ©ã‚¤ãƒŠãƒ¼ï¼ˆa.k.a シェル芸3）ã®å¼±ç‚¹ã®ä¸€ã¤ã‚’如実ã«è¡¨ã—ã¦ã„ã¾ã™ã€‚æ–‡å—列を切り出ã—ãŸã‚Šã€å¤‰æ›ã—ãŸã‚Šã¨ã„ã†ãƒ•ã‚£ãƒ«ã‚¿ãƒªãƒ³ã‚°ã®å‡¦ç†ã¯å¾—æ„ã§ã™ãŒã€ãƒ‘ターン生æˆãŒæ¯”較的苦手ã§
dfltweb1.onamae.com – ã“ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã¯ãŠåå‰.comã§å–å¾—ã•ã‚Œã¦ã„ã¾ã™ã€‚
ã“ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã¯ ãŠåå‰.com ã‹ã‚‰å–å¾—ã•ã‚Œã¾ã—ãŸã€‚ ãŠåå‰.com 㯠GMOインターãƒãƒƒãƒˆã‚°ãƒ«ãƒ¼ãƒ—(æ ª) ãŒé‹å–¶ã™ã‚‹å›½å†…シェアNo.1ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ç™»éŒ²ã‚µãƒ¼ãƒ“スã§ã™ã€‚ â€»è¡¨ç¤ºä¾¡æ ¼ã¯ã€å…¨ã¦ç¨Žè¾¼ã§ã™ã€‚ ※サービスå“質ç¶æŒã®ãŸã‚ã€ä¸€æ™‚çš„ã«å¯¾è±¡ã¨ãªã‚‹æ–™é‡‘ã¸ä¸€å®šå‰²åˆã®ã€Œã‚µãƒ¼ãƒ“スç¶æŒèª¿æ•´è²»ã€ã‚’åŠ ç®—ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ ※1 「国内シェアã€ã¯ã€ICANN(インターãƒãƒƒãƒˆã®ãƒ‰ãƒ¡ã‚¤ãƒ³åãªã©ã®è³‡æºã‚’管ç†ã™ã‚‹éžå–¶åˆ©å›£ä½“)ã®å…¬è¡¨æ•°å€¤ã‚’ã‚‚ã¨ã«é›†è¨ˆã€‚gTLDãŒé›†è¨ˆã®å¯¾è±¡ã€‚ 日本ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ç™»éŒ²æ¥è€…(レジストラ)（「ICANNãŒãƒ¬ã‚¸ã‚¹ãƒˆãƒ©ã¨ã—ã¦èªå®šã—ãŸä¼æ¥ã€ä¸€è¦§ï¼ˆInterNICæ供）内ã«ã€ŒJapanã€ã®è¨˜è¼‰ãŒã‚ã‚‹ã‚‚ã®ï¼‰ã‚’対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.comã€ã®ã‚·ã‚§ã‚¢å€¤ã‚’集計。 2023å¹´10月時点ã®èª¿æŸ»ã€‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - egison/egison-prover: Proof writing language with Egison pattern matching
GitHub - egison/sweet-egison: Haskell library for non-deterministic pattern matching
{{#tags}}- {{label}}
{{/tags}}