¥È¥Ã¥× «Á°¤ÎÆüµ­(2006-03-19) ºÇ¿· ¼¡¤ÎÆüµ­(2006-03-21)» ÊÔ½¸

¤Ï¤¸¤á¤Æ¤Î¤Ë¤­

¤³¤³¤Î°ÌÃÖÉÕ¤±

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|

ToDo:


2006-03-20

_ RHG

¤½¤Î¾ì¤Ç¼è¤Ã¤Æ¤¿¥á¥â¤À¤±¤ÉÅꤲ¤ë¤Î˺¤ì¤Æ¤¤¤¿¡£

  • ¤¤¤ó¤Ç¤ó¤È

do { hoge ; hage }

  • ¥¢¥¯¥·¥ç¥ó¤È IO

¥¢¥¯¥·¥ç¥ó¤È IO ¤ÏÅù²Á¡©

<- ¤Ï IO ¤«¤é¼è¤ê½Ð¤¹¡£ = ¤È¤Î°ã¤¤¡£

  • do
[ f x | x <- xs ]   -- list comprehension

¤È

do x <- xs
  return (f x)

¤ÏƱ¤¸¤é¤·¤¤¡£

  • list
data [] a = []
          | a : ([] a)
Prelude> :t []
[] :: [a]
Prelude> :t [1]
[1] :: (Num a) => [a]
Prelude> :t "abc"
"abc" :: [Char]
Prelude> :t ['a','b','c']
['a','b','c'] :: [Char]
Prelude> :t 'a' : []
'a' : [] :: [Char]
Prelude> :t ""
"" :: [Char]
  • ghci
Prelude> :help
  • $

¤Ï³ç¸Ì¤ò¾Ã¤¹¤¿¤á¡£

  • ::

¤Ï·¿»ØÄꤷ¤Æ¤ë¤Î¤«

  • ·¿Â¿Áê

specialization ¤Ï¤·¤Æ¤Ê¤¤¤Î¤Í

parametric polymorphism ¤¬ generics ¤Ç¡¢ ad-hoc polymorphism ¤¬ virtual ¤é¤·¤¤¡¢¤±¤É¡£

  • «ÇûÆó¤ÄÌÜ
Prelude> :t floor
floor :: (RealFrac a, Integral b) => a -> b

(01:28)

_ ¥¹¥¿¥Ã¥¯¸À¸ì¤ÏMind

(02:36)

_ (?_?)

¤Ê¤ó¤Ç¤ê¤Ê¤¶¤¦¤«¤é¥³¥Ô¡¼¤¬¤Ç¤­¤Ê¤¤¡£Á÷¤ì¤ë¤Î¤Ë¡£

(03:46)

¤ªÌ¾Á°:
E-mail:
¥³¥á¥ó¥È:
¿ÍÀ¸¡¢±§Ãè¡¢¤¹¤Ù¤Æ¤ÎÅú¤¨
ËÜÆü¤Î¥ê¥ó¥¯¸µ

Á° 2006ǯ
3·î
¼¡
Æü ·î ²Ð ¿å ÌÚ ¶â ÅÚ
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31
1.ÇßÀî¡¡¶Ñ(2008-06-17 18:48) 2.shinh(2006-03-05 22:43) 3.k.inaba(2006-03-05 02:24)
search / home / index

Á´¤Æ¥ê¥ó¥¯¥Õ¥ê¡¼¤Ç¤¹¡£ ¥³¡¼¥ÉÊҤϼ«Í³¤Ë»ÈÍѤ·¤Æ¤¤¤¿¤À¤¤¤Æ¹½¤¤¤Þ¤»¤ó¡£ ¤½¤Î¾¤Î¤â¤Î¤ÏGPL°·¤¤¤Ç¤¢¤ì¤Ð¤¢¤é¤æ¤ë»ÈÍѤ˴ؤ·¤Æʸ¶ç¤Ï¸À¤¤¤Þ¤»¤ó¡£ ¤Ê¤Ë¤«¤¢¤ì¤Ð²¼µ­¥á¡¼¥ë¥¢¥É¥ì¥¹¤Ø¡£

shinichiro.hamaji _at_ gmail.com / shinichiro.h