ã„ã‚ã‚“ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ - Qiita
TL;DR アドホック多相ã¯åž‹ã‚¯ãƒ©ã‚¹ã˜ã‚ƒãªãã¦ã‚‚実ç¾ã§ãる。 Haskell, Rust, Scalaã§ã¯å¾Œä»˜ã‘ã§æ‹¡å¼µã§ãã‚‹ã‘ã©ã€ãã‚Œã¯ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã®æœ¬è³ªã§ã¯ãªã„。 アドホック多相(Ad hoc polymorphism) ウィã‚ペディアã¯è¾žæ›¸ã§ã¯ãªã„ã®ã¯ã‚ã‹ã£ã¦ã„ã¾ã™ãŒã€ãã‚Œã§ã‚‚ 英語版Wikipediaã®Ad hoc polymorphismã®ãƒšãƒ¼ã‚¸ã‚’å‚考ã«æŒ™ã’ã¦ãŠãã¾ã™ã€‚ ã–ã£ãã‚Šã¾ã¨ã‚る㨠型階層上ã¯é–¢é€£æ€§ã®ãªã„複数ã®åž‹ã®å¼•æ•°ã«é©ç”¨ã§ãã‚‹ã€å¤šç›¸çš„ãªé–¢æ•° 引数ã®åž‹ã«å¿œã˜ã¦ã€å€‹åˆ¥ã®ï¼ˆã‚¢ãƒ‰ãƒ›ãƒƒã‚¯ãªï¼‰å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ ã¨ã€ãã‚Œã ã‘ã®ã“ã¨ã€‚ 「引数ã®åž‹ã«ã‚ˆã£ã¦åˆ¥ã®å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ã£ã¦ã€ãれメソッドã®ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã¨ä½•ãŒé•ã†ã®ã€ã£ã¦ã“ã¨ãªã‚“ã§ã™ã‘ã©ã€ç‰¹ã«é•ã„ã¯ã‚ã‚Šã¾ã›ã‚“。åŒã˜ã§ã™ã€‚ã¨ã¯ã„ãˆã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã‚ˆã£ã¦ã€å®Ÿç¾æ–¹æ³•ã‚„使ã„å‹æ‰‹ã¯é•ã„ã¾ã™ã€‚ãã®ã‚ãŸã‚Šã®ã“ã¨ã‚’ã€ã„ãã¤ã‹
ソフト屋ã®ãŸã‚ã® SpinalHDL FPGA è¨è¨ˆå…¥é–€ï¼ˆãã®1） • IoT ソフトウェアè¨è¨ˆã®ãƒ•ã‚¡ãƒ¼ãƒ ãƒã‚¸ãƒƒã‚¯ã‚¹ [相模原]
FPGA design tutorial by SpinalHDL for embedded software engineers. 先日ã€SpinalHDL ã¨ã„ã†ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢è¨˜è¿°è¨€èªžã‚’ç°¡å˜ã«ç´¹ä»‹ã—ã¾ã—ãŸã€‚最終的ãªç›®æ¨™ã¯ RISC-V を使ã£ã¦ FPGA 上㫠SoC ã‚’è¨è¨ˆå®Ÿè£…ã™ã‚‹ã“ã¨ã§ã™ãŒã€ç›®æ¨™ãŒé«˜ã™ãŽã‚‹ã®ã§ãƒãƒ¼ãƒ‰ãƒ«ã‚’下ã’ã¾ã™ã€‚ã¾ãšã¯ã€VexRiscv を実装ã—ã¦ã„ã‚‹ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢è¨˜è¿°è¨€èªž SpinalHDL を（少ã—）勉強ã—ã€ç°¡å˜ãªè«–ç†å›žè·¯ã‚’ FPGA（具体的ã«ã¯ TinyFPGA BX）上ã§å‹•ä½œã•ã›ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ å°‘ã—ã ã‘å‰æ›¸ã（tl;dr;） ç§ã¯çµ„込ソフトウェアã®è¨è¨ˆãŒå°‚é–€ã§ã€HDL ã‚‚ FPGA も門外漢ã§ã™ã€‚ãªãœã„ã¾ FPGA ã‹ã€ã¨ã„ã†ã®ã¯å…ˆæ—¥æ›¸ãã¾ã—ãŸãŒã€åŸºæœ¬çš„ãªè€ƒãˆã¨ã—ã¦ã¯ã€è¨è¨ˆã‚„実装ã«ã¯å¸¸ã«é©åˆ‡ãªãƒ„ールã€è¨€èªžã‚’利用ã—ãŸã„ã€ã¨ã„ã†ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ãŸã¨ãˆã°ã€æœ€è¿‘æµ
Hedgehog will eat all your bugs
Hedgehog automatically generates a comprehensive array of test cases, exercising your software in ways human testers would never imagine. Generate hundreds of test cases automatically, exposing even the most insidious of corner cases. Failures are automatically simplified, giving developers coherent, intelligible error messages.
ã“ã‚Œã‹ã‚‰ã®æ™‚代ã€å°‘é‡ã‚«ã‚¹ã‚¿ãƒ ã§å¤§é‡ç¨®é¡žã®ãƒãƒƒãƒ—ã‚’è¨è¨ˆã™ã‚‹æ–¹æ³•ã¨ã¯ (UCBã®è«–文をèªã‚€) - FPGA開発日記
UCB(University of California, Berkeley)ã®è«–文を教ãˆã¦ã‚‚らã„ã€èªã‚“ã§ã¿ã‚‹ã“ã¨ã«ã—ãŸ(実際ã«ã¯å¤§é‡ã«Google翻訳ã—ãŸ)。 ã“ã®è«–æ–‡ã¯"Generating the Next Wave of Custom Silicon"ã¨ã„ã†è«–æ–‡ã§ã‚る。 著者ã‹ã‚‰åˆ†ã‹ã‚‹é€šã‚Šã€RISC-Vã¨Chiselã®æ€ã„ã£ãり関係者ã§ã‚る。 Generating the Next Wave of Custom Silicon Borivoje Nikolić, Elad Alon, Krste Asanović, Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA https://ieeexplore.ieee.org/xpl/mostRecentIss
Chiselã®ä¸ã«Verilogを埋ã‚込む方法 - FPGA開発日記
Chiselã¯Scalaをベースã«ã—ãŸãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢è¨˜è¿°è¨€èªžã§ã€ã‚ˆã‚Šé«˜ä½ãªè¨˜æ³•ã‚’使ã£ã¦ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã‚’è¨è¨ˆã—よã†ã¨ã„ã†è€ƒãˆæ–¹ã‚’æŒã£ã¦ã„る。 ã—ã‹ã—ã€ã©ã†ã—ã¦ã‚‚Verilogを使ã„ãŸã„å ´åˆã€ã‚ã‚‹ã„ã¯ã‚る部å“ã¯æ—¢å˜ã®Verilogã§è¨˜è¿°ã•ã‚ŒãŸã‚‚ã®ã‚’使ã„ãŸã„ã¨æ€ã†ã¨ããŒã‚る。 例ãˆã°ã€Chiselを使ãˆã°ãƒ¡ãƒ¢ãƒªã‚‚記述ã™ã‚‹ã“ã¨ãŒã§ãã‚‹ãŒã€å®Ÿéš›ã«ã¯SRAMã«ç½®ãæ›ãˆãŸã„å ´åˆã§ã‚ã£ãŸã‚Šã€FPGAã§æŽ¨è«–ã—ã‚„ã™ãã™ã‚‹ãŸã‚ã«Verilogã§æ›¸ã„ãŸãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã«ç½®ãæ›ãˆãŸã„å ´åˆãŒã‚る。ã“ã®ã‚ˆã†ãªå ´åˆã«ã€ã©ã®ã‚ˆã†ã«Chiselを記述ã™ã‚‹ã®ã‹ã«ã¤ã„ã¦èª¿æŸ»ã—ãŸã€‚ Chiselã«Verilogを埋ã‚込むãŸã‚ã®BlackBoxモジュール Chiselã«Verilogを埋ã‚込むãŸã‚ã®æ–¹æ³•ã¯2ã¤å˜åœ¨ã™ã‚‹ã€‚ ブラックボックスã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’作æˆã—ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«å†…ã«ã‚¤ãƒ³ãƒ©ã‚¤ãƒ³ã§Verilogを記述ã™ã‚‹ã€‚ ブラックボックスã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’作
Chisel-Bootcampを試ã—ã¦ã¿ã‚‹(1. Chiselã®åŸºç¤Žã‹ã‚‰Scalaを活用ã—ãŸå›žè·¯è¨è¨ˆæ³•ã¾ã§) - FPGA開発日記
Chiselã®å‹‰å¼·ã‚’æœ¬æ ¼çš„ã«ã‚„ã£ã¦ã„ã‚‹ã®ã ãŒã€æ•™æã¨ã—ã¦è‰¯ã„ã‚‚ã®ã‚’見ã¤ã‘ãŸã€‚Chisel-Bootcampã¨ã„ã†ã‚‚ã®ã 。 github.com Chiselã®åŸºç¤Žã‹ã‚‰ã€ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«é¢¨ã«ã€ã‚µãƒ³ãƒ—ルを交ãˆãªãŒã‚‰ã€é€”ä¸ã§Exerciseも出ã¦ãã‚‹ã®ã§ãれをã“ãªã—ãªãŒã‚‰é€²ã‚ã¦ã„ã。 本æ¥ã¯Jupyter Notebook上ã§ã‚„ã‚‹ã‚‚ã®ã‚‰ã—ã„ãŒã€æ‰‹å…ƒã«Jupyterã®ç’°å¢ƒã‚’作るã®ãŒé¢å€’ã ã—ã€ã©ã†ã›ãªã‚‰Linux上ã§å®Ÿè¡Œã§ãる環境ãŒæ¬²ã—ã‹ã£ãŸã®ã§CUI上ã§å®Ÿè¡Œã§ãるリãƒã‚¸ãƒˆãƒªã‚’作ã£ã¦ãã¡ã‚‰ã§è©¦ã—ã¦ã„る。 一応Chapter-1ã¨Chapter-2ã¯é©å½“ã«æµã—ã¦ã¿ãŸã€‚Exerciseã‚‚ã‚„ã£ã¦ã¿ãŸãŒåˆ†ã‹ã‚‰ãªã„ã‚‚ã®ã¯æ¨¡ç¯„解ç”を調ã¹ã¦ã—ã¾ã£ãŸã—ã€æœ€é©åŒ–ã‚‚ä¸å分ãªã®ã§ã‚ã¾ã‚Šå„ªè‰¯ãªã‚³ãƒ¼ãƒ‰ã§ã¯ãªã„ã‹ã‚‚ã—ã‚Œãªã„。 ã¨ã¯ã„ãˆã€Chiselをフル活用ã—ã¦å›žè·¯ã‚’デザインã™ã‚‹ãŸã‚ã«ã¯ã©ã†ã—ãŸã‚‰ã‚ˆã„ã®ã‹ã—ã£ã‹ã‚Šè§£èª¬ã—ã¦ã‚ã‚‹ã®ã§
Kojo | Kogics Foundation
Kojo is our open source learning environment that is available as a desktop-app for Linux, Windows, and Mac, and as a web-app that runs on any modern internet-browser. Kojo is used world-wide – in homes, schools, universities, and social-sector projects. It is also a part of government curriculums – for various coding-aligned subjects in grades 7 to 10. You can learn more about some of these usage
#05: Agile CPU / Versioned Golang
森田ãŒç´¹ä»‹ã™ã‚‹ã®ã¯ CPU をアジャイルã®æµå„€ã§é–‹ç™ºã—よã†ã¨ä¸»å¼µã™ã‚‹Â An Agile Approach to Building RISC-V Microprocessors, å‘井ãŒç´¹ä»‹ã™ã‚‹ã®ã¯ Go ã®æ¬¡ä¸–代ãƒãƒ¼ã‚¸ãƒ§ãƒ³ç®¡ç†ã‚·ã‚¹ãƒ†ãƒ ã®ãƒ‡ã‚¶ã‚¤ãƒ³ã‚’解説ã—㟠Go & Versioning ã§ã™ã€‚感想ãªã©ã¯ãƒãƒƒã‚·ãƒ¥ã‚¿ã‚° #misreading ㋠[email protected] ã«ãŠå¯„ã›ãã ã•ã„。 An Agile Approach to Building RISC-V Microprocessors RISC-V RISC-V Foundation | Instruction Set Architecture (ISA) Design of the RISC-V Instruction Set Architecture Intel and the x86 Architecture
(※2018/3/17 æ–°ã—ã„記事書ãã¾ã—ãŸ) Dottyã«ã‚ˆã‚‹å¤‰æ›´ç‚¹ã¨ä½¿ã„æ–¹ - 水底
æ–°ã—ã„記事を書ãã¾ã—ãŸ. 本記事を包å«ã—ã¾ã™. amaya382.hatenablog.jp Dottyã§ä½•ãŒã§ãるよã†ã«ãªã‚‹ã®ã‹ã¨ãã®ä½¿ã„方を簡å˜ã«ã¾ã¨ã‚ãŸã„ã¨æ€ã„ã¾ã™. ç†è«–çš„ãªéƒ¨åˆ†ã¯æ·±æŽ˜ã‚Šã—ã¾ã›ã‚“. 以下ã¡ã‚‡ã£ã¨é•·ã‚. 調ã¹ãã‚Œã¦ãªã„点も多々ã‚ã‚‹ã®ã§, 抜ã‘ã‚„é–“é•ã„ãŒã‚ã£ãŸã‚‰æ•™ãˆã¦ãã ã•ã„. ãã‚‚ãã‚‚Dottyã¨ã¯ Dependent Object Types (DOT) ã«åŸºã¥ã„ãŸæ–°ã—ã„Scalaコンパイラã§ã™. ãŸã¾ã«Scala3ã¨ã‹å‘¼ã°ã‚ŒãŸã‚Šã‚‚ã—ã¦ã„ã¾ã™. DOT計算ç†è«–ã®è©³ç´°ã¯çœãã¾ã™ (ã¾ã¨ã‚ã‚‹ã»ã©ç†è§£ã§ãã¦ã„ãªã„ã¨ã‚‚言ã†â€¦). ç¾è¡Œã®ã‚³ãƒ³ãƒ‘イラã¨æ¯”ã¹, コンパイラサイズã®æ¸›å°‘・コンパイル速度å‘上・様々ãªæ©Ÿèƒ½è¿½åŠ ã®ä»–, コンパイラ自体ã®é–‹ç™ºå®‰å®šæ€§ã‚‚増ã™ãƒ‘ワフルãªã‚¢ãƒƒãƒ—グレードãŒæœŸå¾…ã§ãã¾ã™. ç¾è¡Œã®Scalaã¨ã®äº’æ›æ€§ã¯åˆ‡ã‚Œã¦ã„ã¾ã™ãŒ, å‹¿è«–é‡è¦ãªæ©Ÿèƒ½ãŒãªããªã‚‹ã¨ã„ã£ãŸã“ã¨
Skinny Framework
What’s Skinny? Skinny is a full-stack web app framework built on Skinny Micro. To put it simply, Skinny framework’s concept is Scala on Rails. Skinny is highly inspired by Ruby on Rails and it is optimized for sustainable productivity for Servlet-based web app development. What’s more, Skinny’s components are basically independent from Skinny app environment. If you prefer using only Skinny ORM, V
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - SpinalHDL/NaxRiscv
ReactiveX
GitHub - lihaoyi/mill: Your shiny new Java/Scala build tool!
https://dwango.github.io/scala_text/
Inspecode / Rocro
GitHub - SpinalHDL/SpinalHDL: Scala based HDL
The world's most advanced service mesh
GitHub - gitbucket/gitbucket: A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility
GitHub - wartremover/wartremover: Flexible Scala code linting tool
Leon documentation — Leon 3.0 documentation
{{#tags}}- {{label}}
{{/tags}}