to post messages and comments.

Ниже приведена портянка кода, которая позволяет написать ограничения на те типы, которые могут подаваться на вход (эдакий подход к сумме типов, только в закрытом подмножестве). А как на вашем любимом языке реализовать test1, test2 и test3?

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
infixr 2 :+:

data a :+: b

class In a b
instance In a a
instance In a (a :+: b)
instance (In a c) => In a (b :+: c)

data D = D1 | D2 | D3

data G :: D -> * where
G1 :: G D1
G2 :: G D2
G3 :: G D3

test :: G a -> Int
test x = case x of
G1 -> 1
G2 -> 2
G3 -> 3

test2 :: (In a (D1 :+: D2)) => G a -> Int
test2 x = case x of
G1 -> 1
G2 -> 2

test3 :: (In a (D1 :+: D3)) => G a -> Int
test3 x = case x of
G1 -> 1
G3 -> 3

я даже не знаю про что этот опрос, про тупость средних интернет опросов или про политику, но вобщем вот:

как вы относитесь к событиям прошедшим на украине, и что все-таки произошло?
1). я шизофреник, конспиролог и дурак, и считаю, что все проплачено западом и является частью плана захвата россии;
2). я патриот и просто хороший человек и считаю что к власти пришёл народ, теперь все будет хорошо;
3). я фашист и глупец и ем на завтрак детей, поэтому считаю, что события произошедшие это часть еврейского заговора;
5). я москальская шовинистическая свинья и считаю, что к власти пришли фашисты, которые едят русскоязычных детей;
6). свой вариант, ведь я из команды тех самый снайперов

Юлия, этот спор выиграть легко, пиши с ошибками, оппонент докопается до орфографии, в связи с чем будет автоматически признан проигравшим за отсутствием аргументов, по другому тут не получится, думаю, убедить.

Открываем market.yandex.ru

Справа есть гуру, начните отвечать на вопросы, в результате такой цепочки: market.yandex.ru
мы видим вопрос номер пять:
Есть ли в вашей семье аллергики?
Нет, слава богу
К сожалению, да

Слово Б-г написано с маленькой буквы. Приравнять к уничижения достоинства православных и оскорблению чувств верующих. Яндекс разорить, счета заморозить, совет акционеров расстрелять, деньги передать патриарху Кириллу и Его Величеству, президенту Владимиру Красное Солнышко. Уж им виднее как с ресурсами обойтись! Авось детский дом на эти ресурсы построят. Хотя бы один

Говорят в Москве замочили одного фаната, не совсем понимаю, почему замочили только одного фаната ^_^? Я предлагаю ввести новый тоталитарный строй, по подобию нацизма. Но вместо дискриминации по нации, дискриминировать по интеллекту. И мочить всех, кто Средний или Ниже Среднего ^_^. Сразу избавимся от футбольных фанатов, хоккеистов и сильно-верующих ^_^

Наблюдал забавный треск шаблона у некоторых знакомых, когда на их «настоящий <smb> должен уметь <smth>» или «ну ты же должен <smth>» следует ответ, что «настоящий <smb> никому ничего не должен» или просто «кому это я должен?» У них процесс, обрабатывающий данное предложение, зависает на пару секунд, утягивая за собой всю систему, а потом выплёвывает нечто несуразное. Некоторые горячие головы вскипают и называют меня тупым. :-)

Кто-то сегодня знатно потроллил, выложив на токиотосё [BSS]_Darker_Than_Black_-_Gemini_of_the_Meteor_-_09_[5B867A42D].mkv.torrent. Ессно, с самого тт его быстро выпилили, но у меня он автоматом стянулся из рсс и я только сейчас его заметил. И таких наивных там ещё 2031 личей, если верить трекеру. Сидов 0.
Хм. Можно ли троллить роботов или это уже не троллинг?