From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from localhost (localhost [127.0.0.1]) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTP id 9F3BA2F1E3 for ; Wed, 29 May 2019 03:02:12 -0400 (EDT) Received: from turing.freelists.org ([127.0.0.1]) by localhost (turing.freelists.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ax7zpUCFYHei for ; Wed, 29 May 2019 03:02:12 -0400 (EDT) Received: from smtp52.i.mail.ru (smtp52.i.mail.ru [94.100.177.112]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTPS id E1FC22F1D6 for ; Wed, 29 May 2019 03:02:11 -0400 (EDT) Date: Wed, 29 May 2019 10:02:07 +0300 From: Konstantin Osipov Subject: [tarantool-patches] Re: [PATCH 3/3] sql: fix passing FP values to integer iterator Message-ID: <20190529070207.GB24531@atlas> References: <789091b7acd99c908d26689f27c55f8b6dba3d16.1558700151.git.korablev@tarantool.org> <20190525055140.GA14501@atlas> <1fea92f3-20cc-d539-4010-0ef00b1b6c9a@tarantool.org> <20190528071951.GA31215@atlas> <385067fb-c47a-c5a8-064a-02ef7f906c92@tarantool.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <385067fb-c47a-c5a8-064a-02ef7f906c92@tarantool.org> Sender: tarantool-patches-bounce@freelists.org Errors-to: tarantool-patches-bounce@freelists.org Reply-To: tarantool-patches@freelists.org List-Help: List-Unsubscribe: List-software: Ecartis version 1.0.0 List-Id: tarantool-patches List-Subscribe: List-Owner: List-post: List-Archive: To: Vladislav Shpilevoy Cc: tarantool-patches@freelists.org, Nikita Pettik * Vladislav Shpilevoy [19/05/28 14:33]: > Yes, it is a school math. 1 != 1.1, but 1 == 1.0 > It's a different data type. So I don't understand how the type system can "see" the actual value and act as an oracle. If there is a type error, it should not depend on the value, should it? -- Konstantin Osipov, Moscow, Russia