[B! haskell] takaya030ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

takaya030 id:takaya030

haskellã«é–¢ã™ã‚‹takaya030ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

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

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

${{author_name}}$

{{{comment_expanded}}}

{{label}}

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

Scalaã‚‚æŽ¡ç”¨ã—ãŸé–¢æ•°åž‹è¨€èªžã®è€ƒãˆæ–¹ã¨ã¯ä½•ã‹ï¼Ÿãã®ç‰¹å¾´ã‚’ç´”ç²‹é–¢æ•°åž‹è¨€èªžHaskellã§å¦ã¶
è‘—è€…ï¼šäº•ä¸Š å¥å¤ª é–¢æ•°åž‹è¨€èªžã¨ã¯ é–¢æ•°åž‹è¨€èªžã‚’ã¯ã£ãã‚Šå®šç¾©ã™ã‚‹ã“ã¨ã¯é›£ã—ã„ã§ã™ãŒã€æœ¬è¨˜äº‹ã§ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«è€ƒãˆã¾ã™ã€‚ ä¸»ã«æ–‡ã‚„å‘½ä»¤ã‚’çµ„ã¿åˆã‚ã›ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ã™ã‚‹æ‰‹ç¶šãåž‹è¨€èªžã«å¯¾ã—ã€ä¸»ã«å¼ã‚„é–¢æ•°ã‚’çµ„ã¿åˆã‚ã›ã¦è¨˜è¿°ã™ã‚‹ã®ãŒé–¢æ•°åž‹è¨€èªžã§ã‚ã‚‹ã€‚ ãã‚Œã§ã¯æ‰‹ç¶šãåž‹è¨€èªžã¨é–¢æ•°åž‹è¨€èªžã®é•ã„ã‚’æ¯”è¼ƒã™ã‚‹ãŸã‚ã«ã€æ•´æ•°n1ã¨n2ã®æœ€å°å…¬å€æ•°ã‚’è¨ˆç®—ã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’è¦‹ã¦ã„ãã¾ã—ã‚‡ã†ã€‚ "æ–‡"ã§è¨˜è¿°ã™ã‚‹æ‰‹ç¶šãåž‹è¨€èªž ã¾ãšã¯æ‰‹ç¶šãåž‹è¨€èªžã§ã‚ã‚‹javaã‚’è¦‹ã¦ã„ãã¾ã™ã€‚ public class GCD { public static void main(String[] args) { final int n1 = 15; final int n2 = 10; int n = n1; int m = n2; int k; System.out.println(n); // n == 15 while (m > 0){ k =
takaya030 2023/09/23
scala

haskell
ãƒªãƒ³ã‚¯
All you need is higher kinded types
This is a literate Haskell-file. You can open it in GHCi by doing the following: curl -O https://las.rs/blog/all-you-need-is-hkt-s.lhs nix develop --impure --expr \ 'with import <nixpkgs> {}; mkShell { buildInputs = [(haskell.packages.ghc924.ghcWithPackages (p: [ p.markdown-unlit ]) )]; }' \ -c ghci -pgmL markdown-unlit all-you-need-is-hkt-s.lhs Haskellers (and even worse, dependent type brained p
takaya030 2023/04/14
haskell

kept
ãƒªãƒ³ã‚¯
haskellã¨nixã®è©± - Qiita
ã“ã®è¨˜äº‹ã¯ã€Haskell Advent Calendar 2022ã®23æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ ã ã„ã¶è’å‰Šã‚Šã§ã™ã®ã§ã€é–“é•ã„ãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ ç›®çš„ OSSã®ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã§4å¹´ã»ã©Nixã‚’ä½¿ã„ç¶šã‘ã¦ãã¾ã—ãŸã€‚ Nixã®Haskellã®ã‚µãƒãƒ¼ãƒˆã®ç¾çŠ¶ã®ã„ã„ã¨ã“ã‚ã¨èª²é¡Œã‚’æ•´ç†ã™ã‚‹ã®ãŒç›®çš„ã§ã™ã€‚ ãªãœNixã‚’ä½¿ã†ã®ã‹ã‚’ç¢ºèªã—ãŸã‚ã¨ã€Nixã®Haskellã‚µãƒãƒ¼ãƒˆã‚’ã¿ã¦èª²é¡Œã‚’ã¾ã¨ã‚ã¾ã™ã€‚ ãªãœNixã‹ã€ãªã«ãŒã‚„ã‚ŠãŸã„ã®ã‹ï¼Ÿ Nixã¯ãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ãƒžãƒãƒ¼ã‚¸ãƒ£ãƒ¼ã§ã™ã€‚å„ç¨®Linuxãƒ‡ã‚£ã‚¹ãƒˆãƒªãƒ“ãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³, MacOSã«å…¥ã‚Œã‚‰ã‚Œã‚‹ã‚‚ã®ã§ã™ã€‚ Nixã«æœŸå¾…ã—ã¦ã„ã‚‹ã“ã¨ã¯ãªã‚“ã§ã—ã‚‡ã†ã‹ï¼Ÿ ãã‚Œã¯å†ç¾æ€§ã¨åŠ¹çŽ‡æ€§ã§ã¯ãªã„ã‹ã¨æ€ã„ã¾ã™ã€‚ ã¾ãšã¯å†ç¾æ€§ã«ã¤ã„ã¦ã§ã™ã€‚nixosã®ãƒãƒ¼ã‚¿ãƒ«ã®ä¸€ç•ªã¯ã˜ã‚ã«ã§ã¦ãã‚‹ã‚ˆã†ã«å†ç¾æ€§ãŒã‚‚ã£ã¨ã‚‚é‡è¦ã§ã—ã‚‡ã†ã€‚ æ‰‹å…ƒã®é–‹ç™ºç’°å¢ƒã‚„ã‚¯ãƒ©ã‚¦ãƒ‰ã®é–‹ç™ºç’°å¢ƒã€å„ç¨®ã®ãƒ¡ãƒ³ãƒãƒ¼ã§é–‹ç™ºã™ã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®ãƒ
takaya030 2022/12/24
haskell

nix
ãƒªãƒ³ã‚¯
ã¨ã»ã»ã®Haskellå…¥é–€ - ã¨ã»ã»ã®WWWå…¥é–€
æ¦‚è¦ Haskellã¨ã¯ é–¢æ•°åž‹è¨€èªž ç´”ç²‹é–¢æ•°åž‹è¨€èªž ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« Haskell Stack Hello world åŸºæœ¬ äºˆç´„èªž ã‚³ãƒ¡ãƒ³ãƒˆ ãƒ–ãƒãƒƒã‚¯ ãƒ¬ã‚¤ã‚¢ã‚¦ãƒˆ å…¥å‡ºåŠ› åž‹ å¤‰æ•° æ•°å€¤ æ–‡å—(Char) æ–‡å—åˆ—(String) ã‚¨ã‚¹ã‚±ãƒ¼ãƒ—ã‚·ãƒ¼ã‚±ãƒ³ã‚¹ ãƒªã‚¹ãƒˆ([...]) ã‚¿ãƒ—ãƒ«((...)) æ¼”ç®—å é–¢æ•° æ¼”ç®—åå®šç¾© å†å¸°é–¢æ•° ãƒ©ãƒ ãƒ€å¼ ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒ ã‚¬ãƒ¼ãƒ‰æ¡ä»¶ é–¢æ•°åˆæˆ(.) å¼•æ•°è£œè¶³(@) åˆ¶å¾¡æ§‹æ–‡ doæ–‡ letæ–‡ ifæ–‡ caseæ–‡ whereæ–‡ importæ–‡ ãƒ«ãƒ¼ãƒ— ãƒ‡ãƒ¼ã‚¿åž‹ ãƒ‡ãƒ¼ã‚¿åž‹(åˆ—æŒ™åž‹) ãƒ‡ãƒ¼ã‚¿åž‹(ã‚¿ãƒ—ãƒ«åž‹) ãƒ‡ãƒ¼ã‚¿åž‹(ç›´å’Œåž‹) æ–°åž‹å®šç¾© (newtype) åž‹ã‚·ãƒŽãƒ‹ãƒ (type) åž‹ã‚¯ãƒ©ã‚¹ (class) ãƒ¡ã‚¤ãƒ“ãƒ¼(Maybe) ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿(Functor) ã‚¢ãƒ—ãƒªã‚±ã‚¤ãƒ†ã‚£ãƒ–(Applicative) ãƒ¢ãƒŠãƒ‰(Monad) ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ« (module) é«˜éšŽé–¢
takaya030 2021/01/02
haskell

é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
ãƒªãƒ³ã‚¯
Real World Haskell â€” Monday Morning Haskell
Real World HaskellA lot of people think day-to-day tasks like running a web app are difficult or impossible in Haskell! But of course this isn't true! In our Real World Haskell series, we'll take you through a whole slew of libraries that allow you to write a web backend. These libraries use Haskell's features to approach things like database queries and API building in unique ways. Part 1: Databa
takaya030 2020/11/25
haskell
ãƒªãƒ³ã‚¯
1