1. Куча / Говнокод #12068

    +129

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    -- Подготовка
(.-) :: ot -> (ot -> rt) -> rt
object .- method = method object

to_string () self = show self

my_array = [1..]

-- ООП в действии
main = putStrLn( my_array.-take(10).-drop(5).-to_string() )

    Хаскелл и ООП.

    Запостил: Fai, 07 Ноября 2012

    Комментарии (31) RSS

    • ava LispGovno 07.11.2012 00:42 # +1

      > my_array = [1..]
      > my_array
      Ответить

      • ava Fai 07.11.2012 00:45 # +2

        Мой массив!!!

        Добрался я таки до операторов, следующие в очереди - data, type, newtype.
        Ответить

        • ava LispGovno 07.11.2012 01:09 # 0

          Что читаешь? Реалворлдхаскель или лернхаскельфорю?
          Ответить

          • ava Fai 07.11.2012 01:20 # +2

            Learn You a Haskell for Great Good!

            RWH - сразу как закончу.
            Ответить

    • ava bormand 07.11.2012 06:33 # +3 

      object .- method = method object
      Не по феншую. Почуствуй силу каррирования, Fai.
      (.-) = flip ($)
      Ответить

      • ava LispGovno 07.11.2012 07:50 # 0

        >Почуствуй силу каррирования, Fai.
        Он ещё спит. Всю ночь учил Хаскел. По себе знаю.
        Ответить

    • ava LispGovno 07.11.2012 11:06 # 0

      Ты уже дочитал до монды IO?
      Ответить

      • ava LispGovno 07.11.2012 11:21 # 0

        Блин, a зaлиплa...
        Ответить

      • ava bormand 07.11.2012 12:57 # +3

        Как ты посмел обозвать божественные монады хаскеля мондами... Повинен смерти!
        Ответить

      • ava Fai 07.11.2012 18:14 # +2

        До IO уже давно дочитал, до монад в общем недавно.

        Почему-то показалось, что это слишком просто.

        Единственное, хочу узнать, написан ли оператор do на самом хаскелле или он встроен, как например оператор "=".
        Ответить

        • ava bormand 07.11.2012 18:24 # +2

          > написан ли оператор do на самом хаскелле
          do это вообще сахарок для монадических операторов. Так что синтаксис встроен, а его алгоритм можешь написать ты сам, запилив свою монаду.
          Ответить

        • ava bormand 07.11.2012 19:03 # +1

          При разборе do нотации происходит вот такое преобразование: http://ideone.com/7AUWMg.

          P.S. Вроде бы все возможности do удалось показать в этом примере.
          Ответить

          • ava LispGovno 07.11.2012 19:14 # 0

            Очень красиво. ^_^

            А почему я не могу написать как-то так?
            class Named t where
        name :: t -> String

data Dog = Dog {name::String} deriving (Named)


            или

            class Named t where
        name :: t -> String

data Dog = Dog {name::String}

instance Named Dog


            Ошибка
            Multiple declarations of `Main.name'
    Declared at:
            Ответить

            • ava bormand 07.11.2012 20:02 # +1

              Как-то так:
              class Named t where
        name :: t -> String

data Dog = Dog {name'::String}

instance Named Dog
    name = name'

              http://ideone.com/V3Q9UJ
              Других способов пока не вижу. Метод должен быть описан именно в инстансе.
              Ответить

              • ava LispGovno 07.11.2012 20:17 # +1

                До этого способа я догадался. Только имхо тогда уж проще написать так:
                class Named t where
        name :: t -> String
 
data Dog = Dog String
 
instance Named Dog where
    name (Dog n) = n


http://ideone.com/6qnZUx
                Ответить

                • ava bormand 07.11.2012 20:41 # +1

                  > Только имхо тогда уж проще написать так
                  Да.
                  Ответить

          • ava Fai 07.11.2012 19:45 # 0

            Я знаю, что такое do. Вопрос был в том, сделан ли он средствами самого хаскеля или вшит, также как if, case, (=) и некоторые другие.

            Как оказалось вшит.
            Ответить

            • ava LispGovno 07.11.2012 20:20 # 0

              >как if, case, (=) и некоторые другие.
              А разве они вшиты? Разве if нельзя реализовать средствами хаскела? Он вроде достаточно для этого ленивый.
              Ответить

              • ava Fai 07.11.2012 20:39 # +1

                Можно реализовать, но не в таком же виде:

                newIf True true_value _ = true_value
                newIf False _ false_value = false_value

                А вот именно в виде if ... then ... else ... - нельзя
                Ответить

              • ava bormand 07.11.2012 20:40 # 0

                У ифа особый синтаксис. Как ты его реализуешь? Разве что как выше написал Fai в виде обычной функции.

                Я всегда буду обновлять страницу перед отправкой.
                Я всегда буду обновлять страницу перед отправкой.
                Я всегда буду обновлять страницу перед отправкой.
                Ответить

    • ava Yuuri 09.11.2012 13:08 # +3

      Да чего уж мелочиться-то.
      {-# LANGUAGE OverlappingInstances, FlexibleInstances, UndecidableInstances #-}

import Prelude hiding ((.))
import System.IO

(.) = flip ($)
infixl 0 <<
cout = return ()

class Cout a where
    (<<) :: IO () -> a -> IO ()
instance Cout [Char] where
    stream << str = stream >> putStr str
instance (Show a) => Cout a where
    stream << val = stream >> putStr (show val)

my_list = [1 :: Integer ..]
data Point = Point {x, y :: Double}
my_point = Point 1.0 0.0
endl = "\n"

main = do
{
   cout << "Hello, world!\n";
   cout << my_list.take(10).drop(5) << endl;
   cout << my_point.x << "; " << my_point.y << endl;
   return ();
}
      Ответить

      • ava roman-kashitsyn 09.11.2012 13:26 # 0

        Yuuri - мой нижегородский коллега, кстати.
        Ответить

      • ava Yuuri 25.01.2013 14:17 # +1

        Ха, а ещё можно дописать 
        instance Num () where
   fromInteger _ = ()

main :: IO ()

        и делать return 0;
        Ответить

        • ava LispGovno 25.01.2013 14:42 # 0

          А я уж думал все хаскелисты перевелись. Мода на хаскель на говнокоде прошла...
          Ответить

          • ava Yuuri 25.01.2013 14:50 # +2

            Даёшь вторую неделю ГК.hs!
            \me поборол стыд и для начала навыложил свой перл
            Ответить

    • ava Novi4oK 24.08.2021 02:32 # 0

      Я достаточно долгое время живу за рубежом, поэтому как-то проще уделять время своим шалостям. Никто особо не третирует за вопрос бисексуальности, хотя и в самой моей бисексуальности есть тонкости.
      Ответить

    Добавить комментарий