lhs2tex.

LHS2TEX´Â ¹®Çå Haskell ¼Ò½º¿¡¼­ ¶óÅؽº¸¦ »ý¼ºÇÏ´Â Àü 󸮱âÀÔ´Ï´Ù.
Áö±Ý ´Ù¿î·Îµå

lhs2tex. ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Andres L
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • http://www.cs.uu.nl/~andres/lhs2tex/

lhs2tex. ű×


lhs2tex. ¼³¸í

LHS2TEX´Â Literation Haskell ¼Ò½º¿¡¼­ ¶óÅؽº¸¦ »ý¼ºÇÏ´Â Àü 󸮱âÀÔ´Ï´Ù. lhs2tex´Â Literation Haskell ¼Ò½º¿¡¼­ ¶óÅؽº Äڵ带 »ý¼ºÇÏ´Â Àü 󸮱âÀÔ´Ï´Ù. ¡¤ "LHS2TEX"ÀÇ ÁÖ¿ä ±â´ÉÀÌ ÀÖ½À´Ï´Ù. Å°¿öµå µîÀ» °­Á¶Çϱâ À§ÇØ "Æú¸®"½ºÅ¸ÀÏÀº ½Äº°ÀÚ¿¡ ´ëÇÑ ºñ·Ê ±Û²ÃÀ» »ç¿ëÇÏ°í ¸ÚÁö°Ô µé¿© ¾²±â¸¦ ó¸®ÇÏ°í º¹ÀâÇÑ ¼öÆò Á¤·ÄÀ» ó¸® ÇÒ ¼ö ÀÖ½À´Ï´Ù. ¡¤ ƯÁ¤ ÅäÅ«ÀÌÀÖ´Â ¹æ½ÄÀ» »ç¿ëÀÚ Á¤ÀÇ ÇÒ ¼öÀÖ´Â ¼­½Ä ÁöÁ¤ Áö½Ã¹® ¼Ò½º ÄÚµå´Â ó¸® µÈ Ãâ·Â¿¡ ³ªÅ¸³ª¾ßÇÕ´Ï´Ù. ¡¤ ´ëºÎºÐÀÇ ¾ð¾î È®ÀåÀ» ó¸® ÇÒ ¼öÀÖ´Â ÀÚÀ¯ÁÖÀÇ Æļ­; Haskell 98À¸·Î Á¦ÇÑ ÇÒ ÇÊ¿ä°¡ ¾ø½À´Ï´Ù. ¡¤ ´ÜÀÏ ¼Ò½º ÆÄÀÏ (¿¹ : ¿ëÁö ¹× ÇÁ·¹Á¨Å×À̼Ç)¿¡¼­ ´Ù¸¥ ¹öÀüÀÇ ¹®¼­¸¦ »ý¼º ÇÒ ¼öÀÖ´Â Àü 󸮱⠽ºÅ¸ÀÏ Á¶°Ç. ¡¤ È°¼º ¹®¼­ : »ç¿ëÇÒ ¼ö ÀÖ½À´Ï´Ù. HaskellÀº ¹®¼­ÀÇ ÀϺθ¦ »ý¼ºÇÏ´Â (HaskellÀÇ ³í¹®¿¡ À¯¿ëÇÕ´Ï´Ù). ¡¤ LHS2Tex.RequirementsÀÇ ¸ðµç Áß¿äÇÑ Ãø¸éÀ» ¼³¸íÇÏ´Â ¼öµ¿ : Linux ¹× MacOSX¿¡¼­ ºôµåÇÏ´Â °ÍÀÌ È®ÀεǾú½À´Ï´Ù. ¡¤ LHS2TEX¸¦ ±¸ÃàÇϱâ À§ÇØ ÃÖ±ÙÀÇ GHC (5.04.x ÀÌ»óÀ̾î¾ß ÇÒ °Í)ÀÇ ¹öÀüÀÌ ÇÊ¿äÇϸç, ¹°·Ð LHS2TEXÀÇ Ãâ·ÂÀ» »ç¿ëÇϱâ À§ÇØ TEX ¹èÆ÷°¡ ÇÊ¿äÇÕ´Ï´Ù. ÀÌ ÇÁ·Î±×·¥¿¡´Â ¶óÅؽº¿Í ÇÔ²² »ç¿ëÇϱ⿡ ÀûÇÕÇÑ ±¸¼ºÀÌ Æ÷ÇԵǾî ÀÖ½À´Ï´Ù. ÀÌ·ÐÀûÀ¸·Î, Plainex ¶Ç´Â context¿Í °°Àº ´Ù¸¥ Tex ¸ÀÀ»À§ÇÑ Äڵ带 »ý¼ºÇÏ´Â µ¥ ¾Æ¹«·± ¹®Á¦°¡ ¾ø¾î¾ßÇÕ´Ï´Ù.ÀÌ ¸±¸®½º¿¡¼­´Â »õ·Î¿î °ÍÀÔ´Ï´Ù : ¡¤ LHS2tex °³¹ßÀÌ 1997 ³â ÃÊ¿¡ ½ÃÀ۵ǾúÁö¸¸ ÀÌÀü¿¡´Â °ø½ÄÀûÀ¸·Î °ø°³µÇÁö ¾Ê¾Ò½À´Ï´Ù. ÀÌ°ÍÀº Áö±Ý±îÁö ºñ°ø½ÄÀûÀ¸·Î ¹èÆ÷ µÈ ¹öÀü°ú ÁַΠȣȯµÇ´Â ù ¹ø° ¸±¸®½ºÀÔ´Ï´Ù. ÃֽŠGHC ¹öÀüÀ¸·Î ÄÄÆÄÀÏÇؾßÇÕ´Ï´Ù. ¡¤ ÀÌÀü ¹öÀü°ú ºñ±³ÇÏ¿© µÎ °¡Áö ¿ÏÀüÈ÷ »õ·Î¿î ¸ðµå°¡ Ãß°¡µÇ¾ú½À´Ï´Ù. "Poly"¸ðµå´Â ÀÌÀü ¼öÇÐ ¸ðµå¸¦ ´ëüÇϵµ·Ï ¼³°èµÇ¾ú½À´Ï´Ù. ÄÚµå ºí·Ï ´ç ÇϳªÀÇ Á¤·Ä Ä÷³¸¸À» °®´Â Á¦ÇÑÀº º¹ÀâÇÑ ·¹À̾ƿôÀ» Çã¿ëÇÏ´Â ÀϹÝÀûÀÎ ¸ÞÄ¿´ÏÁòÀ¸·Î ´ëüµÇ°í ´ëüµË´Ï´Ù. "newcode"´Â ¼­½Ä ÁöÁ¤ Áö½Ã¹®À» ó¸® ÇÒ ¼öÀÖ´Â ¿À·¡µÈ "ÄÚµå"¸ðµå¸¦ ´ëüÇÏ°í »ý¼º µÈ Äڵ忡¼­ ¼± PRAGMA¸¦ »ý¼ºÇÕ´Ï´Ù.


lhs2tex. °ü·Ã ¼ÒÇÁÆ®¿þ¾î

gcviewer.

GCViewer´Â Sun ¹× IBM Java Virtual Machine¿¡¼­ »ý¼º µÈ Verbose GC Ãâ·ÂÀ» ½Ã°¢È­ÇÏ´Â ÀÛÀº µµ±¸ÀÔ´Ï´Ù. ...

712

´Ù¿î·Îµå