[B! scala] yharaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

yhara id:yhara

scalaã«é–¢ã™ã‚‹yharaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (46)

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

{{#following_bookmarks}}

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

{{/following_bookmarks}}

{{/is_wiped}}

Scala doesn't Need Generics! (or You can Encode Generics Using Abstract Type Members) - kmizuã®æ—¥è¨˜
ã‚¿ã‚¤ãƒˆãƒ«ã¯ç…½ã‚Šã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ã‚‚ã¡ã‚ã‚“ã€Scalaã‚’å®Ÿç”¨çš„ã«ä½¿ã†ä¸Šã§ã¯ã€Œç›´æŽ¥ã€Genericsã‚’æ‰±ãˆãªã„ã®ã¯å›°ã‚Šã¾ã™ã€‚ã—ã‹ã—ã€è¨˜è¿°ã®å†—é•·ã•ã•ãˆæˆ‘æ…¢ã™ã‚Œã°Genericsã®ã»ã¼å…¨ã¦ã®æ©Ÿèƒ½ã‚’Abstract Type Membersã«ã‚ˆã£ã¦è¡¨ç¾ã§ãã¾ã™ã€‚ã“ã®ã“ã¨ã‚’æŒ‡ã—ã¦ã€Genericsã¯Abstract Type Membersã§ã‚¨ãƒ³ã‚³ãƒ¼ãƒ‰ã§ãã‚‹ã¨è¨€ã£ãŸã‚Šã—ã¾ã™ã€‚ã¨ã‚Šã‚ãˆãšã‚³ãƒ¼ãƒ‰å‡ºã›ã‚„ã¨ã„ã‚ã‚Œãã†ãªã®ã§ã€å®Ÿéš›ã®ã‚³ãƒ¼ãƒ‰ã‚’è²¼ã‚Šã¤ã‘ã¦ã¿ã¾ã™ã€‚ gist.github.com ã“ã®ã‚³ãƒ¼ãƒ‰ã§ã¯ã€ä¸å¤‰Listã¨ã€ãã®ä¸Šã®é«˜éšŽé–¢æ•°mapã¨foreachã‚’Genericsãªã—ã§æ§‹ç¯‰ã—ã¦ã„ã¾ã™ã€‚ ãƒã‚¤ãƒ³ãƒˆï¼š Genericãªåž‹ => Abstract Type Memberã‚’æŒã£ãŸåž‹ Genericãªãƒ¡ã‚½ãƒƒãƒ‰ => Abstract Type Memberã¨ãƒ¡ã‚½ãƒƒãƒ‰ã‚’æŒã£ãŸåž‹ é–¢æ•° => Abstract T
yhara 2024/02/09
scala
ãƒªãƒ³ã‚¯
Scalaã§overrideã—ãŸéš›ã®å…±å¤‰æˆ»ã‚Šå€¤åž‹ã¨åž‹æŽ¨è«– - xuwei-k's blog
Scalaã§ã‚‚Javaã§ã‚‚ã€overrideã™ã‚‹éš›ã«ã€sub typeã§overrideã™ã‚‹ã“ã¨ãŒå¯èƒ½ã§ã™ã€‚ (ã™ã”ãå¤ã„1.4ä»¥å‰ã®Javaã§ã¯ä¸å¯èƒ½ã ã£ãŸã¯ãšã ãŒ) Javaã®ä»•æ§˜æ›¸ã§è‹±èªžã ã¨ covariant return type ã¨ã„ã†ã¯ãšï¼Ÿã®æ©Ÿèƒ½ã§ã™ã€‚ https://docs.oracle.com/javase/specs/jls/se11/html/jls-8.html#d5e14373 $ jshell | Welcome to JShell -- Version 17.0.6 | For an introduction type: /help intro jshell> interface A { Object a(); } | created interface A jshell> class B implements A { @Override public St
yhara 2023/09/13
â€œcovariant return typeâ€

scala
ãƒªãƒ³ã‚¯
Rustãƒ¦ãƒ¼ã‚¶ãƒ¼ã‹ã‚‰è¦‹ãŸ Scalaã®åž‹ã‚¯ãƒ©ã‚¹
Rustãƒ¦ãƒ¼ã‚¶ãƒ¼ã‹ã‚‰è¦‹ãŸ Scalaã®åž‹ã‚¯ãƒ©ã‚¹ GitHub:yubrot LT at #scalabase_scala 2022/03/04
yhara 2022/03/05
rust

scala
ãƒªãƒ³ã‚¯
Applicativeå‹‰å¼·ä¼š
ã“ã®ãƒ–ãƒ©ã‚¦ã‚¶ ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®ã‚µãƒãƒ¼ãƒˆã¯çµ‚äº†ã—ã¾ã—ãŸã€‚ã‚µãƒãƒ¼ãƒˆã•ã‚Œã¦ã„ã‚‹ãƒ–ãƒ©ã‚¦ã‚¶ã«ã‚¢ãƒƒãƒ—ã‚°ãƒ¬ãƒ¼ãƒ‰ã—ã¦ãã ã•ã„ã€‚
yhara 2021/01/28
Scala

types
ãƒªãƒ³ã‚¯
An interpreter handling over effects for Eff
yhara 2020/10/17
scala
ãƒªãƒ³ã‚¯
å¤§å¤‰ã ã‚ˆã€Tagless-final ãƒ‘ã‚¿ãƒ¼ãƒ³
2020-09-25 scala.tokyo - ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ LT1 https://scala-tokyo.connpass.com/event/187140/
yhara 2020/09/26
scala
ãƒªãƒ³ã‚¯
ãªãœ Scala 3 ã§å¤‰ã‚ã£ãŸã®ã‹ / Why things are changed in Scala3?
Scala 3ã§å¤‰ã‚ã£ãŸæ©Ÿèƒ½ã®èƒŒæ™¯äº‹æƒ…ã¨ã€ç¾æ®µéšŽã§ã‚ã‹ã£ã¦ã„ã‚‹ãƒžã‚¤ã‚°ãƒ¬ãƒ¼ã‚·ãƒ§ãƒ³ã®è©±ä¸å¿ƒã§ã™ã€‚ 2020/1/31 (æ ª)ã‚»ãƒ—ãƒ†ãƒ¼ãƒ‹ãƒ»ã‚ªãƒªã‚¸ãƒŠãƒ« ç¤¾å†…å‹‰å¼·ä¼š è³‡æ–™
yhara 2020/08/23
scala
ãƒªãƒ³ã‚¯
Scalaã®Optionã‚¯ãƒ©ã‚¹ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã‚“ã§ã¿ãŸ | ãƒ¡ãƒ³ãƒãƒ¼ã‚ºã‚¨ãƒƒã‚¸ã‚«ãƒ³ãƒ‘ãƒ‹ãƒ¼ãƒ–ãƒã‚°
yhara 2020/08/06
Scala

types
ãƒªãƒ³ã‚¯
Scala ã®æ©Ÿèƒ½ãŒã‚³ãƒ³ãƒ‘ã‚¤ãƒ«é€Ÿåº¦ã«ä¸Žãˆã‚‹å½±éŸ¿ - tl;dr
compiletime ã¨ã„ã†ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã§ã€ãƒ†ã‚¹ãƒˆãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®é¸æŠžã‚„ Scala ã®æ©Ÿèƒ½ãŒã‚³ãƒ³ãƒ‘ã‚¤ãƒ«é€Ÿåº¦ã«ã©ã®ã‚ˆã†ã«å½±éŸ¿ã‚’ä¸Žãˆã‚‹ã‹è¨ˆæ¸¬ã—ãŸè©±ã€‚è‘—è€…ã¯ ScalaTest ã®ä½œè€…ãªã®ã§ä½•ã‹ã—ã‚‰ãƒã‚¤ã‚¢ã‚¹ãŒã‹ã‹ã£ã¦ã„ã‚‹ã®ã‹ã‚‚ã—ã‚Œãªã„ãŒã€ï¼ˆspecs2 ãŒé…ã„ã¨ã„ã†ï¼‰çµæžœã«ã¯ä½“æ„Ÿçš„ã«ç´å¾—æ„ŸãŒã‚ã‚‹ã€‚ JUnitã€TestNGã€ScalaTestã€specs2 ãŒå¯¾è±¡ã€‚ ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ãŒé€Ÿã„é †ç•ªã« JUnitã€TestNGã€ScalaTest ã§ã€specs2 ã¯ã¨ã¦ã‚‚é…ã„ã€‚ ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«æ™‚é–“ã¯ä»¥ä¸‹ã«å½±éŸ¿ã‚’å—ã‘ã‚‹: ã‚¹ã‚³ãƒ¼ãƒ—ä¸ã® implicit ã®æ•° by-name ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ã®æ•° ãƒ†ã‚¹ãƒˆã‚¯ãƒ©ã‚¹ã®ãƒ¡ã‚½ãƒƒãƒ‰ãŒ trait ã«ã‚ˆã£ã¦æä¾›ã•ã‚Œã‚‹ã‹ã€è¦ªã‚¯ãƒ©ã‚¹ã‹ã‚‰ç¶™æ‰¿ã•ã‚Œã‚‹ã‹ implicit ã«é–¢ã—ã¦ã¯ã€ã‚¹ã‚³ãƒ¼ãƒ—ã« import ã•ã‚ŒãŸ implicit ã®æ•°ã¨ã‚¹ã‚³ãƒ¼ãƒ—ä¸ã® implicit ã®ä½¿ç”¨ã®æ•°ã®ç©ã«ä¾
yhara 2020/05/28
scala
ãƒªãƒ³ã‚¯
è‰²ã€…ãªåž‹ã®å€¤ã‚’ã„ãã¤ã§ã‚‚å…¥ã‚Œã‚‰ã‚Œã‚‹åž‹å®‰å…¨ãªâ€œHListâ€ã‚’å®Ÿè£…ã™ã‚‹ - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
yhara 2020/03/24
scala

types
ãƒªãƒ³ã‚¯
Typelevel
The Scala compiler has to do a lot of work to turn your code into jvm bytecode that can be executed. For several reasons, this work is broken into steps which are executed sequentially, the so called pha ses of the compiler. The Pha ses If you want to see the pha ses listed, simply run in your terminal: $ scalac -Xshow-pha ses Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF-8 phase name id descriptio
yhara 2019/04/24
scalaã‚³ãƒ³ãƒ‘ã‚¤ãƒ©ã®ãƒ•ã‚§ãƒ¼ã‚ºä¸€è¦§

scala
ãƒªãƒ³ã‚¯
Implicit å†å…¥é–€
class: center, middle # Implicit å†å…¥é–€ Scalaé–¢è¥¿Summit 2016/10/08 --- class: left, middle ## è‡ªå·±ç´¹ä»‹ * ä¸æ‘ å¦(Nakamura Manabu) * [@gakuzzzz](https://twitter.com/gakuzzzz) * æ ªå¼ä¼šç¤¾ Tech to Value * Japan Scala Association --- class: left, middle # [Scala Matsuri 2017](http://2017.scalamatsuri.org/) ## CFPã¨ã‚¹ãƒãƒ³ã‚µãƒ¼å‹Ÿé›†ä¸ï¼ --- class: center, middle ## **Implicit** ã¨èžã„ã¦ ## ã¾ãšä½•ã‚’æ€ã„æµ®ã‹ã¹ã‚‹ã§ã—ã‚‡ã†ã‹ï¼Ÿ --- class: center, middle ##
yhara 2016/11/19
scala
ãƒªãƒ³ã‚¯
Scala ã®çœç•¥ãƒ«ãƒ¼ãƒ«æ—©è¦šãˆ Â· GitHub
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
yhara 2016/04/28
scala
ãƒªãƒ³ã‚¯
Element
yhara 2016/01/20
â€œthe problem is that Stream is memoizing, unlike every other thing called "stream" in the world, and it's a huge problem.â€

scala
ãƒªãƒ³ã‚¯
Ammonite
A modern replacement for the Bash system shell. Provides a systems shell in the high-level Scala language, letting you seamlessly mix system operations with real code without the hassle or the frustration of trying to write complex code in Bash. If you use Ammonite, you will probably find the follow book by the Author helpful in using Ammonite to the fullest: https://handsonscala.com/ Ammonite is
yhara 2015/12/01
scala

repl
ãƒªãƒ³ã‚¯
GitHub - lihaoyi/Metascala: A JVM written in Scala
Metascala is a tiny metacircular Java Virtual Machine (JVM) written in the Scala programming language. Metascala is barely 3000 lines of Scala, and is complete enough that it is able to interpret itself metacircularly. Being written in Scala and compiled to Java bytecode, the Metascala JVM requires a host JVM in order to run. The goal of Metascala is to create a platform to experiment with the JVM
yhara 2015/05/26
scala

jvm
ãƒªãƒ³ã‚¯
GitHub - tarao/lambda-scala: Type level lambda calculus in Scala
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
yhara 2015/05/06
type-level

scala
ãƒªãƒ³ã‚¯
scalaã‚’vimã®quickrunã§å®Ÿè¡Œã—ãŸæ™‚ã®ã‚¨ãƒ©ãƒ¼ã¨ãã®è§£æ±ºæ–¹æ³•ã€‚
yhara 2015/03/03
scala

vim

quickrun
ãƒªãƒ³ã‚¯
ceylonã¨ã‹è©±é¡Œã«ãªã£ã¦ã‚‹ã‚‰ã—ã„ãŒã€ã‚ãˆã¦pizzaã‚’ç´¹ä»‹ã—ã¦Scalaã®èª•ç”Ÿç†ç”±ã¨ã‹Algebraic Data Typesã¨ã‹ã„ã‚ã„ã‚è€ƒãˆã¦ã¿ã‚‹ - xuwei-k's blog
ãªã‚“ã ã‹ã€æœ€è¿‘ceylonã£ã¦ã„ã†æ–°ã—ã„JVMä¸Šã®è¨€èªžãŒã§ãŸã‚‰ã—ãã€è‡ªåˆ†ã®TLä¸Šã§ã¯è©±é¡Œã«ãªã£ã¦ã¾ã—ãŸãƒ»ãƒ»ãƒ» ãŒã€è‡ªåˆ†ã¯èˆˆå‘³ã‚ã‹ãªã„ã¨ã„ã†ã‹ã€ScalaãŒã“ã‚Œã ã‘twitterã‚’ã¯ã˜ã‚ã‚‚ã®ã™ã”ãå®Ÿç”¨ã§ã¤ã‹ã‚ã‚Œã¦ã‚‹ã®ã«ã€ä»Šæ›´æ–°ã—ã„è¨€èªžã¤ãã£ã¦æ™®åŠã•ã›ã‚‹ã¨ã‹ã©ã†ãªã®ï¼Ÿã¨ã„ã†ç«‹å ´ã§ã™ã€‚ã¾ãè¨€èªžä»•æ§˜ã‚‚ã¡ã‚ƒã‚“ã¨è¦‹ã¦ãªã„ã§ã‚ã‚Œãªã‚“ã§ã™ãŒ(ãƒ»Ï‰ãƒ»`) ã ã‚Œã‹ceylonã®é…åŠ›ã‚’å»¶ã€…ã¨èªžã£ã¦ãã ã•ã„ã€‚ ãŸã—ã‹ã«ã€Scalaã¯è¤‡é›‘ã™ãŽã‚‹çš„ãªå°è±¡ã¯ä»•æ–¹ãªã„éƒ¨åˆ†ã‚‚ã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã§ã™ãŒãƒ»ãƒ»ãƒ»ã¨ã‹è€ƒãˆã¦ã‚‹ã¨ãã«ã€ãã†ã„ãˆã°Scalaã‚’ä½œæˆã™ã‚‹ä»¥å‰ã«oderskyå…ˆç”ŸãŒã¤ãã£ã¦ã„ãŸè¨€èªžã‚ã£ãŸã‚ˆãªãƒ¼ã¨ã‹æ€ã„å‡ºã—ã¦ã€å‰ã‹ã‚‰æ›¸ã“ã†ã‹ã¨æ€ã£ã¦ã„ãŸã®ã§pizzaã«ã¤ã„ã¦ç´¹ä»‹ã—ã¦ã¿ã¾ã™!ã¨ã„ã†ã‚ˆãã‚ã‹ã‚‰ãªã„æµã‚Œãƒ½(ï½€â–½Â´)/ pizzaã¨ã„ã†ã®ã¯ã€Scalaã®ä½œè€…ã§ã‚ã‚‹oderskyå…ˆç”ŸãŒScalaã‚’ä½œã‚‹å‰ã«ã¤ãã£ã¦ã„ãŸJVM
yhara 2014/09/07
scala
ãƒªãƒ³ã‚¯
Kenji Yoshida on Twitter: "https://t.co/V1XLMrRpmY #ScalaMatsuri Tupleã®ã‚³ãƒ¼ãƒ‰ã¯æ˜”ã¯Schemeã§ç”Ÿæˆã—ã¦ãŸã¨ã„ã†è¬Žæ´å²ã¨ã‹ã‚ã‚Šã¾ã™"
yhara 2014/09/06
"Tupleã®ã‚³ãƒ¼ãƒ‰ã¯æ˜”ã¯Schemeã§ç”Ÿæˆã—ã¦ãŸã¨ã„ã†è¬Žæ´å²ã¨ã‹ã‚ã‚Šã¾ã™" https://t.co/V1XLMrRpmY

scala

scheme
ãƒªãƒ³ã‚¯
1 2 3 æ¬¡ã®ãƒšãƒ¼ã‚¸

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@HatenaBookmark
ãƒªãƒªãƒ¼ã‚¹ã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“ã‚¹ã®ãŠçŸ¥ã‚‰ã›
@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx